{"entities":{"Q3576229":{"pageid":5606133,"ns":120,"title":"Item:Q3576229","lastrevid":51048284,"modified":"2026-01-16T09:31:32Z","type":"item","id":"Q3576229","labels":{"en":{"language":"en","value":"What is the problem with proof nets for classical logic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762770"}},"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":"Q3576229$03C1AD2F-F68C-403C-AEBA-21513140E938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75afa3a2a273034c3be63b91f959c7ccd7956938","datavalue":{"value":{"text":"What Is the Problem with Proof Nets for Classical Logic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3576229$113558D4-4189-426D-B270-F6F6CBB04F81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a2902f0295f97cb7e4104f1e7bc91cfffb48e99","datavalue":{"value":"1286.03155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576229$49F7E5CE-0140-4DD5-B67E-7E58B73A17D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d97082afc8e412f02c37171539e25e84136cc39","datavalue":{"value":"10.1007/978-3-642-13962-8_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576229$2938A533-2E9F-439E-B81C-BAF87C756620","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576229$9DFDF233-1CCF-46A4-BA37-F0F53D475E4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73c6c5c7d6112d0ad7835b4a6f6df249f30bf447","datavalue":{"value":{"entity-type":"item","numeric-id":3576184,"id":"Q3576184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576229$EB92CA1E-D342-44B2-AA89-33CB376EA81A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6d4a7a569b2832eaba9736541bc42cdbce7b4c","datavalue":{"value":{"time":"+2010-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3576229$1699F29F-5660-49F0-9270-1465F19747D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576229$EEAC7F54-A393-47F9-BE01-9E4792BD07F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576229$BB3AD722-A8D7-484E-8B79-35F811C12027","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c05fe6e6402640765eb191f093275405d24efc9","datavalue":{"value":"5762770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576229$B7E19775-2256-4F4D-92CB-DD023EE00F9A","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":"Q3576229$3688120E-7AD3-49DC-B797-749F2C9B79ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f74232f515efe52ed0a5f21c376ea6784d522d77","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13962-8_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576229$C5EB9AAF-E085-4C2B-B40B-4DCCA512E510","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"137d9f1c40630ee980ea940bca483098f920e1fa","datavalue":{"value":"W2111687337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576229$DE1826C6-4F4B-4E7C-86F3-0047957D01D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a0bb17488de7167be9a8d4b9863448336bda04","datavalue":{"value":{"entity-type":"item","numeric-id":4444939,"id":"Q4444939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60f1bdebde0eea486ec33e3b5bff82a10160469","datavalue":{"value":{"amount":"+0.8590849041938782","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":"Q3576229$9B31C502-2991-4F76-B0E6-EFE554C99BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872386990e8ec7de89eb41f32129f183a9544e11","datavalue":{"value":{"entity-type":"item","numeric-id":1946674,"id":"Q1946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5046a12b397f549008c3b5851879d67a50e53d","datavalue":{"value":{"amount":"+0.7905555367469788","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":"Q3576229$D4CBFD74-42C0-4699-A341-6BD81DF9C82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4a9b5cb99dde5bdbd53e5e3a4ea149175d0c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4933330,"id":"Q4933330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8ecbb2cdeef45152539277fb86ebef60fe161e","datavalue":{"value":{"amount":"+0.7695080637931824","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":"Q3576229$B80112A3-5F11-4E45-92AC-30B8B41B7EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430450e8da9440da1e4e12d64f9b755dd53da82f","datavalue":{"value":{"amount":"+0.7437081933021545","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":"Q3576229$3B1D6207-10A5-4519-B670-E4AFD237C383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a7bf4c97c47092426b094a07b2d459a8e4a63a","datavalue":{"value":{"entity-type":"item","numeric-id":5704013,"id":"Q5704013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a9605a8430d8da18678eeea0cd6ed21f87b889","datavalue":{"value":{"amount":"+0.7349136471748352","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":"Q3576229$2FE8F6EF-CA2A-4D75-AA05-104F3EBD366F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3576229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3576229"}}}}}