{"entities":{"Q3408154":{"pageid":3418857,"ns":120,"title":"Item:Q3408154","lastrevid":88441583,"modified":"2026-06-04T14:31:59Z","type":"item","id":"Q3408154","labels":{"en":{"language":"en","value":"Connection-based proof construction in non-commutative logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674846"}},"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":"Q3408154$9D940FCB-1519-4593-9F10-759503C90CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"210d59484da3b956a9e6be1888596865cd576409","datavalue":{"value":"1273.03165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408154$C143AD6C-E829-487F-B52A-44F700D54EC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408154$D71D952E-E0E4-49EC-8279-084753BDAFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25271da7c22ef60daf7efd2b4b782ace533ce4e8","datavalue":{"value":{"entity-type":"item","numeric-id":2703719,"id":"Q2703719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408154$84A2CCC7-ECD7-43AA-ABCF-B0F4B681113B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cd58fa7916be1dadd68e97310e9b33bd528be1d","datavalue":{"value":{"time":"+2010-02-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":"Q3408154$A1C545A8-A6B5-44DD-9116-F990F9359B5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408154$A3253527-BF8E-405F-81CD-792C9FCBD8F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e21a87630bdb4475671c642f72bab09977cf3fe2","datavalue":{"value":"5674846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408154$A010C83C-1EA8-424E-AD56-F6CDD63F9994","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":"Q3408154$E9204BC3-5942-46C8-A856-A5480E2F4AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6ce60e7bd25e886c1b2e1444e812fce1a288f2","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1fb42c65b69b3673bb2faa94f227b8dfdbae4f","datavalue":{"value":{"amount":"+0.8299263715744019","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":"Q3408154$9814E4A3-5AF7-4FD9-8734-F90AF98DD9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c19b6dd000e3ffdb5e3f81a53d0d0ed3a8a0f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4783302,"id":"Q4783302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1fb42c65b69b3673bb2faa94f227b8dfdbae4f","datavalue":{"value":{"amount":"+0.8299263715744019","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":"Q3408154$FBDFF68F-DBC8-4CF1-AADC-E7318B294166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c2ce8c9e939346afb527f68e8461d9ede336de","datavalue":{"value":{"entity-type":"item","numeric-id":2503402,"id":"Q2503402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc9d645752afbd86f402d6b36f53f1c1f1a5138","datavalue":{"value":{"amount":"+0.8131237030029297","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":"Q3408154$A06A0D66-18C1-44E3-B14F-59DDFD19C7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b3296d8cf0f9e6f149302ca6ad3b4ac5f78d5","datavalue":{"value":{"entity-type":"item","numeric-id":1427855,"id":"Q1427855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759c04cbd772ee8c9f0caa2b048abd796f925ede","datavalue":{"value":{"amount":"+0.8039699792861938","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":"Q3408154$14FA3D32-8DE3-4399-A4D2-1F6DA8C08494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c4dea8a0cf5beaa43fb3afb83afee0112a90f5","datavalue":{"value":{"entity-type":"item","numeric-id":4222840,"id":"Q4222840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6de8f85c28234fdf4cf06ec828f1ad3ba95d7d7","datavalue":{"value":{"amount":"+0.7950616478919983","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":"Q3408154$5FDF653D-A68B-427D-B8B0-71BC842BD20B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Connection-based proof construction in non-commutative logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Connection-based_proof_construction_in_non-commutative_logic"}}}}}