{"entities":{"Q3426569":{"pageid":3437272,"ns":120,"title":"Item:Q3426569","lastrevid":50048128,"modified":"2026-01-12T19:24:42Z","type":"item","id":"Q3426569","labels":{"en":{"language":"en","value":"Completeness of MLL proof-nets w.r.t. weak distributivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132670"}},"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":"Q3426569$0CBCE4A7-49BF-44A4-8BEB-D1C672ABAD96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d4c257737cc71988ff379929f952dc57bf3c142","datavalue":{"value":{"text":"Completeness of MLL proof-nets w.r.t. weak distributivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426569$2347CE53-175A-4E91-A2AB-CD579E76CC22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0c75cf949b2a6e8a9b2ed91e1c881666d3889c6","datavalue":{"value":"1121.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426569$5B1FB94D-CB30-40D8-BD0A-484C3F457F76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4525c955b47badf335bb39d178a4075baf3a0250","datavalue":{"value":{"entity-type":"item","numeric-id":1345899,"id":"Q1345899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426569$2230DC3C-8AF7-4CFF-8AE6-A8F8B664018E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426569$27C47F5A-B25C-45F2-A047-B5BF80B09E50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426569$0CDB12CA-931D-4D04-8649-7A6F26D33641","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426569$83408EE8-76E9-4563-AB8D-FA316BF39EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426569$DABF7213-F83B-4A04-AEC5-3E484EA4F610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6ccd7f007fef659e42e87a7c6deaaa6c7d30a4d","datavalue":{"value":"5132670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426569$5F155D9C-9F3B-4DEF-BC6A-3343BE5EBD0D","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":"Q3426569$05CA7602-6A8B-4513-827C-C116812F838F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8e7661f328158072a2e420e67bb3934d749e48b","datavalue":{"value":"https://doi.org/10.2178/jsl/1174668390","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426569$A6E3B1DD-0437-4806-89A7-7B5B0F512AEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"302f074fd0620a92e40a56682bba8d2d086dce51","datavalue":{"value":"W2045129779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426569$5211CFA1-407C-482D-A6F1-45AEDBEBFDC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0004f8fddecc0a33725b971c1c77c93c033b938f","datavalue":{"value":{"entity-type":"item","numeric-id":4692942,"id":"Q4692942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426569$AA9EE74F-E549-4028-9881-C76F02A254F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958793af98490bc63a16562ae90ff9cf1b32d486","datavalue":{"value":{"entity-type":"item","numeric-id":927095,"id":"Q927095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426569$4C4F595C-C930-4AB7-97B4-79F7EA5092AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b3a66afc232948195beb91c28c455201c8492bf","datavalue":{"value":"10.2178/JSL/1174668390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426569$7C98E9F2-B938-47C0-AB27-1CAA37FD26F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1aad42a24b92c000dc027ca54e22ef95ba22706","datavalue":{"value":{"entity-type":"item","numeric-id":4635635,"id":"Q4635635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a670e77d8d8a01463056a1275d2259a925ced489","datavalue":{"value":{"amount":"+0.8156998157501221","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":"Q3426569$B0AE4818-4034-42BE-B4F4-FE2CB9154FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b347c283dd8f5a000fb3586c1b55093b58c2d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2790165,"id":"Q2790165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58739cce8511989d81c2786d4f260d02a5b0dbb","datavalue":{"value":{"amount":"+0.7825231552124023","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":"Q3426569$C214717F-FB32-4508-93D7-C92AE8CDBAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0293048c469051ea8f6ab20ea64631997aab75d","datavalue":{"value":{"amount":"+0.778754472732544","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":"Q3426569$35AA5CC6-DAAB-4B5F-883B-A5FE69B3C1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195eb9a9bb6c7dbda925421920c1592d7ed130de","datavalue":{"value":{"amount":"+0.770704984664917","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":"Q3426569$7292B495-7784-4636-A9E0-62F0E9D85C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01198edb11dec49297fe8545b7c5cae69736ac2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277754,"id":"Q5277754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd2e90800bda9c0ccf87080fc52dd61a32c1cc7","datavalue":{"value":{"amount":"+0.7681991457939148","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":"Q3426569$D6682A5B-F1C8-4C12-822E-EE075EB306BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3426569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3426569"}}}}}