{"entities":{"Q3553918":{"pageid":5583822,"ns":120,"title":"Item:Q3553918","lastrevid":50960915,"modified":"2026-01-15T22:55:19Z","type":"item","id":"Q3553918","labels":{"en":{"language":"en","value":"The complexity of the warranted formula problem in propositional argumentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5696824"}},"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":"Q3553918$C1820C28-044E-4F66-A262-ECF310B40E3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50f91f302b4a40cf4d284d13f92750c6eeff28e5","datavalue":{"value":{"text":"The Complexity of the Warranted Formula Problem in Propositional Argumentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3553918$8759D431-FB32-491A-ADE3-193F1DB26B0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b455b98ff69bf1567a4233f1856ec02f5f34d24","datavalue":{"value":"1200.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553918$A582A93A-4DCD-4158-AECA-9229C026606A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e232ae85d13ab7f1e0ccfeb9d527ee923e2bb81","datavalue":{"value":{"entity-type":"item","numeric-id":646493,"id":"Q646493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553918$CA4DD4AF-5004-4E3E-BF78-14356F0D8CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553918$534758E1-1987-4D9F-B80D-F87EF51233B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c94577583f3aba69a0209f76777f283262f5429","datavalue":{"value":{"time":"+2010-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3553918$7AA794AE-51B7-465A-BE6A-5BEFC7177FA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2174ecd8453648dad8446f7da110ef2a76f5b292","datavalue":{"value":"https://semanticscholar.org/paper/42b95efa29aa08db80b4418300967a8d5bc61f17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3553918$541B53B5-FA37-4B11-9ED8-A8D825C642CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553918$892FA2C1-0B01-4CF2-83CE-7DC1CC40D48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553918$75AC63F8-8A53-42D5-B2EC-8821CB77CE18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69cf9ee6a16b90998608a35d8411306fd2938b37","datavalue":{"value":"5696824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553918$9E54E407-6E50-4990-8882-0950149814A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553918$814AF2A0-8B4B-42D6-B5ED-4A5376BFB1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553918$ABF529EF-4DEB-407B-8A99-A2C0D8A48CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553918$9B5936DD-49A7-4452-855B-0BE0D185C422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec326c3a7aa85cf6ecf363f9191804301da7f255","datavalue":{"value":"warranted formula problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553918$3C5F372B-F7BC-4ED3-8482-AA9998524AD0","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":"Q3553918$9DD2FB59-B1EB-433E-A7F7-1AAF3FAA1DC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8f2fa46686150f5c0b3d6c75c0662083be361d7","datavalue":{"value":"W2009780046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553918$3CB10772-D181-4E4C-84A1-B801C8C9B40F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c38881a143bcefaf2e9005bb3899c198358f96f","datavalue":{"value":"10.1093/LOGCOM/EXP074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553918$DA9763EF-7814-4666-94D1-0317CC9BE83B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553918$FD06EDC2-551E-4118-85D6-31F097FC221E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9789f01e30191d0c54cecb83bbb0083f9545e500","datavalue":{"value":{"entity-type":"item","numeric-id":2946726,"id":"Q2946726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8886827d9749e2d134cde054bef9b523e5c8c4e3","datavalue":{"value":{"amount":"+0.7808383703231812","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":"Q3553918$89DAB8D8-91DB-407C-8AAE-7F29B177FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a13128daf98dca103dcb1e2b9a1811750cf66c2","datavalue":{"value":{"entity-type":"item","numeric-id":1852857,"id":"Q1852857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0799758fb3f0a45c29d16e62768bda233d9b0aa2","datavalue":{"value":{"amount":"+0.7464131116867065","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":"Q3553918$BF8B872B-7AA6-42EF-BD1A-DC5B99EF33D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0987db3ffa1a6ab311eb02ef5c2d1e2ebf46c128","datavalue":{"value":{"entity-type":"item","numeric-id":1045994,"id":"Q1045994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af700b4efecc464fff9016f278ae38ebe357e54b","datavalue":{"value":{"amount":"+0.7375950217247009","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":"Q3553918$050C49BD-C243-4B4A-8EE4-71F39F57BEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ff6f1267aad74f9acb7a1e466f7b724e682d48","datavalue":{"value":{"entity-type":"item","numeric-id":785236,"id":"Q785236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febd8effc05bd7d0b8150ce6ae2d5688ee36d43e","datavalue":{"value":{"amount":"+0.7362733483314514","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":"Q3553918$9282254D-7801-4BC1-B7E1-3D4CD1753B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37450b9d2af38e503783d20abfdde6722ec5e10","datavalue":{"value":{"entity-type":"item","numeric-id":5145819,"id":"Q5145819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fcc7bc12438035101e4cdb23fe57596d449ae6","datavalue":{"value":{"amount":"+0.7323404550552368","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":"Q3553918$ACA97DB8-DF39-42E5-86A2-3A0852C8DEB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3553918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3553918"}}}}}