{"entities":{"Q5423981":{"pageid":7453555,"ns":120,"title":"Item:Q5423981","lastrevid":96180533,"modified":"2026-06-05T10:36:53Z","type":"item","id":"Q5423981","labels":{"en":{"language":"en","value":"Exploring the gap between linear and classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207780"}},"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":"Q5423981$6523A05D-1C67-42ED-9458-268DD87C262B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9b6cc9b183e1f7c4185071188479944b1b8fae8","datavalue":{"value":"1131.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423981$89455AB7-6D19-4435-BB67-31F31683AC13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e6c1c3409e6d83bd78c8052a50125837ef1c940","datavalue":{"value":{"entity-type":"item","numeric-id":280834,"id":"Q280834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423981$EE15037A-13B0-4799-AA45-4E950CF58389","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423981$6922F63A-582B-48D5-A85F-290D3E24D704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dde81da565fafcf9d345a54cfc6f99033cec7ddf","datavalue":{"value":"https://eudml.org/doc/128426","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423981$E95E66C1-D0AE-4BD7-82F9-93E519A51134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3ae9cb6ea5a8d4b1957c491afbce1a4f12ff763","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/18/17/18-17abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423981$85F941C6-985A-453A-A92E-F1BC55C263A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423981$EB287B02-F302-4B14-8556-C3FF19E563D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423981$304C94EF-71C3-462E-B64F-23F894932E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423981$4D4CE3A6-2AB5-49EE-AE08-FFE07050325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423981$EC6A6D4A-00F5-45F6-865B-DBBD59E52E68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b431bf7f4b93b92314d831b62114dd399b5d30d","datavalue":{"value":"5207780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423981$A56869E7-C1F3-40CF-943A-60257FCB92F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a37573f2e62bde045e7e78b9912b83f736d3069","datavalue":{"value":"\\(*\\)-autonomous categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423981$360176CD-5DD7-441F-BCB9-908D5E3B924C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423981$9DCEB6BD-6C8D-4BC5-9022-E32B0225A657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423981$ED7DAFA5-A637-4D21-8921-C678582309B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423981$AE757820-49C1-487B-BE99-EAF0E0F2F6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423981$1A6F8A72-0F14-4E43-AB5C-DB87A90DA014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6fe4476dabd6482435798d3b4fd83b4e89e813d","datavalue":{"value":"medial rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423981$15E8BFCB-BBF1-4E68-A67F-80C5ABB63701","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41a7d715f416eef9d520b3a231a431cbaabf1193","datavalue":{"value":{"entity-type":"item","numeric-id":14870,"id":"Q14870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423981$7A4AD2C3-2F13-4D27-B465-9FF33E866CFB","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":"Q5423981$16E0C802-DB4F-420A-8452-AC970561A7E5","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"11bc948717bc1a6a8fc352890eabf9c95a99fb8a","datavalue":{"value":"bafkreidon63bmxtyvocvz2ms4hicqsbf6jaht5kzglqbblbotvlqsmonfu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423981$DC94CA03-A168-4A19-A23A-E9D6CF3D2AFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c57412e4ceda584c2b59e0c7dd0402364f63f7a","datavalue":{"value":{"entity-type":"item","numeric-id":915719,"id":"Q915719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f6cb82f98963f6519b93dd5131b1bb88c606dd","datavalue":{"value":{"amount":"+0.7331154346466064","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":"Q5423981$607BA3F4-B3C2-41E2-9222-427285AB98F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb16c485c814e4b2039848fa6e93cacfd02777c","datavalue":{"value":{"entity-type":"item","numeric-id":4222842,"id":"Q4222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f80d66303a4a171e6333dcd9e7447241db83616","datavalue":{"value":{"amount":"+0.7251390218734741","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":"Q5423981$A47A04E2-CF36-4213-AA05-0FB91D2D4FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7a721cab2099ba404fb6928b8bedbbba7803ba","datavalue":{"value":{"amount":"+0.715860903263092","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":"Q5423981$4232BC39-123D-4F93-99CF-76C209D813C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd19b552ae758b40e4726c3e62b25c097c3b6ad","datavalue":{"value":{"amount":"+0.7144387364387512","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":"Q5423981$ECC3138B-B513-40F4-80DA-FE57D11C6B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc21876d0049c2aea9411ef446a9b863afdea56","datavalue":{"value":{"amount":"+0.7144339680671692","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":"Q5423981$B4969ACA-E167-4A29-8CEB-ED39E751E2E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploring the gap between linear and classical logic","badges":[]}}}}}