{"entities":{"Q4995622":{"pageid":7025199,"ns":120,"title":"Item:Q4995622","lastrevid":98272562,"modified":"2026-06-05T17:06:06Z","type":"item","id":"Q4995622","labels":{"en":{"language":"en","value":"Structural proof theory for first-order weak Kleene logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7363455"}},"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":"Q4995622$3199CFBE-F5F9-4B05-A9DA-4CCCE94A40D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62ae663a5ad4509cf596b34518a8a9101fcca302","datavalue":{"value":{"text":"Structural proof theory for first-order weak Kleene logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4995622$F6759741-A4E2-4F8A-8AD9-8A9F01703DCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2d2010120054f669df19ee4e262b78369a2c90b","datavalue":{"value":"1486.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995622$E9728F93-BB57-44F9-B2FA-F033453CC070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ba8e590cc69f33fa408171cab600e9a3876ada3","datavalue":{"value":"10.1080/11663081.2020.1782593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995622$A1BD700E-BFB9-433B-9205-5E1F99B8ECE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6d7202a795b5638cab7f961b9f9135faccef26","datavalue":{"value":{"entity-type":"item","numeric-id":263085,"id":"Q263085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$4515C204-E9CA-43AF-8F34-EC7E43508231","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$CC6F38E5-E909-4934-AFE1-BAC2087090D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f808cd8ede5cddae3cd8b5e13616f018d09899f8","datavalue":{"value":{"time":"+2021-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995622$53E4CF15-5E7B-44DD-9722-617195CECE97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995622$517B654B-0FE9-4365-A235-EF74E52B33BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995622$EFDED915-0C5B-46CC-8B95-973F331432A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4151d06918909b26013d7d8d6c7c97e7b9bd4c2a","datavalue":{"value":"7363455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995622$382F6011-5740-48F1-914E-3DD98F952425","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995622$67A9268D-B8E0-4664-ABD0-16831F179259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08177e3017f0c21bf39c59ec191cd0a2184bb224","datavalue":{"value":"weak Kleene quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995622$62ADBF90-55CD-4B8A-A575-F61BC5B02CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995622$A67401ED-A010-4BA8-9134-B52B4D61BCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995622$DF90E45C-0723-499C-B2F1-3C8426E07347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995622$B80A5575-C48C-4FED-BC60-754CF0CE2380","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$4A3F4EFA-1A61-409B-BE29-C38EFAAF2D85","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":"Q4995622$87B9EAB8-EF4A-4E4D-B6B4-998C37ED72F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d173d2c1bafda0a88fa8a48aefbd8c174ddbc7e","datavalue":{"value":"https://doi.org/10.1080/11663081.2020.1782593","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995622$3A36729C-66AE-46C0-ADAB-A0467D979DB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe7da0e2a860d08c9377d7a2988f1883303c68de","datavalue":{"value":"W3037637577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995622$50AD0844-9039-47A5-89B2-5FDD67B21F6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859974629692e7f7ae9e880660fa35ccbfe1205","datavalue":{"value":{"entity-type":"item","numeric-id":2966524,"id":"Q2966524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$6EA7E46C-E58F-43BA-B007-8B7ABE047D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$FD71F519-751C-4867-B4AA-1FA5AB8ECF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd3dff7e24d0223e2329d2dde0a22f2406c8b2a","datavalue":{"value":{"entity-type":"item","numeric-id":5742697,"id":"Q5742697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$12BB13F5-5D5F-4268-8F96-DA37FA23ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$6654A08E-757A-4BF1-BFEF-1BCE8F77A560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360b4354e5666aa2a68d5d79fb4846c4917af615","datavalue":{"value":{"entity-type":"item","numeric-id":4992398,"id":"Q4992398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$FE16C7B6-8C2A-4594-92F4-ADE607A7CB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09054b0491227122ce1e8c606077728d2b34864f","datavalue":{"value":{"entity-type":"item","numeric-id":519853,"id":"Q519853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$9FB4AACC-1B3A-4528-86C6-AEC70C06E12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b7f6f2e2fe2aebc1115831a48d63a496a8675f","datavalue":{"value":{"entity-type":"item","numeric-id":667921,"id":"Q667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$E7DC4C18-F9A5-43EB-8AD4-36F8EE747327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0912b7ec91e5d214929641f6ac0f52e571375894","datavalue":{"value":{"entity-type":"item","numeric-id":4532200,"id":"Q4532200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$EF02E9A6-378D-4FA0-BA14-EE1C29FF1316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$8ABEDA9E-B535-473A-ADB6-B1EDC2FFB56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38532a6d4f3832a09d3349beb179da525fca6368","datavalue":{"value":{"entity-type":"item","numeric-id":3378183,"id":"Q3378183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$EFFDB6E2-5DC3-4924-922B-44C47B8E7425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e7de1b1e873dc27e11a4c7bdd05d3f3ddf8eb","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$97E08EE2-68EF-4565-8148-1E10868410E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582343444dd17fd7659b4a58cb490f4b8be727ad","datavalue":{"value":{"entity-type":"item","numeric-id":5215506,"id":"Q5215506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$AE1137BF-58BE-42B3-890C-B46F50E0B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391494fb166ee662c227e7a07c48725fd20bad41","datavalue":{"value":{"entity-type":"item","numeric-id":2529601,"id":"Q2529601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$D78F6779-17FD-4218-81BF-60E1C5336E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$00172025-3957-4061-B508-6AA400787CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361e0f23746829e48ff0ff918b87727856cdb536","datavalue":{"value":{"entity-type":"item","numeric-id":5928308,"id":"Q5928308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995622$C1BF1C6E-F9C0-4A16-8ED3-A34AA8CFA399","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa84b864ee39cc2bc45db23f602924147948719","datavalue":{"value":{"entity-type":"item","numeric-id":2193974,"id":"Q2193974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e99a5ee87401554128f8ef522587b3cbf3a0f4","datavalue":{"value":{"amount":"+0.7780987620353699","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":"Q4995622$BED0FBEF-3EB8-4673-A8FC-ED6D023BE84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9578832abd01ecbee5350967fd99d3d2278182b0","datavalue":{"value":{"amount":"+0.7738406658172607","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":"Q4995622$623DC73D-DF26-47C0-9EE6-CCB485F6FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e33eef5bbeed58e0b7ae9eda9c38310035eb7c","datavalue":{"value":{"entity-type":"item","numeric-id":5742697,"id":"Q5742697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0c51856f34cb93c20f7111e1524cda11b7fab8","datavalue":{"value":{"amount":"+0.7445954084396362","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":"Q4995622$C48361C8-462F-4023-BC0B-6B7DCCD7DCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5179163c08a214e80029dc628819449a2b1261","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b7ecd921cf72fd84f948cf58e1dac0af77b20f","datavalue":{"value":{"amount":"+0.7380834817886353","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":"Q4995622$95745C35-F659-4FFA-A05D-AE7DC7977F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b5295b4efb674fe04181a7f5bef434e4c2fd51","datavalue":{"value":{"entity-type":"item","numeric-id":4302346,"id":"Q4302346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57adbe17a1dc20f5b899f09fb4d8b023445c2085","datavalue":{"value":{"amount":"+0.7375971674919128","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":"Q4995622$851BE9D9-9829-4AB4-B707-9A7286E38DE4","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":"Q4995622$79BFBF91-4D8B-401E-87BD-AAC8884C23E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural proof theory for first-order weak Kleene logics","badges":[]}}}}}