{"entities":{"Q5216971":{"pageid":7246541,"ns":120,"title":"Item:Q5216971","lastrevid":55374271,"modified":"2026-02-17T14:43:52Z","type":"item","id":"Q5216971","labels":{"en":{"language":"en","value":"PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7171840"}},"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":"Q5216971$A7851B26-C854-47CB-93D0-E7974EB348E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"972bfe6c7d1e7111da2fae957c018cb48f0cd51f","datavalue":{"value":{"text":"PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216971$8D0C1232-2258-4B41-9982-DBB7F25BAE33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08e11d71be967ccca46b66823f726dcaac850093","datavalue":{"value":"10.1017/S1755020318000114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$0B1F1DBB-1033-458F-A043-56CBB833DB1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1331c5ce8dde9d063e1b000b392e3eef6edac1e9","datavalue":{"value":{"entity-type":"item","numeric-id":830378,"id":"Q830378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$EB4C711F-5875-490A-8866-997D481FB283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"919c61ad1744ea5a8d2415f4f917b715c26a4371","datavalue":{"value":{"entity-type":"item","numeric-id":253122,"id":"Q253122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$8F10D39E-27FD-4ADB-B284-78B20900C50B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$81108155-7123-418B-B914-DD5FF6DC6375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24486b0c9c2f4867c6ded703b21ce26ee6b26916","datavalue":{"value":{"time":"+2020-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216971$2BD1FA69-6B98-4453-A4F4-2AFCCEC34A5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$E9839C53-C9A8-46DE-AD67-9C3F2BBACC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$0097AFB5-3DF1-4EA2-A75E-134A93F0FD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$DE4F378D-1390-487E-9DE3-3AA1F0145FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$F2A94E81-BDA0-4F40-90CD-AF0EADADD3AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19575dd0bd2f5b5eda9ea46b1288a0fc69526c7d","datavalue":{"value":"7171840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$CB235DD8-ECA5-4CCC-971A-ED89F846386B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d544fddcf218e1165dbc83fc3ad549262cd99e","datavalue":{"value":"quantified argument calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216971$98E3E9AC-E081-4D10-8763-274755BFDC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216971$A75D2531-1AED-4370-A0AE-2A50B8AB9B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216971$16554811-9BD0-4F74-BA41-E161000802CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216971$F84D0B48-756F-47F2-BB2A-DA6077063350","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":"Q5216971$32AD2366-0BAF-4F54-AEF9-66FF4567ECCB","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":"Q5216971$640B7E07-7DD5-4B15-9819-E43FE1255829","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b28d320f1946e7f3fd48081f2ba560ca397acb","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$AB69865A-3F40-4EFC-A3FC-3258103A9598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2700b6821f9fff85506eaa72b3d5c50258d97173","datavalue":{"value":{"entity-type":"item","numeric-id":1777639,"id":"Q1777639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$AFC1FBEB-77C2-49D9-93EB-670C5E2D18F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39d319bb3bd21d2e88e10a90fc0d6f06743c7f4","datavalue":{"value":{"entity-type":"item","numeric-id":2940869,"id":"Q2940869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$2BED1826-55C6-4105-AC54-4217428F22CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$37CBE6B9-593B-47D3-A40A-889D4D5CB9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$83A2845F-4DB9-4F01-B935-D3B11A78BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f067eeced13646b151c9cc24b679133f1813f8b","datavalue":{"value":{"entity-type":"item","numeric-id":622624,"id":"Q622624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$4633793B-56EA-4917-BC98-6F3A9151305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aaae8474431fe34aa5f87dff0cced3a248d4113","datavalue":{"value":{"entity-type":"item","numeric-id":3997000,"id":"Q3997000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$304D9DE2-1EB0-4295-BD69-1457659F30C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c5f075e7881c95543526317bfa1acad70682b1","datavalue":{"value":{"entity-type":"item","numeric-id":4532198,"id":"Q4532198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$94B552C8-56F7-48D7-AD31-68086163C141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7a7ea992f52f2dd3a397bdfbf4f0149c31fb5a","datavalue":{"value":{"entity-type":"item","numeric-id":3367327,"id":"Q3367327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$6591895B-0D54-41D4-AFA8-7266075A8E5B","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":"Q5216971$5138B245-1E13-4D43-AF8A-92CF04BB5FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216971$91592BE1-F606-4BA0-8F3C-96F4E1259FBA","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":"Q5216971$A33EFCE2-8966-48F4-8B83-8B13A02B57D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"426b0434f4502573354200b7660261ca26546975","datavalue":{"value":"Q127774852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$21C4920A-240D-4540-81F5-0147D6E519A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"544c6815dd150ba26dd99974b00fefac055e6c3c","datavalue":{"value":"https://doi.org/10.1017/s1755020318000114","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216971$C1B7B451-A352-4C26-9E6D-5AF9DFE0A4F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83bf8a9c2a5109350a4b32ff6242348d2c4d3268","datavalue":{"value":"W2950279424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216971$AA1BA6FF-D88E-4546-AB26-B18D90FD4336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623454778c48518adecb8e956c112ad30aa05f8a","datavalue":{"value":{"entity-type":"item","numeric-id":2940869,"id":"Q2940869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ad5f743c71e94595c90b4d63c814122ff4a978","datavalue":{"value":{"amount":"+0.7877866625785828","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":"Q5216971$EC439EF0-BC7F-445C-ACE4-F8D43D5CAEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0832bc9f465a64029b636e7ee6b3596a16eb296e","datavalue":{"value":{"entity-type":"item","numeric-id":5357329,"id":"Q5357329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfeec92c0fac3c9cf976bd328cefc662cda6d615","datavalue":{"value":{"amount":"+0.7555115222930908","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":"Q5216971$A7156ACD-6478-4C98-BA1F-9A5E622CCD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b52001fddbd69d8763a8bfb39b57f6600902687","datavalue":{"value":{"entity-type":"item","numeric-id":5115855,"id":"Q5115855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26f61d9ba47c5f66abe9da3434bc2a2b7a24fab","datavalue":{"value":{"amount":"+0.7526803612709045","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":"Q5216971$F19C8E6F-E4B5-40AF-8414-D03E89B1627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53e2daa1c6fe9ad5bfd3aa5679442475ce321fd","datavalue":{"value":{"entity-type":"item","numeric-id":3320367,"id":"Q3320367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a3d2508cebfaade1451ddb3459e73121c43d89","datavalue":{"value":{"amount":"+0.7153677344322205","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":"Q5216971$147836F4-CB87-4449-AF37-0009F2AD9FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc23e44e1a356be8ada1ddcffaf66d980bb170c","datavalue":{"value":{"entity-type":"item","numeric-id":2672659,"id":"Q2672659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217034f79b6d9309a0cf9ed7d70d9e67c24b2efc","datavalue":{"value":{"amount":"+0.7138929963111877","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":"Q5216971$450A1863-008B-45A2-99C3-33F56C54121D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216971"}}}}}