{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:VTND7AFV6WJ35M2CSXRQKMI6KQ","short_pith_number":"pith:VTND7AFV","schema_version":"1.0","canonical_sha256":"acda3f80b5f593beb34295e305311e542c97c7f3f7735d9eef9557d2a7fcd0e5","source":{"kind":"arxiv","id":"1508.01334","version":3},"attestation_state":"computed","paper":{"title":"Meadow based Fracterm Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Jan A. Bergstra","submitted_at":"2015-08-06T09:19:25Z","abstract_excerpt":"Fracterms are introduced as a proxy for fractions. A precise definition of fracterms is formulated and on that basis reasonably precise definitions of various classes of fracterms are given. In the context of the meadow of rational numbers viewing fractions as fracterms provides an adequate theory of fractions. A very different view on fractions is that fractions are values, i.e. rational numbers. Fracterms are used to provide a range of intermediate definitions between these two definitions of fractions"},"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":"1508.01334","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-08-06T09:19:25Z","cross_cats_sorted":[],"title_canon_sha256":"2239b1abe65bc5f8c75317b4e86bbfcbb5281de952e68c097f0b0b09175c5bda","abstract_canon_sha256":"59a4203158514d1bb376d8009a26e7912db5c9725134ce95dc11f6a4173bd9e2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:04.979613Z","signature_b64":"65v3GGz8XCYzmMx6NaKtnUPxjxDlhvA0yKNbb9kh+l9aCywqxd/i1+kvnGmd0Y8xtZfLUdt0aGNpXpP8SDpKBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acda3f80b5f593beb34295e305311e542c97c7f3f7735d9eef9557d2a7fcd0e5","last_reissued_at":"2026-05-17T23:44:04.979183Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:04.979183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Meadow based Fracterm Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Jan A. Bergstra","submitted_at":"2015-08-06T09:19:25Z","abstract_excerpt":"Fracterms are introduced as a proxy for fractions. A precise definition of fracterms is formulated and on that basis reasonably precise definitions of various classes of fracterms are given. In the context of the meadow of rational numbers viewing fractions as fracterms provides an adequate theory of fractions. A very different view on fractions is that fractions are values, i.e. rational numbers. Fracterms are used to provide a range of intermediate definitions between these two definitions of fractions"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.01334","kind":"arxiv","version":3},"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":"1508.01334","created_at":"2026-05-17T23:44:04.979249+00:00"},{"alias_kind":"arxiv_version","alias_value":"1508.01334v3","created_at":"2026-05-17T23:44:04.979249+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.01334","created_at":"2026-05-17T23:44:04.979249+00:00"},{"alias_kind":"pith_short_12","alias_value":"VTND7AFV6WJ3","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"VTND7AFV6WJ35M2C","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"VTND7AFV","created_at":"2026-05-18T12:29:47.479230+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/VTND7AFV6WJ35M2CSXRQKMI6KQ","json":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ.json","graph_json":"https://pith.science/api/pith-number/VTND7AFV6WJ35M2CSXRQKMI6KQ/graph.json","events_json":"https://pith.science/api/pith-number/VTND7AFV6WJ35M2CSXRQKMI6KQ/events.json","paper":"https://pith.science/paper/VTND7AFV"},"agent_actions":{"view_html":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ","download_json":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ.json","view_paper":"https://pith.science/paper/VTND7AFV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1508.01334&json=true","fetch_graph":"https://pith.science/api/pith-number/VTND7AFV6WJ35M2CSXRQKMI6KQ/graph.json","fetch_events":"https://pith.science/api/pith-number/VTND7AFV6WJ35M2CSXRQKMI6KQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ/action/storage_attestation","attest_author":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ/action/author_attestation","sign_citation":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ/action/citation_signature","submit_replication":"https://pith.science/pith/VTND7AFV6WJ35M2CSXRQKMI6KQ/action/replication_record"}},"created_at":"2026-05-17T23:44:04.979249+00:00","updated_at":"2026-05-17T23:44:04.979249+00:00"}