{"entities":{"Q3707997":{"pageid":5737903,"ns":120,"title":"Item:Q3707997","lastrevid":50538239,"modified":"2026-01-14T08:13:59Z","type":"item","id":"Q3707997","labels":{"en":{"language":"en","value":"Logics without the contraction rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933041"}},"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":"Q3707997$58EB73C1-F876-467B-94AC-86F4554E73A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d108286a70cc8709f5f3de9d29dbf19e8895e9b9","datavalue":{"value":{"text":"Logics without the contraction rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3707997$64EB1489-79F6-43D1-BE25-8DE6401A8801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3122434eede0e082171d23d1cfade1317a940f93","datavalue":{"value":"0583.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707997$FA83FF09-9558-4AF2-A851-48F29479545C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2bc48687d5f6273a017d8d8aaffe1151cf13623","datavalue":{"value":"10.2307/2273798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707997$DCB2A5F2-93AE-4007-B483-0414B0041211","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707997$D2F4A94B-E3CB-4D30-8CA2-4377D438B18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707997$DAD013F8-4ECA-4BD7-965D-20D4A6D8CA40","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":"Q3707997$152C0B3A-5D4F-40CC-953F-4688E8BBB99A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3707997$F2800A86-E6E8-4890-AC1B-9C9AD9708A0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"577c3a538538b7d9ab8bcf7ab9bce067caf78c51","datavalue":{"value":"https://semanticscholar.org/paper/a79d22998875e96a2277acafa6a22a38fe7c2a7a","type":"string"},"datatype":"url"},"type":"statement","id":"Q3707997$EF6B3EAA-CF41-45B2-92A1-24B02D4C520C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707997$A67A7F3E-E496-4084-B4F0-B4EC9C0F4695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707997$BDD879A7-B299-47BC-BAE5-9E92E363F848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"171f6311dfbd97ff30e23bc0c6eca06c3b438880","datavalue":{"value":"3933041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707997$0721C4CD-C427-45B7-ABD7-3012B0933616","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dbb4d21af07655e7130451a36a33f9f2275601b","datavalue":{"value":"monoid Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707997$F237B9BF-9CD7-453B-8DD3-291BDCF1C3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665b5c79691f5d2f74eca5a1cc637b13835b27c1","datavalue":{"value":"Gentzen-type formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707997$B30B76E6-C163-416A-919D-7B6D3890444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707997$D69898B4-1C09-4923-B500-1205C22493B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6769a476450b4562f72b6ef3d8da42b356cd9f","datavalue":{"value":"BCK- algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707997$AC57EA6A-D019-412C-ACE9-CF88D221FDC9","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":"Q3707997$6D9EA029-FCD7-405D-97EC-057BDDE345F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d928ed907f1f76046ac1ae593aa1849a739aa38","datavalue":{"value":"W2154114798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707997$05C7FA9F-812F-4C5D-BC69-223A39B9B991","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707997$597C6139-A904-432D-B964-2B1C2345BA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc2025b602686e076b8d299467a3b8bc75c947d","datavalue":{"value":{"entity-type":"item","numeric-id":3939781,"id":"Q3939781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707997$EBACF43F-F98D-4FD9-B864-6C4778F3F939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56633a921b797ba7e080cfcd6bc270ffbcedc9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4055959,"id":"Q4055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707997$C1E6B367-81AE-4691-9B9D-86507FB7B237","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68343b4643f8d7a8cfbc94b8e5bc4c4a731ce469","datavalue":{"value":{"entity-type":"item","numeric-id":3466596,"id":"Q3466596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e7ad9d72051de565ed901ce8e63e0a917062d4","datavalue":{"value":{"amount":"+0.8496795892715454","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":"Q3707997$142C5B7E-CDD5-47CB-BEE7-2415CACB352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109f0c63663c17e36a1916fad5bb306f0a17d5b4","datavalue":{"value":{"entity-type":"item","numeric-id":1077403,"id":"Q1077403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f41ff8ac1af9ed92fc0a353642ee256364a06f6","datavalue":{"value":{"amount":"+0.8202918171882629","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":"Q3707997$B4D0F3EA-9A21-4257-A34F-C90270CF21D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef3607e1a87b009ba1b7874bcf3442ab00b86ef","datavalue":{"value":{"entity-type":"item","numeric-id":3737415,"id":"Q3737415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3cc755d3cbdefe478792d12645712c57d0eb27","datavalue":{"value":{"amount":"+0.8060081005096436","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":"Q3707997$B25AA398-98A7-4097-AE13-4E4A56501620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bec22ff490172df0fc4deb3bf2206207f1361fb","datavalue":{"value":{"entity-type":"item","numeric-id":1576374,"id":"Q1576374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30ba1eb53dc941630135b4d8e214a0d23ad243a","datavalue":{"value":{"amount":"+0.8035297393798828","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":"Q3707997$2EA93A6A-A019-4823-B1BD-2DDF59F8D4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58d94bb57000f6bc92c805bf1a96dd4d60c2bfc","datavalue":{"value":{"entity-type":"item","numeric-id":676308,"id":"Q676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30ba1eb53dc941630135b4d8e214a0d23ad243a","datavalue":{"value":{"amount":"+0.8035297393798828","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":"Q3707997$9ED1AAC0-CF2D-41C3-95DA-9828F8CB107F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707997"}}}}}