{"entities":{"Q1852853":{"pageid":1863595,"ns":120,"title":"Item:Q1852853","lastrevid":69115656,"modified":"2026-04-13T04:52:31Z","type":"item","id":"Q1852853","labels":{"en":{"language":"en","value":"Coherence in finite argument systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856154"}},"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":"Q1852853$8C54DB74-0E84-44F7-B163-54E775DE1F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1fcf5ba98dff1a70f734da02fd9afe21ebabe31","datavalue":{"value":{"text":"Coherence in finite argument systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1852853$2FAB2B94-A0A4-4177-96C8-EBC025C87E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47522859ddb02452cda29fe2b5ce9107a47f324c","datavalue":{"value":"1043.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1852853$517A6446-442F-419D-A404-A4BCE754ADA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9f30531f1b794441a40a0a7268f88b522d8f2fa","datavalue":{"value":"10.1016/S0004-3702(02)00261-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1852853$63EB7F81-7DB3-4B1A-9402-4B0B2C2FD56E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a266e429b8e23469baa7cd769b303cf70be10d1c","datavalue":{"value":{"entity-type":"item","numeric-id":324698,"id":"Q324698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$B7BA19F9-603D-4306-9CEF-A54F80685BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8d9b33f32965e8dd4ca494ebd5cb1e5444da5","datavalue":{"value":{"entity-type":"item","numeric-id":1028895,"id":"Q1028895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$70F203E6-EB7B-4369-981C-FDBF96BEF374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$5AA941F0-17B4-4805-9695-B34D2BC3B180","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-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":"Q1852853$A327CB56-EFCA-4EEC-B150-CAB26AB2F083","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20ed9899e8366ba5b1d7199d46cfd40b7b99ea72","datavalue":{"value":"Argument Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two important concepts of the acceptability of an argument \\(p\\) in such systems are credulous acceptance to capture the notion that \\(p\\) can be `believed'; and sceptical acceptance capturing the idea that if anything is believed, then \\(p\\) must be. One important aspect affecting the computational complexity of these problems concerns whether the admissibility of an argument is defined with respect to `preferred' or `stable' semantics. One benefit of so-called `coherent' argument systems being that the preferred extensions coincide with stable extensions. In this note we consider complexity-theoretic issues regarding deciding if finitely presented argument systems modelled as directed graphs are coherent. Our main result shows that the related decision problem is \\(\\Pi_{2}^{(p)}\\)-complete and is obtained solely via the graph-theoretic representation of an argument system, thus independent of the specific logic underpinning the reasoning theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1852853$80BB259F-B7A7-430C-ACA9-BF586B1C8AA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1852853$1FA6EEA0-159D-43E8-8EB9-9389C29F60CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1852853$F86AF2BD-D9E9-4F62-898F-808CB67B33AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce9012c93b06b852a905a14014991e64ba8a7dec","datavalue":{"value":"1856154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1852853$BFA81D9E-FA45-4441-98FC-02E99D168D37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21402765db4177c1247048762a34e53b1c22f51e","datavalue":{"value":"Argument Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1852853$7B919362-04D2-47FA-98D9-88AB18D9B8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f44ff9aa4e4cffd7a8be904990387e0fc038fa","datavalue":{"value":"Coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1852853$588CD14C-1E78-4E02-A458-2A81D2D2A4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1aa29737e48bade738434a002c68e646daee8ce","datavalue":{"value":"Credulous reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1852853$C8B32691-C048-49F0-99FC-13FB206F45F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cefc59153ecd24e59392e7184623ed383964d261","datavalue":{"value":"Sceptical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1852853$878F6A40-AC52-4F70-92A7-181FF169662F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1852853$D07D21B9-6898-4A60-9EB9-4AB0C6197B14","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f6ece1d7ed8378b9cc2424b538324c49a8df3aaf","datavalue":{"value":"Q58168648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1852853$CCEE7C7C-CBFE-4D74-BA66-8B805D92236A","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":"Q1852853$8B80B45C-0131-4C63-ADD2-104FB1777A08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da606889c7b781872f7e488fe7ade2dd90bddc9a","datavalue":{"value":{"entity-type":"item","numeric-id":2171265,"id":"Q2171265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$184D1734-0ECD-4086-B6AE-31C90C624F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75687a9d57b90aa44242e7250a4a4120c25bcc68","datavalue":{"value":{"entity-type":"item","numeric-id":1402718,"id":"Q1402718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$F51E5274-F4CD-41C1-9D55-A5189605BAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f0e7cd88e4f53d92a14478df7f0faedba577b8","datavalue":{"value":{"entity-type":"item","numeric-id":4784873,"id":"Q4784873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$B6BE0671-D6A7-46A8-8371-C0C5B96C3004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8280d7bbdafcb11b49d707ee293e4e9f4bf750","datavalue":{"value":{"entity-type":"item","numeric-id":2277494,"id":"Q2277494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$658BFDA4-7DF5-4D2F-B5DE-CFB8B42835FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80e8abc45e12e01678f8f11b7eb8faef6a0480c","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$0A8A858B-B6F3-4045-B1AC-D50F0C7102FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$41ACFC46-DEC6-4EE9-876A-9168E711CCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ce91e080daeae6dec89347477f30c5ca4c6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3994882,"id":"Q3994882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$3EA8B903-94D4-4DB7-9913-22E107166F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab592f3f0422ce79e7ce3ee9c77c0e13abcfecc1","datavalue":{"value":{"entity-type":"item","numeric-id":814510,"id":"Q814510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$AC0005E9-F0CD-4C4A-812F-421D5BB18D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76108dbaf3bea2928959d4b19a970053e8d650a","datavalue":{"value":{"entity-type":"item","numeric-id":4536329,"id":"Q4536329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$20D47AFB-34CC-4315-B1C4-7F4382E79FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3065df023fcb2411980df376c6fc4777f5d291a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241440,"id":"Q1241440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1852853$085033D3-F5E7-4938-9B28-79876FE5CD97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"412f3506d8de47c27bdf93ff4ceaa5a61310dce5","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(02)00261-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1852853$A8AB02CF-EB47-4F48-B138-FFD6FFDBC8E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"390a2ad4d01fa3e4cadea127565bbbcbc1c20355","datavalue":{"value":"W2149567024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1852853$A57B5F06-CAF8-4181-8D40-3C2991B5C321","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519b6ae35b70131a2db8a7fe69ec84748292e8e2","datavalue":{"value":{"entity-type":"item","numeric-id":1028949,"id":"Q1028949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec2b70420ed5f46c1571192435b1fee107e8741","datavalue":{"value":{"amount":"+0.8331440687179565","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":"Q1852853$D82225F9-675D-43F1-99F5-791908BF0800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998ac3ae21414bf7206691b2bf6f36b707271d23","datavalue":{"value":{"entity-type":"item","numeric-id":4444966,"id":"Q4444966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca0177e1488e1024d928234ba2dc6c2c2ae3267","datavalue":{"value":{"amount":"+0.7842640280723572","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":"Q1852853$9D4B9930-18DE-4CAD-9393-922D6A2B77F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac97d2cc5d80202822c191dd6453d8c0d93c3ba","datavalue":{"value":{"entity-type":"item","numeric-id":4583949,"id":"Q4583949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe2ed82024575d76bc060468a7fdc7870450f44","datavalue":{"value":{"amount":"+0.7813056111335754","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":"Q1852853$59CDAC98-C93F-458E-8069-AB889C97E741","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":"f25e0fe24cbc06012423f6c307af01d755470eeb","datavalue":{"value":{"amount":"+0.7709334492683411","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":"Q1852853$A950E238-9DE0-42DD-B77F-225A1F70FD3D","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":"2b8bf16ba772594cc9fca1dec4416b2e28db1123","datavalue":{"value":{"amount":"+0.7661590576171875","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":"Q1852853$96BB41F7-7349-4BF3-A731-65FD57451AFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence in finite argument systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_in_finite_argument_systems."}}}}}