{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:V2IAES2LOP7KN3KON7MVUHLFQS","short_pith_number":"pith:V2IAES2L","schema_version":"1.0","canonical_sha256":"ae90024b4b73fea6ed4e6fd95a1d6584a1f82c891c6856703cb064ddcfbca375","source":{"kind":"arxiv","id":"1903.12402","version":1},"attestation_state":"computed","paper":{"title":"Proceedings 7th International Workshop on Theorem proving components for Educational software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Austria), Pedro Quaresma (University of Coimbra, Portugal), Walther Neuper (Graz University of Technology","submitted_at":"2019-03-29T09:01:07Z","abstract_excerpt":"The 7th International Workshop on Theorem proving components for Educational software (ThEdu'18) was held in Oxford, United Kingdom, on 18 July 2018. It was associated to the conference, Federated Logic Conference 2018 (FLoC2018).\n  The major aim of the ThEdu workshop series was to link developers interested in adapting Computer Theorem Proving (TP) to the needs of education and to inform mathematicians and mathematics educators about TP's potential for educational software. Topics of interest include: methods of automated deduction applied to checking students' input; methods of automated ded"},"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":"1903.12402","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-03-29T09:01:07Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"56a9d962a89287eae1d4229ec774d26a838470bc0fe36ec74536044e4d1d2215","abstract_canon_sha256":"f0a31b00124a79b715288ec9e7cd1fbae66e78252b4f8a12f6110aa7e655407d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:54.149668Z","signature_b64":"+oIKl4OjtqY1R36YW0Fkwa0p8dBciu4JRzpOnprZtm5MjRScMGi0DTw7rS2LWkPqH2AdcRvfHcPH8yOD6YOSBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ae90024b4b73fea6ed4e6fd95a1d6584a1f82c891c6856703cb064ddcfbca375","last_reissued_at":"2026-05-17T23:49:54.149151Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:54.149151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings 7th International Workshop on Theorem proving components for Educational software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Austria), Pedro Quaresma (University of Coimbra, Portugal), Walther Neuper (Graz University of Technology","submitted_at":"2019-03-29T09:01:07Z","abstract_excerpt":"The 7th International Workshop on Theorem proving components for Educational software (ThEdu'18) was held in Oxford, United Kingdom, on 18 July 2018. It was associated to the conference, Federated Logic Conference 2018 (FLoC2018).\n  The major aim of the ThEdu workshop series was to link developers interested in adapting Computer Theorem Proving (TP) to the needs of education and to inform mathematicians and mathematics educators about TP's potential for educational software. Topics of interest include: methods of automated deduction applied to checking students' input; methods of automated ded"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.12402","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":"1903.12402","created_at":"2026-05-17T23:49:54.149225+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.12402v1","created_at":"2026-05-17T23:49:54.149225+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.12402","created_at":"2026-05-17T23:49:54.149225+00:00"},{"alias_kind":"pith_short_12","alias_value":"V2IAES2LOP7K","created_at":"2026-05-18T12:33:30.264802+00:00"},{"alias_kind":"pith_short_16","alias_value":"V2IAES2LOP7KN3KO","created_at":"2026-05-18T12:33:30.264802+00:00"},{"alias_kind":"pith_short_8","alias_value":"V2IAES2L","created_at":"2026-05-18T12:33:30.264802+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/V2IAES2LOP7KN3KON7MVUHLFQS","json":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS.json","graph_json":"https://pith.science/api/pith-number/V2IAES2LOP7KN3KON7MVUHLFQS/graph.json","events_json":"https://pith.science/api/pith-number/V2IAES2LOP7KN3KON7MVUHLFQS/events.json","paper":"https://pith.science/paper/V2IAES2L"},"agent_actions":{"view_html":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS","download_json":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS.json","view_paper":"https://pith.science/paper/V2IAES2L","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.12402&json=true","fetch_graph":"https://pith.science/api/pith-number/V2IAES2LOP7KN3KON7MVUHLFQS/graph.json","fetch_events":"https://pith.science/api/pith-number/V2IAES2LOP7KN3KON7MVUHLFQS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS/action/storage_attestation","attest_author":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS/action/author_attestation","sign_citation":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS/action/citation_signature","submit_replication":"https://pith.science/pith/V2IAES2LOP7KN3KON7MVUHLFQS/action/replication_record"}},"created_at":"2026-05-17T23:49:54.149225+00:00","updated_at":"2026-05-17T23:49:54.149225+00:00"}