{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TGIQWQUM6F5BXAY4X665DHVJEB","short_pith_number":"pith:TGIQWQUM","canonical_record":{"source":{"id":"1803.06500","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2018-03-17T13:20:37Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"d5ec3dc2db3bfef0e06ff1fcc2a41814fb393efc4abe6080685749b6acf91762","abstract_canon_sha256":"e9dc74f29890612f62400254f4e35b089870e18bd2428c3598e8b2d7b44e9af9"},"schema_version":"1.0"},"canonical_sha256":"99910b428cf17a1b831cbfbdd19ea9205d2b2456ffbad3fc83cd272decddad23","source":{"kind":"arxiv","id":"1803.06500","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06500","created_at":"2026-05-18T00:10:46Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06500v2","created_at":"2026-05-18T00:10:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06500","created_at":"2026-05-18T00:10:46Z"},{"alias_kind":"pith_short_12","alias_value":"TGIQWQUM6F5B","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TGIQWQUM6F5BXAY4","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TGIQWQUM","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TGIQWQUM6F5BXAY4X665DHVJEB","target":"record","payload":{"canonical_record":{"source":{"id":"1803.06500","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2018-03-17T13:20:37Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"d5ec3dc2db3bfef0e06ff1fcc2a41814fb393efc4abe6080685749b6acf91762","abstract_canon_sha256":"e9dc74f29890612f62400254f4e35b089870e18bd2428c3598e8b2d7b44e9af9"},"schema_version":"1.0"},"canonical_sha256":"99910b428cf17a1b831cbfbdd19ea9205d2b2456ffbad3fc83cd272decddad23","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:46.642235Z","signature_b64":"4WfflPskIoQyueTOA36V6mPR00KsR8Gii8A682ZzKzpFUdvU0MCiUO56AiwrnqpjD2UniIACjXsJQPvzaeQdDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"99910b428cf17a1b831cbfbdd19ea9205d2b2456ffbad3fc83cd272decddad23","last_reissued_at":"2026-05-18T00:10:46.641666Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:46.641666Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.06500","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:10:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VFPCVm0pjP1oYRwCY+TBL8mFOoCjnYSGRtvuxhJHvmRiPsmLS4mI+fJDCRZOhUPaaj5XJNhd7tAic7tv2tAQBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:28:54.967140Z"},"content_sha256":"762440bd936a8a7fc61e498068f3aa8ef66d372ba929cffbbf42a126ab55f6de","schema_version":"1.0","event_id":"sha256:762440bd936a8a7fc61e498068f3aa8ef66d372ba929cffbbf42a126ab55f6de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TGIQWQUM6F5BXAY4X665DHVJEB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Argumentation theory for mathematical argument","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Alison Pease, Dave Murray-Rust, Gabriela Rino Nesin, Joseph Corneli, Ursula Martin","submitted_at":"2018-03-17T13:20:37Z","abstract_excerpt":"To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. We show how the framework might be used to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06500","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:10:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ephrchY+DNC+PQuJY891VyuDLmlyjME7O1OHZx0s4qLxDbIGCVrprLI4KzdbKOxny2cwB8lXkm9RW79/YnoeCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:28:54.967578Z"},"content_sha256":"7814acc470da011dd071606721248fe08b7d1334f45dd95158b0c0c0f853e688","schema_version":"1.0","event_id":"sha256:7814acc470da011dd071606721248fe08b7d1334f45dd95158b0c0c0f853e688"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TGIQWQUM6F5BXAY4X665DHVJEB/bundle.json","state_url":"https://pith.science/pith/TGIQWQUM6F5BXAY4X665DHVJEB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TGIQWQUM6F5BXAY4X665DHVJEB/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-26T20:28:54Z","links":{"resolver":"https://pith.science/pith/TGIQWQUM6F5BXAY4X665DHVJEB","bundle":"https://pith.science/pith/TGIQWQUM6F5BXAY4X665DHVJEB/bundle.json","state":"https://pith.science/pith/TGIQWQUM6F5BXAY4X665DHVJEB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TGIQWQUM6F5BXAY4X665DHVJEB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TGIQWQUM6F5BXAY4X665DHVJEB","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e9dc74f29890612f62400254f4e35b089870e18bd2428c3598e8b2d7b44e9af9","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2018-03-17T13:20:37Z","title_canon_sha256":"d5ec3dc2db3bfef0e06ff1fcc2a41814fb393efc4abe6080685749b6acf91762"},"schema_version":"1.0","source":{"id":"1803.06500","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06500","created_at":"2026-05-18T00:10:46Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06500v2","created_at":"2026-05-18T00:10:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06500","created_at":"2026-05-18T00:10:46Z"},{"alias_kind":"pith_short_12","alias_value":"TGIQWQUM6F5B","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TGIQWQUM6F5BXAY4","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TGIQWQUM","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:7814acc470da011dd071606721248fe08b7d1334f45dd95158b0c0c0f853e688","target":"graph","created_at":"2026-05-18T00:10:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. We show how the framework might be used to ","authors_text":"Alison Pease, Dave Murray-Rust, Gabriela Rino Nesin, Joseph Corneli, Ursula Martin","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2018-03-17T13:20:37Z","title":"Argumentation theory for mathematical argument"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06500","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:762440bd936a8a7fc61e498068f3aa8ef66d372ba929cffbbf42a126ab55f6de","target":"record","created_at":"2026-05-18T00:10:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e9dc74f29890612f62400254f4e35b089870e18bd2428c3598e8b2d7b44e9af9","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2018-03-17T13:20:37Z","title_canon_sha256":"d5ec3dc2db3bfef0e06ff1fcc2a41814fb393efc4abe6080685749b6acf91762"},"schema_version":"1.0","source":{"id":"1803.06500","kind":"arxiv","version":2}},"canonical_sha256":"99910b428cf17a1b831cbfbdd19ea9205d2b2456ffbad3fc83cd272decddad23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"99910b428cf17a1b831cbfbdd19ea9205d2b2456ffbad3fc83cd272decddad23","first_computed_at":"2026-05-18T00:10:46.641666Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:46.641666Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4WfflPskIoQyueTOA36V6mPR00KsR8Gii8A682ZzKzpFUdvU0MCiUO56AiwrnqpjD2UniIACjXsJQPvzaeQdDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:46.642235Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.06500","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:762440bd936a8a7fc61e498068f3aa8ef66d372ba929cffbbf42a126ab55f6de","sha256:7814acc470da011dd071606721248fe08b7d1334f45dd95158b0c0c0f853e688"],"state_sha256":"5e225f228f16934023166af1426f577328aaf1692bf8d9f8bfce1fb1103cb671"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qpc0hZdPjPzSsn/QO5pizuPIgYppbjsXMY6GP9rlIRlgpZv8lHCz7TI+KJffCI3zJE5QjkDKxU0ORdT4OV5UCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:28:54.971066Z","bundle_sha256":"e69278448537db26c41e0d68e639d46c7230152ab5b63cd7eeb51ffde6815c55"}}