{"entities":{"Q3544316":{"pageid":5574220,"ns":120,"title":"Item:Q3544316","lastrevid":90279968,"modified":"2026-06-04T19:45:42Z","type":"item","id":"Q3544316","labels":{"en":{"language":"en","value":"Structural Completeness in Substructural Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378863"}},"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":"Q3544316$8312B3EA-6F37-42B9-B5E2-7E0CB9DCF851","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e9b044ebce3572642d0cd12ff5fb3f84ae3732","datavalue":{"value":{"text":"Structural Completeness in Substructural Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3544316$FE12BEC1-CA00-4725-9212-2221A2AAD41E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bba9094145615c52b981e79fe1589e74543d189f","datavalue":{"value":"1168.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544316$E286DE70-1E10-41D2-A772-560BCB9E3CD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d300ad16e44671d0419b719ff79c4b565973538a","datavalue":{"value":{"entity-type":"item","numeric-id":466875,"id":"Q466875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3544316$C95C25F2-9D9C-40BB-BF0A-183550D099E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3544316$7AC575E2-CA3E-4D48-A16A-4ADD28A34E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3544316$09D067DC-C4E2-4CCA-A921-4CC5BA93D7CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85c956bb62834fd3366db6abe30b39dc8a24e17e","datavalue":{"value":{"time":"+2008-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3544316$4C3AD47D-082A-4198-9591-C9E75DE9D72D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544316$88DE7FE1-62AC-4D2F-8A78-E2E78C424FEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97dab5c6a99341c01f136dbb95457cf1dbda20a5","datavalue":{"value":"5378863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544316$376A7362-A1C5-4731-8B2A-183064F7D336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$530F1E3E-5D84-47FC-AB87-C861C6CE8367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$A65E4352-4942-494D-B1B2-BA673B2FCEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$2DF22C65-A54F-433E-90E7-01BAABEE07F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9ec7c5955db02217d6c6e5b8a99256ce44732e","datavalue":{"value":"primitive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$B1C14C02-4A66-4B1B-8CB9-25271A0CACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628476f9869be121925e8542fcba4f509dc61fc3","datavalue":{"value":"deductive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$AD15C5AD-387D-4528-88AD-E1693B7BC243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$CB6452F4-567D-4BC9-9935-FCFBC0B69CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$86284324-D9CC-4ED9-9A7A-9DA6754122F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544316$191E2559-623D-4776-8C19-FF608F4683DA","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":"Q3544316$F634A7D1-F62F-4372-897D-837B23D48D0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"504ecdef710c53fb04a09312f05fc381af9599c1","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzn014","type":"string"},"datatype":"url"},"type":"statement","id":"Q3544316$EC3255AA-D066-4D8F-AA8B-3013504ADC5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75807dd6c6c3941ae92f508faf84408faef0e221","datavalue":{"value":"W2158627825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544316$6A2FCE8C-40EC-4CE6-BC3B-E3140ACAC728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff678829149cd8e8b2bb00288ec409839918c4cc","datavalue":{"value":"10.1093/JIGPAL/JZN014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544316$8C4D6155-DC14-49EC-8E45-17A183F8C291","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3544316$4DC714D4-6681-4EE2-A3F8-9114C9B6885E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cb720d0aacec9201b3dfb05af7488b238e2be6","datavalue":{"value":{"entity-type":"item","numeric-id":295911,"id":"Q295911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058756c373eff3fe02d6b69688fb3e4060c7bc80","datavalue":{"value":{"amount":"+0.8165684938430786","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":"Q3544316$78AF6F27-3ABF-49A6-854B-1B385C078C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6731003027f94f1301e95b30639eaf4e16c084a9","datavalue":{"value":{"entity-type":"item","numeric-id":1038654,"id":"Q1038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be9846e32fcab30ddae1151c0468687da8441d3","datavalue":{"value":{"amount":"+0.8160563707351685","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":"Q3544316$91167616-A60F-4DCB-8EB9-3EE1962F578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1523c4520993f3c16eb044de82bd5a3cb5b2c922","datavalue":{"value":{"entity-type":"item","numeric-id":5117590,"id":"Q5117590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d040643adcb7be35bfd409802dfd98c108ce27d","datavalue":{"value":{"amount":"+0.8076098561286926","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":"Q3544316$EE15EC34-F8EB-4586-AB60-2C706214E73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6679d3dccd2ff8e390074af6b46d05a6ae6989","datavalue":{"value":{"entity-type":"item","numeric-id":3333018,"id":"Q3333018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd783e8d6620ff7218660c05709cb3a9e7cb6c23","datavalue":{"value":{"amount":"+0.8050244450569153","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":"Q3544316$F51A3CDA-A611-4072-8D18-17D5D3B38C1C","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":"1902240c6f2c9dc4ea333fa9ce76f3baf9baff77","datavalue":{"value":{"amount":"+0.799023449420929","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":"Q3544316$8DABB09E-C6FF-49C3-9ABC-641F7F285F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural Completeness in Substructural Logics","badges":[]}}}}}