{"entities":{"Q4444939":{"pageid":6474538,"ns":120,"title":"Item:Q4444939","lastrevid":41130286,"modified":"2025-04-18T10:20:43Z","type":"item","id":"Q4444939","labels":{"en":{"language":"en","value":"Proof Nets for Classical Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034305"}},"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":"Q4444939$D6C28374-9444-4B44-A122-AF480D926098","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eec08f7e76b4e57712d640cf41be26dd9828107","datavalue":{"value":{"text":"Proof Nets for Classical Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444939$13CBB7F4-7FB1-4E79-9BED-1C3581D48E98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7f1341a6987412e18c42dd95dc5e99eb97082f7","datavalue":{"value":"1036.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444939$5CD06281-8F33-4F02-A12D-84F2FEF5BDAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5afc85545e99d122f94223f695bdc5c3348c43","datavalue":{"value":{"entity-type":"item","numeric-id":280199,"id":"Q280199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444939$B491395D-6D42-4E9D-8055-19C9854EF1FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-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":"Q4444939$1602D9A2-085A-4BDD-BA8F-91B046D1FCC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444939$FD6B1CFE-A6B9-44B1-B364-4A104EE10E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"774f62c011b05b3c8175300b7d0388036b25a9c3","datavalue":{"value":"2034305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444939$2618B36C-497C-4517-A1FF-5D8087C3EA60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8230a611a98fb84134c25d2c8ed13d57cb68dbad","datavalue":{"value":"proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444939$1786F20B-5BBE-4FE8-AEBA-1706F7A9681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444939$B2FDFE56-EEE9-4F61-B230-D4A3E0DBA410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444939$C60FAEDB-2C99-442C-AFE5-843F46931642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444939$985C97EB-FAAC-475E-AA79-A83B3557D217","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":"Q4444939$5976C542-C565-4F1E-AF3E-25FC709B378B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b770c4ecfef6f4a5a72185f04c41e8c6a3929d28","datavalue":{"value":"https://doi.org/10.1093/logcom/13.5.777","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444939$0132A9B5-5622-4E01-86F8-0FD818871CC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61a3b5d8079fa4e6781ea3ff0ca792065cbc2c54","datavalue":{"value":"W2015626965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444939$C47A4800-33DD-42FB-AA45-A76B2D11D4DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59006d3411f561afd381e496074eb32fecffc39e","datavalue":{"value":"10.1093/LOGCOM/13.5.777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444939$7B1913D2-A77E-4EB3-B8AF-D0FF682E1620","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6235b7df97e0d129e179780f21c33ef40b71dc","datavalue":{"value":{"entity-type":"item","numeric-id":1982017,"id":"Q1982017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$48986312-E00F-4D30-8866-C6084C8483C5","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":"50e105485bd672618cdd35d828df30894ac26f3f","datavalue":{"value":{"amount":"+0.965832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$03786B92-89C5-47FE-BD59-6ED1479AC9F4","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":"d67c5acfba600a537aa19bfbc6241332585ef58d","datavalue":{"value":{"amount":"+0.9209046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$21927E99-9AE9-40D7-A719-D5BAF2B9813D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42a30e7a08cae2df45f415596800c440d258f1f","datavalue":{"value":{"entity-type":"item","numeric-id":813076,"id":"Q813076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e0989a9e4cc31bd73969f669fe31a7a41f95bd","datavalue":{"value":{"amount":"+0.91827863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$D0CA7022-A5DB-481A-82FD-7C2CF254578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9da7381ec3a27707b7f272c726702fbfd9b37","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53608491b3a9f7bb452015d0ab842ba873fa2ff6","datavalue":{"value":{"amount":"+0.91595614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$08DADD98-D059-487D-87C1-91AC48CCAAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ecc4cf8da646662c9091b4b2a1e2ea8db47696","datavalue":{"value":{"entity-type":"item","numeric-id":3016126,"id":"Q3016126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5729b47f236d7dfc8fb4acf1b7f9128d8ef49191","datavalue":{"value":{"amount":"+0.91574574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$C7D711A6-C13F-4D14-8747-451E797362BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5f9c67a17d011d319480e2001ad6d12eb0b599","datavalue":{"value":{"amount":"+0.9062091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$C9FCD103-78EF-4665-AD13-AF13063597E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464bb74e337310f8f27da1cd4b9b07c5093d5e16","datavalue":{"value":{"entity-type":"item","numeric-id":5551458,"id":"Q5551458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2f9ddedc153a44220e6ca2c912739b43dbc62e","datavalue":{"value":{"amount":"+0.9051115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$3565C7BF-47FC-4C55-BA76-F5EBF23222F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0123132d9c3430443a81ae16b71c7d61bdbe2ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5416219,"id":"Q5416219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82446a17de43ac0f12c1b95432155dd8ec2186d7","datavalue":{"value":{"amount":"+0.9029174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$4BC39D24-F672-4391-9A82-60FDE189BE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbd36df9a97bd100338aed48371df5cfa5b301a","datavalue":{"value":{"entity-type":"item","numeric-id":2500813,"id":"Q2500813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e802fe2b174ee0c54357828441c47af60d0dd970","datavalue":{"value":{"amount":"+0.8989303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4444939$1BAD21DC-1DF8-4443-931A-D82CDE0D1BD8","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":"Q4444939$18B7818F-F1E4-4FC0-B38C-5D4FEFA33A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444939"}}}}}