{"entities":{"Q5696306":{"pageid":7725866,"ns":120,"title":"Item:Q5696306","lastrevid":92810075,"modified":"2026-06-05T02:48:22Z","type":"item","id":"Q5696306","labels":{"en":{"language":"en","value":"Negative Operations on Proofs and Labels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2215476"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696306$3379D758-95D2-4CD8-864A-AF6D39F4429E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"033bbb7bad44c48d5ece32926e8df0b7e1064ead","datavalue":{"value":{"text":"Negative Operations on Proofs and Labels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5696306$4685AEBF-CDBB-493D-980C-0BCC70B5AB00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41247cd631c05ca8667e8cd122068b08ca6ee5b2","datavalue":{"value":"1080.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696306$13FD48EC-9077-4667-A6B1-A402B2B580AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f7a1ea56bcdf0c7d7dc34b361f4f0413b22fb9","datavalue":{"value":{"time":"+2005-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5696306$4EBD713F-208F-4048-8043-866B9A5C118A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c14f2b1502697565f97feb60ac53caeb1e067499","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26755","type":"string"},"datatype":"url"},"type":"statement","id":"Q5696306$F6A9782E-6F48-48ED-A647-BDB48F634D7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696306$C763C313-18C5-4FF0-B0B0-84984D8FCC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696306$B96D5546-02F8-494D-ACD1-389CBCFD8015","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bd27602a38d79282bccd8a20d9e7f98bcb3b292","datavalue":{"value":"2215476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696306$05032D70-A6CD-4AA8-A40E-7DA70EA6B9D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f249b6a9500850d5af794d06baee6110650db920","datavalue":{"value":"Logic of Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696306$AB4D3062-B44C-49CD-88CD-3F340A9A2FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3e2d425c499509ac9b45472bd943886597eadb","datavalue":{"value":"operation on proofs and propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696306$FCAE57ED-B59B-45D4-AE5B-AE70618C36EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc7c7fb3241854f92363fca77feec88f5b84528","datavalue":{"value":"proof predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696306$5E2C8BFB-716F-45F2-B668-FD8B0BD1171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e659058c504bd5b17454d5dabc6674c9c7dbe44b","datavalue":{"value":"storage predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696306$909F0C81-6C63-4B08-A57E-BCD06965132B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6280c78e68ba7b877bab5a03dcb3c7dfa741253","datavalue":{"value":"label of formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696306$9B5DD34B-3110-4B9C-8F7B-EE6B71F629E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696306$AD15F3F0-C6ED-4273-88D3-45C3D120FE1F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696306$54E271AD-EEC1-4945-931C-BFA60FE0EEFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b14e94b0f70f8d17d60041e15a7fee513cc0edd6","datavalue":{"value":"W2146150879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696306$12C729CD-86A5-4552-A3F6-3AE8AEA8BD7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"792d1c9f09e5ae6aeb5f16387cf1bac2f3d928d9","datavalue":{"value":"10.1093/LOGCOM/EXI026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696306$65615AE8-CB90-4C74-A7AA-E3B742E85639","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696306$867BB3B8-CE0C-4BDD-8D67-61810419EAAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7129cab59d5cecf15876e5527d18844317b0dc","datavalue":{"value":{"entity-type":"item","numeric-id":3647274,"id":"Q3647274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a929f025442b91146a688d7c6944783ab46a47","datavalue":{"value":{"amount":"+0.9149542450904846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5696306$EF56827C-887C-4207-9B3D-13FBDF635090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb7131f5d75358f0386c29d146fd7389da08b34","datavalue":{"value":{"entity-type":"item","numeric-id":3431970,"id":"Q3431970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c0580fda1ad457887298ea873d3de4e2006ef8","datavalue":{"value":{"amount":"+0.8940746188163757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5696306$3DAD1681-6CFA-45DF-B1FF-F3701109A49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f66166bebf532b4f7ccf833376ce160348b19","datavalue":{"value":{"entity-type":"item","numeric-id":4329233,"id":"Q4329233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3d8813cc2ddb1803edca4ff9a1976b66020293","datavalue":{"value":{"amount":"+0.8595540523529053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5696306$C15E4144-B7C7-4E0A-8372-273943BB5976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1505fb21298e35247105b87240d36fa10c49f497","datavalue":{"value":{"amount":"+0.8590219020843506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5696306$272F7DF2-32FB-4CD8-BF56-1AE688B4D66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5dbbe01503a4a26faf731b79b9b1b8b83586769","datavalue":{"value":{"amount":"+0.846435546875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5696306$573279C7-4E13-43AF-81C3-963913CD8AD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negative Operations on Proofs and Labels","badges":[]}}}}}