{"entities":{"Q4796457":{"pageid":6826037,"ns":120,"title":"Item:Q4796457","lastrevid":74653875,"modified":"2026-04-14T23:46:31Z","type":"item","id":"Q4796457","labels":{"en":{"language":"en","value":"Relevance Principle for Substructural Logics with Mingle and Strong Negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876739"}},"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":"Q4796457$C1AAF5EB-AE56-4CED-AEAA-AD331E8FBFA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01f5ac19ff56d1d9cd3a6b696cfebaae147a56e8","datavalue":{"value":{"text":"Relevance Principle for Substructural Logics with Mingle and Strong Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796457$E10B8E38-2696-471D-A51A-C8B564A8F9C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ad9e741620d32d80e81ccf63f59566186c6a32","datavalue":{"value":"1017.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796457$CB6E37E2-F02C-4E36-B421-FE1E7A453BA7","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":"Q4796457$FDAB2344-024E-4689-A741-A15B730195D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"827dfa4373d59d6d09fe679abb67eca1fdd0daf6","datavalue":{"value":{"time":"+2003-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796457$2F360FFC-EEB3-4128-BE1A-B0E2C54A4E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796457$568EBE76-D2A0-43A9-9D28-60E3FD76008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796457$D9A22811-544C-4665-A7A0-804A8F81D952","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"180de212fd1b356a3520891b2f93d88ba6839c42","datavalue":{"value":"1876739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796457$92354EE7-3A82-412F-8E32-9B938AAC1394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796457$EB99CCC5-2FBC-4EC2-8A8C-43B604510CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796457$CAF7A85B-22FB-4A10-8378-01337D8D2CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796457$7C658016-A8D1-4B77-9766-756D22DC45BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796457$0A19BAF4-41D2-4D03-BE54-1FC0D8A3DF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9226e539360ce46c4bc75bd721cbc818e56368","datavalue":{"value":"relevance principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796457$99B620AB-E6B1-4EF1-8910-7281BEEB7819","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":"Q4796457$512817C6-F08E-4F14-9F89-477C3999E045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f63cdd35789c61bff4ecc529c66a2fc663277cc1","datavalue":{"value":"https://doi.org/10.1093/logcom/12.6.913","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796457$DADE6A79-6124-4092-8032-0C0A918A1712","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0273d0a63f13f70456def0043f08b8869ac05420","datavalue":{"value":"W2014027996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796457$2B2C25C8-CB8A-4DA9-9AEE-6A8285B1C3FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7e87c84b27158a097ef138d7a08c96d226b0c40","datavalue":{"value":"10.1093/LOGCOM/12.6.913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796457$A7AC2B4D-E9E6-4C3C-BC86-0FD6488D3620","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796457$CB6ECEBD-0763-4B04-AC77-6BB8799661A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c13826d3a2257adc1ce4af8aac9c73fa790c42","datavalue":{"value":{"entity-type":"item","numeric-id":1610623,"id":"Q1610623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73cac842ab044c4d225fb7de15e933ede4f40481","datavalue":{"value":{"amount":"+0.8300885558128357","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":"Q4796457$6E45BBEE-3269-4965-8764-9479407D8AA0","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":"a20ec898d4838b7b6724f615c1df09364b3fc1af","datavalue":{"value":{"amount":"+0.8135005235671997","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":"Q4796457$43BD0B30-13A6-4B92-AE1C-0B47FAE0DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a718ff85951d357a17cba988ed204eb859fcf71","datavalue":{"value":{"entity-type":"item","numeric-id":5293191,"id":"Q5293191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074ce1470dd395df9adc48c6c0dbbf00335994ad","datavalue":{"value":{"amount":"+0.8135004639625549","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":"Q4796457$4D7E0FFD-F218-4B17-B580-B3C17F4147EE","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":"6d8a3334222c8ae9958c67babad729b5c505fd8a","datavalue":{"value":{"amount":"+0.8039242029190063","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":"Q4796457$7E8D0754-5B96-4C51-BAA9-41E043C1D44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8799c9673e70c42206c44b99b28313cc8c1127","datavalue":{"value":{"amount":"+0.8014664649963379","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":"Q4796457$6108D471-0AE7-47E0-A27A-CA4EF981B399","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relevance Principle for Substructural Logics with Mingle and Strong Negation","badges":[]}}}}}