{"entities":{"Q2864215":{"pageid":2874935,"ns":120,"title":"Item:Q2864215","lastrevid":51885791,"modified":"2026-01-20T11:40:52Z","type":"item","id":"Q2864215","labels":{"en":{"language":"en","value":"On the computational representation of classical logical connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236166"}},"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":"Q2864215$35F09DD7-5119-4922-B21E-B01C2D1528DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2296c6abf67c37d5a642911a936d937d543c29d2","datavalue":{"value":"1277.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864215$32CD37ED-FD95-4168-B987-6FA4D3BB4307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cbc7a35c3edba1326508cb11dc87b26582cf404","datavalue":{"value":{"entity-type":"item","numeric-id":2848125,"id":"Q2848125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$BE0FDD7D-F23B-44D3-BE54-270B5DB66608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb6c7004fc536fad03d07451c8142aa101f1c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2324212,"id":"Q2324212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$04454220-3435-4BF7-B407-C597C59E3271","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$E4F433EE-1083-47D7-9AF8-808DF49BA480","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864215$3F10D77F-0E5D-49B9-AD2D-382F0CB0509A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864215$656F24BA-54F5-46BF-A487-813598F4207D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dde057fb7056899ab9b61470802810b4f02ca2c","datavalue":{"value":"6236166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864215$CDE9274A-0B48-4C28-804F-73EE6E6CA5C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864215$654A0BA7-B56C-4306-916C-D7003C66F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77db005996e1e2e777a4bd05cda3c0a37ca794c5","datavalue":{"value":"logical calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864215$C0460C04-A240-4D2D-B8D1-861D5A95E3EF","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":"Q2864215$DBD510B8-FBDB-4874-ABA0-F5525616DD0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89e0dca838431e13f0019384ecc6965690cada07","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.12.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864215$0E8EB3F2-B642-449C-B317-EC7FF617C514","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0af0af9a8080587915d0a9f6cf7ef72f8236bd99","datavalue":{"value":"W1998178168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864215$A614F8E4-27D6-4070-978C-9AFEF9A30B8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4198ce3dabdf90b9900bb8805d1e27c3f47767df","datavalue":{"value":{"entity-type":"item","numeric-id":4823807,"id":"Q4823807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$9D64EE93-E74E-4907-98B2-38AB8A7AFC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$DD90A3BF-949F-47C2-81E0-8B9FC28AB2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$84F97C79-505B-4109-BB9B-D7076F71EA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$95DD9447-F6BC-4F53-BA6D-45E23C27455E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$E505835B-65E2-417B-B7BC-1745CD90453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be2512671605ebe72e3a700003c529ae354271d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$9680225F-A204-40BE-B19F-2A1AD5F4EA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4fc8259bc81a2dcf2a4db4deea3fc20f1f2c7","datavalue":{"value":{"entity-type":"item","numeric-id":3591403,"id":"Q3591403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$5F7EBAC7-CB9E-4478-A900-12F680FD6DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$596AF868-8F6C-4317-8CB7-D59CC3A3B35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5170845ad4d274290ddb99e4bb6d6d6f27905124","datavalue":{"value":{"entity-type":"item","numeric-id":4444939,"id":"Q4444939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$6CF59001-5FB1-4E77-AF4B-F3D7D65078FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab03bc51730faafa10f48800773c257479b2fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5899010,"id":"Q5899010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$02BF221C-B882-4812-B13F-966D86724E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc9e0b62fef9ef8d6e72949cdbd842373a9741a","datavalue":{"value":{"entity-type":"item","numeric-id":5395064,"id":"Q5395064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$8C19D4F8-F63B-407C-B557-560882416AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c942693ab9d0a59168e8859dbf8ae8009688a82","datavalue":{"value":{"entity-type":"item","numeric-id":2848126,"id":"Q2848126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$FE868462-DC0F-4F33-8B94-2D372C447972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864215$B60B727D-B982-42C7-A2E2-46808E00D75F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed597121db00433feea4968b16ba38e69f351afb","datavalue":{"value":"10.1016/J.ENTCS.2006.12.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864215$BE40E98E-9800-4D7F-8BC0-DE514D77F5D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2186ad1471dedbe247f30ff158c67e1b9f6d409","datavalue":{"value":{"text":"On the computational representation of classical logical connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864215$C74F103D-24BC-4D81-AACF-D1470DA6676A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5769f620bb98b6476f50b95e4b054f5c296ed9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4449007,"id":"Q4449007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7582c1905db72a55e24cc5a71fc7ae1f1ec03a9","datavalue":{"value":{"amount":"+0.7692234516143799","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":"Q2864215$5D8A753E-ECEF-4A25-A10E-F59B1F1186BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec746ab8a2c759016779720a961119790e8e228","datavalue":{"value":{"amount":"+0.748715877532959","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":"Q2864215$EDF7155B-361E-4C0D-84FB-450BF6D7610F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2739fbfff016a5e366eac26cb88c1736bd7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9da8af5dd25d73c195eca6ee2841f46cef45f8","datavalue":{"value":{"amount":"+0.7420064210891724","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":"Q2864215$78BF83C3-5700-417B-9938-76B9203F50F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2e38d64a3a45f26d240e1dd0b80ff002ee5c75","datavalue":{"value":{"entity-type":"item","numeric-id":4370352,"id":"Q4370352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e37b8470f62010c78a1e9c3f2a5143cef589716","datavalue":{"value":{"amount":"+0.7412797808647156","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":"Q2864215$DA178BAE-E14D-42D9-93FA-C3F91CE2F35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94adda7d56c31cdd14ed132f15b6580606e443f0","datavalue":{"value":{"entity-type":"item","numeric-id":3520146,"id":"Q3520146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a976e81372b907730ad0756a5de0b4e9fe2d31","datavalue":{"value":{"amount":"+0.7396261692047119","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":"Q2864215$C390D188-2E44-49AC-A76D-21D737AA4507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864215"}}}}}