{"entities":{"Q5293191":{"pageid":7322765,"ns":120,"title":"Item:Q5293191","lastrevid":100709426,"modified":"2026-06-05T22:54:56Z","type":"item","id":"Q5293191","labels":{"en":{"language":"en","value":"Synthesized substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5167363"}},"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":"Q5293191$2621C874-C4B0-44AE-9839-CC9F26C2B9F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beb1b5332ebda1672af683090bf891889dc1ff66","datavalue":{"value":{"text":"Synthesized substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5293191$B4FEA391-72CE-4C0D-B3B3-F556457B1F3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c05337fa0a0b03236b3747b7c4ca2eb01650998","datavalue":{"value":"1121.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293191$819AE2E2-0648-471E-8496-51966D427157","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293191$51B270B1-D173-4B6E-BCC6-1A3BC7136A26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293191$584E2457-A88C-42E0-BA3D-7EB5172E9D02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24f3899628acc276ddc2402f7513107e826fc759","datavalue":{"value":{"time":"+2007-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5293191$53E56E5E-76E9-4F26-B159-3AD3859F9AB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293191$F8814CEC-DDFE-4FDA-B3AD-52A2F0E68F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293191$E8CF0A19-3B54-4C55-9765-44F7F06EA097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293191$2ACE5963-0A58-4892-8DBB-5942581703FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af39c1cc724cfdc1d9ddc675372db481188cda10","datavalue":{"value":"5167363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293191$00C2F0D0-CC65-464A-8D99-3BABC68E03D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be9b1656f4cb1890f743f99de7eba7a563dc33c","datavalue":{"value":"combining logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5293191$7B0E5773-6698-451A-A28A-0C54A92144F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca96447d488f932fd47a59264ed4712e9e9d18c6","datavalue":{"value":"substructual logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5293191$7BAB8D6B-7E72-44CB-B9DD-42B7C4999EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5293191$5A328CB9-DD69-40B2-AEC7-8A72272B608D","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":"Q5293191$F09A9F32-1DD7-4E9D-B96A-1DF4D18DCBC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e300041748fa325b37237780e7ee7d722a05926","datavalue":{"value":"https://doi.org/10.1002/malq.200610036","type":"string"},"datatype":"url"},"type":"statement","id":"Q5293191$AA8030BA-703E-41D2-BDA6-B3554B14ADEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"737e60c4d2a2d959b59ffd9b20556fa185fff4ad","datavalue":{"value":"W2062173321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293191$FFE45944-0E5F-44B2-846A-385DEDC20555","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293191$C0FAE897-7E70-4527-B59F-41EC67780D95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fe12b824095dd77d9101fe73387a6c6258b695b","datavalue":{"value":"10.1002/MALQ.200610036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293191$33BF29E9-AD42-4F0A-AC19-FE6E99CB1D60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6c129d662fe13185291b23e300945c900bb542","datavalue":{"value":{"amount":"+0.7945693135261536","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":"Q5293191$890ECF48-E0A6-4E8E-8FDE-F548EC58D046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c4fdfad566481fbbfd52bcb7feeede7ab5cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4536d7b5a0320a21a95377eeaf55fba3616e349","datavalue":{"value":{"amount":"+0.7812451720237732","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":"Q5293191$0FC6B180-3A35-4585-9D07-AD0BD7F2D117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf50e02f69cc92ca4515d09baa026e7ef50cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2642518,"id":"Q2642518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0081c9e48f21c313cade3541dee9925474743e","datavalue":{"value":{"amount":"+0.7772539258003235","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":"Q5293191$55D95DF6-BA75-4552-99B6-B706E57B6BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcf38ee87304823dc3e9df88b70135155fc0752","datavalue":{"value":{"entity-type":"item","numeric-id":4703130,"id":"Q4703130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d99e66be801087006cfd1038e1e9b3e7b52052","datavalue":{"value":{"amount":"+0.776991605758667","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":"Q5293191$D75BA14D-DE30-4F7F-95BF-18CED7E816E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3126d67cabd946ebb835ecb9f2feeb5892228129","datavalue":{"value":{"entity-type":"item","numeric-id":1970643,"id":"Q1970643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875b3b0998a040b69ffff929c45e8a905c6d88ca","datavalue":{"value":{"amount":"+0.7749105095863342","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":"Q5293191$D4CCFF71-C70B-4B7D-BDA5-CD553538A524","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesized substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesized_substructural_logics"}}}}}