{"entities":{"Q4823807":{"pageid":6853387,"ns":120,"title":"Item:Q4823807","lastrevid":74943708,"modified":"2026-04-15T01:10:39Z","type":"item","id":"Q4823807","labels":{"en":{"language":"en","value":"A Formulae-as-Types Interpretation of Subtractive Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112323"}},"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":"Q4823807$97470D5A-5847-4293-A31E-60533DC56EEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87786ce4399067026f7ed379f93c0ec2a9fc1e41","datavalue":{"value":{"text":"A Formulae-as-Types Interpretation of Subtractive Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4823807$39EFDD10-823C-42F2-ADD3-16C173CDA65C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38b6205cb065261918c93b34d5b6209ae9400795","datavalue":{"value":"1050.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823807$D5E62A22-B7CB-45F8-8B14-1F61EA6D67A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b19bf96bf438b05a47d5097beb71893c0804485","datavalue":{"value":{"entity-type":"item","numeric-id":197378,"id":"Q197378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823807$FEEE7E45-DDCE-4EF8-8321-AA4BA8CD8BDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823807$C1B257EA-1C72-4EF7-B5FC-F72221F193E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a4f4d31b3bab3cb38f4d63edac92b5504370515","datavalue":{"value":"https://semanticscholar.org/paper/5c4363af97178d0ed468b6dc83b377a4f874fde6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823807$ED4F822C-5FD7-46AC-8D0C-C47266640B65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823807$619E6581-D14D-4F52-B9C7-3F9DB4BA16A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823807$DD150972-D144-41A2-9484-D2F7FF50CE66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"140d5b247291ccec8dfa44bb6cbfce9e934f2a6e","datavalue":{"value":"2112323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823807$EAD2DDEA-7308-44DB-8667-F486E0D71811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823807$7ECB476E-4BF7-4B00-BF4E-8C4E87F6BD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8bdd2a62aa1d9718fe21606a7eaf3551f35f264","datavalue":{"value":"subtractive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823807$90F00EEB-E9D9-420E-8ED2-F51A40FE7D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823807$CF0D4958-9DE3-4F68-A8D9-1BAF5D99DF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15c754b64898fe0d1dcb6b72823d69d3ef25125","datavalue":{"value":"coroutines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823807$118F9F89-706E-47F9-B60D-4CD80F03EA3B","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":"Q4823807$A27DD173-CD1F-429C-9F92-4F72C7E31531","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f8d0916eac762a1e32866d9479f5fa8e7d81245","datavalue":{"value":"W3048760744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823807$EDB9E52C-57AD-46B8-A900-1AA1C11CBF91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd84f0b7da63428ee1c76d2775e9b313e42f416e","datavalue":{"value":"10.1093/LOGCOM/14.4.529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823807$99C89103-63FF-4001-B7E6-498927189939","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":"Q4823807$30A57769-DF95-49B1-9FA3-22B9BE6232BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119dd7fbe184c4efa559d857cf310d5995c32f38","datavalue":{"value":{"amount":"+0.7568778395652771","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":"Q4823807$BE984700-A53E-4240-B0A5-1FA655D36BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a272bd083a6926660a9ba20cabbb61d114ad64d8","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca7e2524705cafb53e564ddc600a0cf076ff9c1","datavalue":{"value":{"amount":"+0.7540630102157593","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":"Q4823807$4DB03995-2802-4899-8DF3-4A14A7DF280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce96de72e1ffe859b11185ed8b5bbcb6997d4e97","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca7e2524705cafb53e564ddc600a0cf076ff9c1","datavalue":{"value":{"amount":"+0.7540630102157593","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":"Q4823807$4A3DB2C5-170B-416C-B13E-C1B750688188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722a85784f6eb74d947848e4dd6484eb95f053d6","datavalue":{"value":{"entity-type":"item","numeric-id":968364,"id":"Q968364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5179b4a8eb12cfb9c87889e5d2c9f631358268dd","datavalue":{"value":{"amount":"+0.7388333082199097","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":"Q4823807$8F596582-7DB7-4525-BDB6-29A5D47F2DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72a2a3c2253149a4db3c59aeba0a4b54ffcc02a","datavalue":{"value":{"entity-type":"item","numeric-id":2464725,"id":"Q2464725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9a9541f1b6e24a3867c69157524895b4692b00","datavalue":{"value":{"amount":"+0.7379583120346069","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":"Q4823807$0AB23FD7-BC6A-4715-AE60-8CED6280857B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formulae-as-Types Interpretation of Subtractive Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Formulae-as-Types_Interpretation_of_Subtractive_Logic"}}}}}