{"entities":{"Q5742614":{"pageid":7772165,"ns":120,"title":"Item:Q5742614","lastrevid":56876403,"modified":"2026-03-24T09:51:19Z","type":"item","id":"Q5742614","labels":{"en":{"language":"en","value":"Labeled Sequent Calculus for Orthologic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7054943"}},"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":"Q5742614$7F7B525B-5BEA-474D-8F87-786CFD3FAE39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3781c1563d1633fbd035002ad9f288402d507c1","datavalue":{"value":{"text":"Labeled Sequent Calculus for Orthologic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5742614$9444DBB5-DC89-4069-8EE2-98A136A8637C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15c19da4a68eceedbfac55f4976170d11add084c","datavalue":{"value":"1437.03179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742614$E22BF47F-1859-479B-9F81-91AA1D88F821","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af863c1f75d4b11c144b4cc2ea85decaddf40c2d","datavalue":{"value":"10.18778/0138-0680.47.4.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742614$E48D19BC-0F07-4851-846F-B90361F650B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7858b3a51a7b21b279ed5453cc2fd651e32f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1799287,"id":"Q1799287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742614$7A9D9F97-CF56-40D4-9BCB-8697E46934BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742614$547B47FD-CED8-4EE3-9CFB-7B1542CFD653","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5742614$418AE489-274C-4269-B975-C25E0352F4B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742614$2231954B-FA20-49FB-B033-53113697F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742614$71B534C3-B372-4B9C-979A-044BECAFDE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742614$9B6CE2F6-82DF-490B-8667-AD85D85FB6F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f5770fba47dbfbf83eb5f92099c4a7fc3b5f7fe","datavalue":{"value":"7054943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742614$6FD510EE-60FB-45A8-9788-E354C8E1C188","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742614$6CCA14C0-F184-4BE2-B8BB-A6353060E8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742614$567B86B0-3238-4880-B39B-644444CC2FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742614$8E9AC532-9FF3-4261-9C58-165A79311862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742614$F8506E9F-BD7F-4E99-8A3F-A81398C8B80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742614$A58A5F0B-E7EA-4855-ACBD-2AA5BCAE4743","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":"Q5742614$938D483B-65DC-4350-850C-1B23262A42B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02c563228c5c77a666a12fc3e3e3eaac87bc219b","datavalue":{"value":"https://doi.org/10.18778/0138-0680.47.4.01","type":"string"},"datatype":"url"},"type":"statement","id":"Q5742614$C4F1ACE9-20CA-459C-B067-DD08B3A9282E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b82f0003e23602f6bcc4dc274ca4dd70cc6cfea4","datavalue":{"value":"W2944994753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742614$91FBD2DD-7F1D-4D6D-AF74-2B536352DE04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c710db4eaf5ba52fc5fdcdea032f1f85e2cef","datavalue":{"value":{"entity-type":"item","numeric-id":1679793,"id":"Q1679793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30af52a6be7b2f0c46b5ea38e5ba7233cf3431d","datavalue":{"value":{"amount":"+0.9374239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$F8C56EE4-D2B6-4DE1-82E3-022567C92AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcef6a4c4d89901afcee0772c8aa537a5f384c2a","datavalue":{"value":{"entity-type":"item","numeric-id":6162079,"id":"Q6162079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7411017f87b86d52f33f93cc357a2c4a673a8f35","datavalue":{"value":{"amount":"+0.9286129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$802223CA-6739-47B7-BA79-9C1E58FC685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7186f0013809c3e4cb025391805c923a1d04187e","datavalue":{"value":{"entity-type":"item","numeric-id":331048,"id":"Q331048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f18231468295e9a82ddcd38026e5f5368c7a47","datavalue":{"value":{"amount":"+0.9272602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$9D168D25-990F-4C07-9028-B7039A50B27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3038cd9b5dd36f01c482c1639a0e35dcd39f977f","datavalue":{"value":{"entity-type":"item","numeric-id":5884968,"id":"Q5884968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9516407b640fe3ce952d4512bab9f27e22a0b3b","datavalue":{"value":{"amount":"+0.92273706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$E2A2E176-5323-4DC8-B9BC-72BB0A39D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76790668b5a87f5f77c5a3592d2d295d55a5ca84","datavalue":{"value":{"entity-type":"item","numeric-id":5112652,"id":"Q5112652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f74a247a90c3e76f1295cdfbbc504bae6e6586","datavalue":{"value":{"amount":"+0.90856576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$4D2A83EE-FFCF-4109-BDD3-19BF066985BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ab11fed4e644216b102810f26f4374d25eb717","datavalue":{"value":{"entity-type":"item","numeric-id":5187857,"id":"Q5187857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aeb21718a8df13798842e9ba7afd07673cb7160","datavalue":{"value":{"amount":"+0.90616655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$3FFA782E-32FA-44E0-82DD-1130BB26B796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd41cf85860439b3be7d63566773110f79f919ee","datavalue":{"value":{"entity-type":"item","numeric-id":377468,"id":"Q377468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4939110bfec19dda1be19e73d2e7fa79a489cd","datavalue":{"value":{"amount":"+0.90361017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$E1B97D5A-3A47-4FFD-A191-825264AC4600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232c17692faf35aad5f42b671538c75b03655546","datavalue":{"value":{"entity-type":"item","numeric-id":5869513,"id":"Q5869513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56396de9c6c9d67780445cd20b413fbbdcfdd2a","datavalue":{"value":{"amount":"+0.9034698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$AA9B61CA-2C73-4AF4-BA49-AB62E2EA6091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc6216207f2eb67389a854c1d29a5515242c051","datavalue":{"value":{"entity-type":"item","numeric-id":2851936,"id":"Q2851936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5026cece8e7e47eb00a905530099be13703bf9","datavalue":{"value":{"amount":"+0.90223026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$31914A11-4EEC-4384-AA7B-DEAC11E221D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e76abfe20142d20c01b16c6d2920a0c9c64d4c","datavalue":{"value":{"amount":"+0.8956105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5742614$AB406767-7684-4C7D-AA97-CA1CD322D19F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742614$4854058D-AC7F-47A3-A882-ADD043D9A397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5742614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5742614"}}}}}