{"entities":{"Q4635623":{"pageid":6665204,"ns":120,"title":"Item:Q4635623","lastrevid":53070308,"modified":"2026-01-24T04:10:27Z","type":"item","id":"Q4635623","labels":{"en":{"language":"en","value":"A new correctness criterion for MLL proof nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863096"}},"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":"Q4635623$D62645E6-7461-4FDA-BE1E-577115A4201E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f44b41cbda263193ab30e66a063d4c5d2acb87fa","datavalue":{"value":{"text":"A new correctness criterion for MLL proof nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635623$C7FF335C-BF07-4646-A620-E1B108C20D39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b28fcacd6e2f7b07b820e5b9e85a3a0f49934e3","datavalue":{"value":"1395.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635623$B0BD5820-7F04-40BA-8501-E31C3C6E763D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3714acb6cb19fc9553381d159bc52234609ff85","datavalue":{"value":"10.1145/2603088.2603125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635623$C2158F3E-DC2E-4715-B9F1-9E2713D3EA2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635623$85D8B63A-E6C1-4766-A754-DF9CB5DE17D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635623$2405BDDB-E2FE-4B6B-A365-F5C242882CA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635623$3BDE8CCE-A705-4F09-A372-54C3360963EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635623$B4D1009A-8A07-481A-8706-62130EE8E0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635623$24D22840-7504-4F00-BC7C-21EA8E753516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22dd8ba757f56b2d187d1019b076c08fad9b7026","datavalue":{"value":"6863096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635623$FD0E623A-1291-4792-BA10-D503367AF391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db3f359fa57183e06e69ff3b28e5524b64756b0","datavalue":{"value":"correctness criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635623$448BDD9C-76CE-49E0-B34C-D58488BAB0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635623$62EDDDA1-ADC5-4738-83AC-125BA971B5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635623$267FBED8-0E2F-467F-A559-5F2F713D3E14","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":"Q4635623$7EEE3D9D-9AE5-492D-92AD-BE53B23BB14D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10ee3e3ee485e0b0cff42625ec05e4ae66fa00e5","datavalue":{"value":"https://doi.org/10.1145/2603088.2603125","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635623$66AC219F-807E-4648-83C8-58297D7631E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6aeb9127a064bdc24944bdd26566cfe92af9cd4","datavalue":{"value":"W2015379750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635623$A6049DC0-E6D4-4E8C-9264-9C5CA6396D1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adaf9e5c4cf3fabf8f4ff510bb69d809d2787c6","datavalue":{"value":{"entity-type":"item","numeric-id":4501135,"id":"Q4501135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c12e8c03dcdc52ddb36b60ed4263f4cf41c2f98","datavalue":{"value":{"amount":"+0.8620558381080627","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":"Q4635623$AE80D494-B87F-449E-BF32-216B99F6CC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f48057d83c70ebd2700df6b597958319c52497","datavalue":{"value":{"entity-type":"item","numeric-id":2949457,"id":"Q2949457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587e221e655f2dfede32475896e58a2f3ec72e05","datavalue":{"value":{"amount":"+0.8534371852874756","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":"Q4635623$79EE6EF9-CE55-49E3-ABB6-666117201578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfa5a292c05ae87a6d6dcbdb2ae28a02d2c098","datavalue":{"value":{"entity-type":"item","numeric-id":4328819,"id":"Q4328819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0c502464319314c71e093e4726d194585ca3cb","datavalue":{"value":{"amount":"+0.8471618294715881","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":"Q4635623$1B883112-8C29-4DD8-9A9A-44044DEA3FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"debd68b9486f4064fa537e8ed50615f4b651750c","datavalue":{"value":{"entity-type":"item","numeric-id":4217606,"id":"Q4217606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0c502464319314c71e093e4726d194585ca3cb","datavalue":{"value":{"amount":"+0.8471618294715881","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":"Q4635623$858642FC-E906-409B-9B3F-432ADF48DB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8769e261c5825650fbe726c0626f3ef75cb68a1","datavalue":{"value":{"entity-type":"item","numeric-id":4236199,"id":"Q4236199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947c7bc431bf94fd7bbbd1ce9df71ce22e5b84ae","datavalue":{"value":{"amount":"+0.835096001625061","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":"Q4635623$133F11F2-0DBB-4D23-87EE-27AB7B18ACAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635623"}}}}}