{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:4P6HQP3HL4DSVYEJEMXU3BIIJ6","short_pith_number":"pith:4P6HQP3H","schema_version":"1.0","canonical_sha256":"e3fc783f675f072ae089232f4d85084f9dc539871e022ac240594c3bd11ac090","source":{"kind":"arxiv","id":"1806.01507","version":1},"attestation_state":"computed","paper":{"title":"Using the AIDA Language to Formally Organize Scientific Claims","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DL","authors_text":"Tobias Kuhn","submitted_at":"2018-06-05T06:01:06Z","abstract_excerpt":"Scientific communication still mainly relies on natural language written in scientific papers, which makes the described knowledge very difficult to access with automatic means. We can therefore only make limited use of formal knowledge organization methods to support researchers and other interested parties with features such as automatic aggregations, fact checking, consistency checking, question answering, and powerful semantic search. Existing approaches to solve this problem by improving the scientific communication methods have either very restricted coverage, require formal logic skills"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1806.01507","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2018-06-05T06:01:06Z","cross_cats_sorted":[],"title_canon_sha256":"a6dad809715a8607173047ba39700b3c3e5e4547573d1f19b005d7a66a4421c1","abstract_canon_sha256":"8f6bd0400a55fba8b173b2ab681ed42430db89ede13d0c939d513c0e91c51151"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:12.732995Z","signature_b64":"ppi8pP/jh7EgvPRta015jS629GHQEBxhqvh68zonAiEh7SLbhIpKC19qpwxOlHLMjLRJaUU9cSdUT8MNPuEwDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3fc783f675f072ae089232f4d85084f9dc539871e022ac240594c3bd11ac090","last_reissued_at":"2026-05-18T00:14:12.732538Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:12.732538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Using the AIDA Language to Formally Organize Scientific Claims","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DL","authors_text":"Tobias Kuhn","submitted_at":"2018-06-05T06:01:06Z","abstract_excerpt":"Scientific communication still mainly relies on natural language written in scientific papers, which makes the described knowledge very difficult to access with automatic means. We can therefore only make limited use of formal knowledge organization methods to support researchers and other interested parties with features such as automatic aggregations, fact checking, consistency checking, question answering, and powerful semantic search. Existing approaches to solve this problem by improving the scientific communication methods have either very restricted coverage, require formal logic skills"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.01507","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1806.01507","created_at":"2026-05-18T00:14:12.732610+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.01507v1","created_at":"2026-05-18T00:14:12.732610+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.01507","created_at":"2026-05-18T00:14:12.732610+00:00"},{"alias_kind":"pith_short_12","alias_value":"4P6HQP3HL4DS","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"4P6HQP3HL4DSVYEJ","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"4P6HQP3H","created_at":"2026-05-18T12:32:05.422762+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6","json":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6.json","graph_json":"https://pith.science/api/pith-number/4P6HQP3HL4DSVYEJEMXU3BIIJ6/graph.json","events_json":"https://pith.science/api/pith-number/4P6HQP3HL4DSVYEJEMXU3BIIJ6/events.json","paper":"https://pith.science/paper/4P6HQP3H"},"agent_actions":{"view_html":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6","download_json":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6.json","view_paper":"https://pith.science/paper/4P6HQP3H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.01507&json=true","fetch_graph":"https://pith.science/api/pith-number/4P6HQP3HL4DSVYEJEMXU3BIIJ6/graph.json","fetch_events":"https://pith.science/api/pith-number/4P6HQP3HL4DSVYEJEMXU3BIIJ6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6/action/storage_attestation","attest_author":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6/action/author_attestation","sign_citation":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6/action/citation_signature","submit_replication":"https://pith.science/pith/4P6HQP3HL4DSVYEJEMXU3BIIJ6/action/replication_record"}},"created_at":"2026-05-18T00:14:12.732610+00:00","updated_at":"2026-05-18T00:14:12.732610+00:00"}