{"entities":{"Q4236199":{"pageid":6265800,"ns":120,"title":"Item:Q4236199","lastrevid":41594361,"modified":"2025-05-06T04:59:24Z","type":"item","id":"Q4236199","labels":{"en":{"language":"en","value":"Minimality of the correctness criterion for multiplicative proof nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268673"}},"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":"Q4236199$5C67195E-E703-486B-B576-15F3F22F4B0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a9c28e6e4e4a3353662143b242efd361130d132","datavalue":{"value":{"text":"Minimality of the correctness criterion for multiplicative proof nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236199$5588A02B-516F-4DA3-AE77-B34BC3860F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fbec3aa6fdd645be660d786bbae08e6d9983dc4","datavalue":{"value":"0916.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236199$2872F1DF-2A53-4EB2-BD3F-1037856C4C75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7521deb3cef1903798a41991f59e01c9cd0388e1","datavalue":{"value":"10.1017/S096012959800262X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236199$E5C41D34-5331-4A5A-AF33-415182840BD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a1b7c7ade93d4619930f7eca99beb406be52ba4","datavalue":{"value":{"entity-type":"item","numeric-id":442138,"id":"Q442138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236199$C3B472A5-C3A1-4D13-88B6-4127672B62A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236199$4A38A636-8215-4E92-80CD-46E7EDD205E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c181d2feac21a0f0954982c351421c590c4c609a","datavalue":{"value":{"time":"+1999-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236199$A57DF441-FF96-4CAD-9B43-60B59BB5D7F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236199$35E43AE7-2FB0-47FC-A510-156DB1B98344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236199$7B9942E3-C104-4072-BAA1-D4FFAC9304F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0207f832abdf6929b341a52d3d5dd4252cc122d","datavalue":{"value":"1268673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236199$E957F8A6-46D3-47F0-AFD5-D14F2771F204","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236199$867F709A-8473-4F7A-9E71-40E69349E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4988e5e40921b1bf7be0dde48252438edc6a3bb","datavalue":{"value":"proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236199$871569C0-56B4-464A-9D63-ACD800874AD2","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":"Q4236199$07B9789D-B57A-4D3E-970A-C341B6837D3B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"344b1a2acd7b41c92736e4f5753e2edccb70cd5b","datavalue":{"value":"Q127516546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236199$D6827F4A-A710-449B-B67E-2518B4F3F9A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23c2a359e5d7ca10b36dedc183eaba71aaa1eee","datavalue":{"value":{"entity-type":"item","numeric-id":1960420,"id":"Q1960420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d6400e9898bd6fc2f714aa5104d5152850ce97","datavalue":{"value":{"amount":"+0.92022526","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":"Q4236199$F5083E23-2C06-4A61-B47E-4E0A605C02BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f58db0bf19693bc9b5dea5a21561da7592d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1407588,"id":"Q1407588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f6eefc946b0c24fed08ef389dfdcbae83c1348","datavalue":{"value":{"amount":"+0.9070086","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":"Q4236199$126A528E-7CBF-4281-972C-9A766BFF2E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9296595920089982cc85c21480f0f8c0cbe3a","datavalue":{"value":{"entity-type":"item","numeric-id":4376053,"id":"Q4376053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0389d2a0c860dff50ad8e5260272b05decd1beb0","datavalue":{"value":{"amount":"+0.89017427","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":"Q4236199$41F488AF-5D95-4E77-9CCB-A4E6234B7296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d124ced210b5a910800c0a9a70e8c471fc29415","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b6a487edf58e2d6a93d8e961afbea5ac63bdff","datavalue":{"value":{"amount":"+0.8820264","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":"Q4236199$EE10F351-2C76-44AF-B509-482A20891884","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":"7801c65ba869c155fddbd4308c9570512de208ec","datavalue":{"value":{"amount":"+0.87871194","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":"Q4236199$34897DCB-4813-4BE3-9BBB-7883B068E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f25569916a6af76d970bf09be43653e8ac2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5377696,"id":"Q5377696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b67d25ca240d023c95147f1d3863c2f5c2e92e","datavalue":{"value":{"amount":"+0.87835044","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":"Q4236199$46E82DFE-3D11-402B-9FAF-055BFBF27366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bcf84558a5484935709c444e08fba430e636a2","datavalue":{"value":{"entity-type":"item","numeric-id":1280050,"id":"Q1280050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda895d3a812864041feae70e15187b0a436bf40","datavalue":{"value":{"amount":"+0.87795633","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":"Q4236199$EC4C3563-CE4B-4F4B-8096-8BC902085BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c296e284c341a787d02fb7456570fa19e43dc6","datavalue":{"value":{"entity-type":"item","numeric-id":3608429,"id":"Q3608429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de0b7879885916e08b4a01d0052a86e2ed96b8a","datavalue":{"value":{"amount":"+0.87714845","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":"Q4236199$3691DFD6-C7A5-4D79-95AB-C816EE7405BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5244dcd298cd7d19a58fa3ba4abd23dbadac9d6","datavalue":{"value":{"entity-type":"item","numeric-id":2119124,"id":"Q2119124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae103036f2238624a63f81e759f356ebd09c7ab","datavalue":{"value":{"amount":"+0.8751738","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":"Q4236199$E3002042-02AE-4A02-9479-344D449E14D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640fe7dee0d50fb88e4fa6903b23daf77140d370","datavalue":{"value":{"entity-type":"item","numeric-id":392185,"id":"Q392185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8052a74515223f5a6ece434ba6b2231aba5144","datavalue":{"value":{"amount":"+0.8741761","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":"Q4236199$AA555FBE-28C4-42F4-B61C-26CB54B7BD3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236199"}}}}}