{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:FDFLAWRDVGHZJHLGSSIP3GSOUN","short_pith_number":"pith:FDFLAWRD","schema_version":"1.0","canonical_sha256":"28cab05a23a98f949d669490fd9a4ea3462fee027e608e4daa2d39dcf1412cf4","source":{"kind":"arxiv","id":"1111.5920","version":1},"attestation_state":"computed","paper":{"title":"Solution of some problems in the arithmetical complexity of first-order fuzzy logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Carles Noguera, F\\'elix Bou","submitted_at":"2011-11-25T09:11:11Z","abstract_excerpt":"This short paper addresses the open problems left in a previous paper by Franco Montagna and Carles Noguera. Besides giving solutions to these two problems, some clarification concerning the role of the full vocabulary (including functional symbols) in the proofs there given is also discussed."},"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":"1111.5920","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-25T09:11:11Z","cross_cats_sorted":[],"title_canon_sha256":"37f13de5658c8f223808abc722c73214a60b1ca47b403137da70a265a8eda57a","abstract_canon_sha256":"2c8f086c8ced1de4b55e11af4f8088c243c66eed1db4fb828fb6f8c28ae21e2a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:41.464733Z","signature_b64":"oTYITbY04ofg2vtLKpPDMokms3lVgrS6XquRI+75Cxuq2MTeNKZQGlpEMHrQ0InOiJFy/YOJZ1/ZVZf/3ZZlAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28cab05a23a98f949d669490fd9a4ea3462fee027e608e4daa2d39dcf1412cf4","last_reissued_at":"2026-05-18T04:07:41.464022Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:41.464022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Solution of some problems in the arithmetical complexity of first-order fuzzy logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Carles Noguera, F\\'elix Bou","submitted_at":"2011-11-25T09:11:11Z","abstract_excerpt":"This short paper addresses the open problems left in a previous paper by Franco Montagna and Carles Noguera. Besides giving solutions to these two problems, some clarification concerning the role of the full vocabulary (including functional symbols) in the proofs there given is also discussed."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.5920","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":"1111.5920","created_at":"2026-05-18T04:07:41.464115+00:00"},{"alias_kind":"arxiv_version","alias_value":"1111.5920v1","created_at":"2026-05-18T04:07:41.464115+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.5920","created_at":"2026-05-18T04:07:41.464115+00:00"},{"alias_kind":"pith_short_12","alias_value":"FDFLAWRDVGHZ","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_16","alias_value":"FDFLAWRDVGHZJHLG","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_8","alias_value":"FDFLAWRD","created_at":"2026-05-18T12:26:28.662955+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/FDFLAWRDVGHZJHLGSSIP3GSOUN","json":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN.json","graph_json":"https://pith.science/api/pith-number/FDFLAWRDVGHZJHLGSSIP3GSOUN/graph.json","events_json":"https://pith.science/api/pith-number/FDFLAWRDVGHZJHLGSSIP3GSOUN/events.json","paper":"https://pith.science/paper/FDFLAWRD"},"agent_actions":{"view_html":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN","download_json":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN.json","view_paper":"https://pith.science/paper/FDFLAWRD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1111.5920&json=true","fetch_graph":"https://pith.science/api/pith-number/FDFLAWRDVGHZJHLGSSIP3GSOUN/graph.json","fetch_events":"https://pith.science/api/pith-number/FDFLAWRDVGHZJHLGSSIP3GSOUN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN/action/storage_attestation","attest_author":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN/action/author_attestation","sign_citation":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN/action/citation_signature","submit_replication":"https://pith.science/pith/FDFLAWRDVGHZJHLGSSIP3GSOUN/action/replication_record"}},"created_at":"2026-05-18T04:07:41.464115+00:00","updated_at":"2026-05-18T04:07:41.464115+00:00"}