{"entities":{"Q6162079":{"pageid":13296960,"ns":120,"title":"Item:Q6162079","lastrevid":98838365,"modified":"2026-06-05T18:36:36Z","type":"item","id":"Q6162079","labels":{"en":{"language":"en","value":"Sequent Calculi for Orthologic with Strict Implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7696164"}},"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":"Q6162079$4AE9BD99-9835-49DF-B12D-A179EC0B0416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cba075ab1cda765e12ef42957629c12eb1f9654b","datavalue":{"value":{"text":"Sequent Calculi for Orthologic with Strict Implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162079$69720E0B-ACBA-427C-86EF-4BEF07AA6CBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1b0b627bc28b87b99ad2fc0c7ef7518859b46f1","datavalue":{"value":"1525.03114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162079$BE1E32E5-15FF-4773-9CE0-69C3756DA66C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f0fd19a239771495ac358ff7d14188a2d211af2","datavalue":{"value":"10.18778/0138-0680.2021.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162079$D1797F00-14A9-479E-A6FD-8C4416CF6E73","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":"Q6162079$5B67B8EC-D654-4679-B258-5717A8F84435","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":"Q6162079$4BB87C52-E29D-4F3F-BCBB-D1D2709D51D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b16353a59d462651b8369dc98a71ef493226d62e","datavalue":{"value":{"time":"+2023-06-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":"Q6162079$6F723730-68F9-4716-916C-7AF1F2B9AD7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162079$02B52FC5-1BB1-4EBE-8D02-7CB94C620C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162079$81580795-8121-4249-9BF6-9167B38BD3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162079$6E8FE75D-4CB0-46B6-8F91-E4A4FB44000A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f191986bbdec8ebdb406976d1f163038bc4e0e9","datavalue":{"value":"7696164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162079$6D9C352F-26E5-4ED8-B74B-B21512CFEF60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162079$C8DF22F8-58B0-42DA-B248-C3A500C7608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162079$E1614A56-B0C9-4E65-9E1A-64172D469A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162079$B8752808-4B3E-43B2-BB44-1F885CBA6119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162079$0E16D8E0-67A0-4BDA-8295-7F7E3EBBC6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162079$8AB36A13-3C37-445B-B288-05B3EDEE1CD2","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":"Q6162079$D40D9051-4340-4DDB-A8AC-266D3BEA8FCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7eeccf3b4975c61908170fbda1cefc1e7076515","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2021.22","type":"string"},"datatype":"url"},"type":"statement","id":"Q6162079$17F5DD0B-84D1-4D91-A4C0-21D30FDBA5FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f55f54af26af3800aaabff51f0c5d727cb749492","datavalue":{"value":"W3213415915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162079$C006FB44-BA0E-413A-80D2-77EE81CD58B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6cdbad89024e1c9e94e9775ae332c77dae278b7","datavalue":{"value":{"entity-type":"item","numeric-id":1227736,"id":"Q1227736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$75AC0D8A-EE12-4448-BE00-35FF843496FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39781d06877ba27d2313921bd2c18dab58225fb","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$01723B27-0DA3-478C-8972-FFFD02D176CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$F4F12094-A773-41C0-87B7-9026496642D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951b73e1191d1ff9b0e54ce7ca0fd0e62de19cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3625736,"id":"Q3625736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$24C94048-7531-4010-9322-125181541FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9131d26ae12f267b3f06328c926db26ee10174ef","datavalue":{"value":{"entity-type":"item","numeric-id":2979435,"id":"Q2979435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$F9551EE6-70ED-49DF-83B1-5F6C7AA872A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef499e85b786090489b8295dbee902e6591d79b","datavalue":{"value":{"entity-type":"item","numeric-id":2505957,"id":"Q2505957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$B37BCE73-CBFE-4C8A-8EEC-0728D2919C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb5c06235af6bd7f4f3c65a5973ac6e8300d377","datavalue":{"value":{"entity-type":"item","numeric-id":5955524,"id":"Q5955524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$77DCBE71-2736-4B7E-B27B-F71527F10F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00276781f442d5ac4c65cef06d67edf9b89021f7","datavalue":{"value":{"entity-type":"item","numeric-id":5179144,"id":"Q5179144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$9CB67CFE-8C10-4A78-818E-7E926FC8A5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75f0da0a20fa8ad88b0bdb0e13d2822167571f","datavalue":{"value":{"entity-type":"item","numeric-id":4608380,"id":"Q4608380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$7AC95165-86B1-459F-AF27-FA4DA61EC53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e480ef79890eba2bee2b5d3655306bd7f95e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2358204,"id":"Q2358204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$857086CF-B0D9-4703-9590-1C7BA45ED1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f797ed43065de9765ddea3dd24530110f0c9b70","datavalue":{"value":{"entity-type":"item","numeric-id":4985506,"id":"Q4985506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$354D03FA-DE4E-4C1A-ABB2-B45D22E340DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$D3C60CD1-8D05-426F-AF67-1DEFE5A6440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd4a2a6c172bb846d51deaada36666d442dbe76","datavalue":{"value":{"entity-type":"item","numeric-id":5569432,"id":"Q5569432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$3654B1E8-A683-427F-B317-F90ECFAF381D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4376b57479d64c0f3d5ca51fdc2efeccaf537ac","datavalue":{"value":{"entity-type":"item","numeric-id":1141650,"id":"Q1141650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$94DF42B5-3033-4B68-BF72-19D36B0EA485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a349e34201035a5b77741f1991726c3afc5aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1170189,"id":"Q1170189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$67810DC0-AFEC-4919-9C46-DA000ED440AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b955041183d6c5e18004872724432c7e442caa71","datavalue":{"value":{"entity-type":"item","numeric-id":1170190,"id":"Q1170190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$3BC203B5-6136-4B6B-9269-34B729B2B639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a40c9a27d321ea22bc8421cbdca3a16f77f7312","datavalue":{"value":{"entity-type":"item","numeric-id":2560812,"id":"Q2560812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$36792DBA-74DF-46E0-85F6-9217F9F471D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b460a0110632b60542242652d19e1f28ceef041","datavalue":{"value":{"entity-type":"item","numeric-id":2180235,"id":"Q2180235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$EB0B6AE6-497C-4FCD-8DA9-4E4D3C57319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$F85D4128-1C48-4FB7-B2B3-F4C256053602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1733e56511b15a151613ac7c183c42e7acff90b1","datavalue":{"value":{"entity-type":"item","numeric-id":1409300,"id":"Q1409300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$D4A77613-C55F-4EF0-92AB-2BD7CF86C009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$FD4E81C0-C8A8-4782-ABCC-76FFC565B5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc5f024589445f8fff03793b1f17d193daf95a53","datavalue":{"value":{"entity-type":"item","numeric-id":1799288,"id":"Q1799288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$55F8CDB2-C6C2-44D2-8787-B7B80E1FCFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebac958a5e5a407a561489eb1d014d3d763d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5742614,"id":"Q5742614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$A2362A6B-4E02-4D73-879E-BA6FEBD3B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4278bbf7c3a34ba16400403dc2fb40591639b3","datavalue":{"value":{"entity-type":"item","numeric-id":3877681,"id":"Q3877681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$D8D288CB-B300-41A7-BAA0-92EE0B651BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407c0f8ee16cf2d3375df8566af92e18d6833779","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$C78254FE-B02F-4E38-B77B-47E8003B0927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c096141a440c36c614350915e140b76291c7f5","datavalue":{"value":{"entity-type":"item","numeric-id":1340318,"id":"Q1340318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$57D91687-F929-4D92-89B1-7ACB4D0E4BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da090a237855d224b6720fbd6a39f504af435aa","datavalue":{"value":{"entity-type":"item","numeric-id":5014787,"id":"Q5014787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$B39A9E9D-CA34-404C-89C7-38D76C9FE806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$FE914268-E60C-4224-8124-B826BD336949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162079$22D29B16-C068-47ED-B2B6-BAAC149DE7AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d2444be6a9bb8efd2eb6a804bd94bdc3260a86","datavalue":{"value":{"entity-type":"item","numeric-id":5742614,"id":"Q5742614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995e56b5014cb677e54d726e0090889ddc219897","datavalue":{"value":{"amount":"+0.7871765494346619","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":"Q6162079$0EDC39C2-F205-4459-A5D0-8FF0A7DE03BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417a19b7baa6698aca67a8686b9243372101b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5460206,"id":"Q5460206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0fc7e180fd746bb9ef501740a196843c37d3bf","datavalue":{"value":{"amount":"+0.7766866683959961","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":"Q6162079$256A1A08-9303-4915-94CC-66D24F05DE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb7147cfbc30362aa62ae770aeec403457bb842","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48b2c6bd2cf43e509b2138857745b8b3d76b243","datavalue":{"value":{"amount":"+0.7697156071662903","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":"Q6162079$8A76A7D1-AC11-4BD5-9E8A-F540170A0446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540864263bd261a5f88531c7f9b9763d6d26b3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5367044,"id":"Q5367044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08bb4193f6fac988f84e9e2cd6bfd6eca31ca2d","datavalue":{"value":{"amount":"+0.7662019729614258","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":"Q6162079$CA3480ED-4B15-4A28-8165-9F426D4D8373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914789db13fe1a34e9413c7b1e18f6637b60cb11","datavalue":{"value":{"entity-type":"item","numeric-id":5369490,"id":"Q5369490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799229d604c3784c155af9ebb8dfc4b10b672c65","datavalue":{"value":{"amount":"+0.7657100558280945","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":"Q6162079$B834CA4A-1DE3-4EB2-BA33-6CA50E06F14E","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":"Q6162079$CBAD7A27-4ADE-4F7F-805C-C7B014125551","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent Calculi for Orthologic with Strict Implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_Calculi_for_Orthologic_with_Strict_Implication"}}}}}