{"entities":{"Q5020165":{"pageid":7049742,"ns":120,"title":"Item:Q5020165","lastrevid":55396678,"modified":"2026-02-17T15:29:52Z","type":"item","id":"Q5020165","labels":{"en":{"language":"en","value":"Theorems of Alternatives for Substructural Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7452000"}},"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":"Q5020165$B10AD149-1BFD-4E45-85D0-A2CC48AE0501","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32f452484d9b2ab1faefab5ce24a0b019a23e0ef","datavalue":{"value":{"text":"Theorems of Alternatives for Substructural Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5020165$1E4E7434-4DFE-4767-AE78-1D8172EE4BAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf59c4f1913905e1700725f540b14e67232c1907","datavalue":{"value":"10.1007/978-3-030-71258-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020165$841F2DF7-3E55-4FFC-AE1C-37414FC4AE9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ac90cbf3e3e7e2e257b1cadce6831cac3c0d57","datavalue":{"value":{"entity-type":"item","numeric-id":1685912,"id":"Q1685912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$55615D9C-AE21-4725-B327-CD485E55C66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$82A93010-BFA9-4EE0-91EC-E2A92CAE67DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$526A1848-0623-4EE0-AB39-7D331D4A44AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$C8A0E707-263C-4149-B9A2-B03C6A6E3398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1727f5334bad29278fdd1a985be8b3a17dc3274","datavalue":{"value":{"time":"+2022-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020165$4B775387-9CB8-4ED4-A6AD-3A3F5021DAE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a90fc4d175c3f4564e887783c3b8f7c14ee3f0b","datavalue":{"value":"https://arxiv.org/abs/2002.11419","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020165$C3132DB7-4CC8-4321-BEB0-77CBC674431E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020165$B62856B8-B67F-4289-9170-62A1C97EFE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4296f9b0bcb17a7c26b4255d02268aa843f16f07","datavalue":{"value":"39-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020165$5A6B04EF-8287-4D33-9309-69BCADBFECC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6ae3cafc3b78a7fb05cc2d3f9a3c7b8ee3a5c10","datavalue":{"value":"7452000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020165$802617EA-7180-4DA0-BC2F-C207B1473C55","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":"Q5020165$A86960A5-B54E-4156-8BF1-4529BE0C47D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81e884434da04b8653e030e3adc077032efd0114","datavalue":{"value":"W3009027761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020165$12973EC0-962A-4D37-9554-A110D1E4C89E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a394c809c6f332dec417e66a5e917d4c8c28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1088648,"id":"Q1088648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$635CCAE3-8641-463D-9383-6EFBD276D633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$C284DC69-5179-49CD-B2E6-E0152D724B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$455B5D1F-CFA1-4587-8F27-F3429116A268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c13b01a6661c3de998d504c6bc19f396fe63467","datavalue":{"value":{"entity-type":"item","numeric-id":271692,"id":"Q271692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$825F1D8B-54FD-4BD6-B16B-A0F3CAFA01F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$EFD5DEBE-CCB9-499C-9D51-C98931538EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b554d61218d9928b6258d017dec992409deea4","datavalue":{"value":{"entity-type":"item","numeric-id":3475268,"id":"Q3475268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$98534EC1-B216-40C7-AFA9-8E9D105CE7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6733c43d3ed32458e793473c5eb6d681a29fe8","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$05FB6384-CA4E-423B-9ED0-0673F19A1924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8807f9f25f088135e6ea245240c960d4095727","datavalue":{"value":{"entity-type":"item","numeric-id":1685913,"id":"Q1685913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$1D2ED93D-1F3B-47BA-B64F-73BA21FCD07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$405D93F6-1267-49C9-A132-FAB21FAC6399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b21a0cbd9d202c4d858892712685ade0d68231","datavalue":{"value":{"entity-type":"item","numeric-id":5638267,"id":"Q5638267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$D0C4B606-F666-456B-8D47-7D635FAEAF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0010c62d1f84f2ea7c5a1cf6fe240a2f7090d46c","datavalue":{"value":{"entity-type":"item","numeric-id":2229970,"id":"Q2229970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$AF89E130-21AB-4548-B272-B6A5B69A8690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$909B1E2D-8472-452C-9E72-0AA41E8CB92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$F6F6BEA9-16F1-4E38-9AB2-21E3EB49BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fa281b4e09737a4e4bec0a0659fd02d2af253c","datavalue":{"value":{"entity-type":"item","numeric-id":1740631,"id":"Q1740631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$DBEF4DC6-4836-4594-B145-DE64D4ED0B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b512ebc81f7ecdeea5b202e1b591ff1d811ee43","datavalue":{"value":{"entity-type":"item","numeric-id":3144874,"id":"Q3144874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$DB553EC3-3F1B-40EA-8022-67A47420495B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$3602FF1A-16CC-4A15-8859-F47A51833D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104ede8e3146aaf70aed1cfc10ab2790fa5f4473","datavalue":{"value":{"entity-type":"item","numeric-id":2253035,"id":"Q2253035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$54F8DEF5-7F9E-46D2-9F9E-0A17491D5313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f68e8c5196583ece57f0faac6ebe25d5853959","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$ED0CDD5F-7A10-4FF6-9287-6C4C2735E666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1def82d1eb507c4e958e634a0bfb5203749a80c7","datavalue":{"value":{"entity-type":"item","numeric-id":1699744,"id":"Q1699744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$E0CF8F82-ED80-4542-AC97-9B915DA8A0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895dcbdc46ea49ee475b8f2c4fb8f3ed761c8b82","datavalue":{"value":{"entity-type":"item","numeric-id":3469090,"id":"Q3469090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$9709FA2A-1E57-41C0-A032-B18477E0AB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70342999542e73ca619a52cf71b107b11f257cd","datavalue":{"value":{"entity-type":"item","numeric-id":2363208,"id":"Q2363208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$878908A1-B110-4FC5-9C95-133D3625F9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$8C4D6D78-14B9-453D-90DE-087D8CF125CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020165$4BBF1A72-8D41-4668-B5CF-A07EB237DA01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f6f27d40ca545d527bebbd5a920baf93d67e60","datavalue":{"value":{"entity-type":"item","numeric-id":4704742,"id":"Q4704742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29739b810842e5cf384f1709c1b30d084339bb95","datavalue":{"value":{"amount":"+0.762028157711029","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":"Q5020165$240D9FD1-723D-49DA-BE6F-69CB5696621E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78478b8769b76feb7ae990961e17dc2fa8626324","datavalue":{"value":{"entity-type":"item","numeric-id":3510441,"id":"Q3510441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8390094193c244ae293a8750bc319152222e7f5","datavalue":{"value":{"amount":"+0.7554722428321838","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":"Q5020165$7832B303-ABAB-49C4-A968-4A4D553E45A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333e45889f26d48033776ec7d10fcf25ef3f2a7e","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600774a22e6c07d46821aa9f4654bb0552329f58","datavalue":{"value":{"amount":"+0.7356491684913635","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":"Q5020165$94F9DFB7-81CB-4194-8886-EC6A22746950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8464bab5a30f574750be428e653196b46b0e4d84","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c415828d8a5e18c5d77d57c1a3fc0b4cc3cb230d","datavalue":{"value":{"amount":"+0.7326179146766663","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":"Q5020165$23FFA06D-99FA-48A8-8C26-B496F94CBA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4534f7db60fffde8d688ab452b32f9543984788","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ac8ec5988a277387f208e5d36b9a27f0b88614","datavalue":{"value":{"amount":"+0.7315192222595215","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":"Q5020165$067CDB30-F6DD-4843-9410-FFCC506DA3FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020165"}}}}}