{"entities":{"Q5223206":{"pageid":7252776,"ns":120,"title":"Item:Q5223206","lastrevid":53479010,"modified":"2026-01-25T00:49:40Z","type":"item","id":"Q5223206","labels":{"en":{"language":"en","value":"Argumentation reasoning via circumscription with \\textsc{pyglaf}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7081386"}},"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":"Q5223206$42DC8F8C-CE9A-4EA5-BB37-24559CB01680","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cccdb25bd29c4091e45cc062ae50a700a38f0ae3","datavalue":{"value":{"text":"Argumentation Reasoning via Circumscription with Pyglaf","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5223206$1AD91CAE-14BD-40EF-BFB4-C9FA9A2A3E59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f71a43153cc79e1eeecb43b2243a0c5f441b2f9d","datavalue":{"value":"1415.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223206$385175F3-E77C-4C92-973F-20442652A494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f0b70eb0a55e972a2b5f904748c67e418a88207","datavalue":{"value":"10.3233/FI-2019-1808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223206$77F1EBF1-E8D3-4375-A806-8D20C60212F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223206$816771C1-F112-4D37-9B4B-F0B071BFAC12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223206$B37830ED-733E-47F6-AEED-C912886F086C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76f7bc0f8da2050027b9f28cd54ad13e090567ab","datavalue":{"value":{"time":"+2019-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5223206$90C33770-0200-400D-AAA3-8D5E0841CE44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223206$00E8183A-D9D3-41EC-AD31-5F1F6C740F71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ecab6748fda336df7b4823c0edb30734ac934f4","datavalue":{"value":"7081386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223206$09D3EE2F-4FB4-45DC-8AF3-60B1254EB40B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c04a106152a4d7ee93207aad482b2b82078fd89","datavalue":{"value":"abstract argumentation frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223206$563E5094-C937-4C48-BCBB-12851F5F3C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6fc542a7d167f86bacb8012834d35a372778519","datavalue":{"value":"propositional circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223206$2A6922AA-A32E-41B5-BF88-C6D9CFC2463C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1862fbc3620bfc10b99e680998256a364574d16c","datavalue":{"value":"minimal model enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223206$464C6E12-F4CB-4CDD-A9AC-9DE2C712DF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0e832a5bde61949515b8772264d6296609056f","datavalue":{"value":"incremental solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223206$29BBF7CC-32C5-40DE-877A-24BDB7F931B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6853ec9de3a6a2c73a78c1ac572b711aecb67fa5","datavalue":{"value":{"entity-type":"item","numeric-id":44779,"id":"Q44779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223206$CC2BC1F5-D544-477C-8DA2-08A477AF259B","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":"Q5223206$7B7AEBBC-17C0-4BAB-B1AD-9EF8D75DE905","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6750818c1049714b817f93ffdc3b4bc8ce5d94c","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1808","type":"string"},"datatype":"url"},"type":"statement","id":"Q5223206$363293EA-0B7B-4259-AC75-7FA2ED4D8057","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52ec47d034a7e5e8f68ef6e63271d7f0e14db0b8","datavalue":{"value":"W2948092625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223206$AF3472C7-66E1-4D34-8BA2-22A9D3F39973","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"405aa9a365eb7ac207aa727e8a3ca9797de7b7b0","datavalue":{"value":"Q127756053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223206$89DBADE9-3418-4B4D-9DCA-DA9D1B383517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58387bcbf80bd1775194bbb1264953a92b687d20","datavalue":{"value":{"entity-type":"item","numeric-id":2248522,"id":"Q2248522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbc96fe0f3c8be3c8d4ed21a8e9da467041c648","datavalue":{"value":{"amount":"+0.7836519479751587","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":"Q5223206$9B2D21DE-F6B9-400D-BAD2-8CA20B535C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d135601bdb786f4f5922f8bac71e87049d38a57","datavalue":{"value":{"entity-type":"item","numeric-id":4576226,"id":"Q4576226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02f8cf68a12e6a2e431384d2109e090cc091a3f","datavalue":{"value":{"amount":"+0.7662037014961243","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":"Q5223206$53AF36DB-0E95-464F-BD07-9E3C53CE43BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bfaa6617ad8b6444c747951c28d9d30986f057","datavalue":{"value":{"entity-type":"item","numeric-id":490451,"id":"Q490451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f2f15f57e52bafcacacc083e2aadab40a695bf","datavalue":{"value":{"amount":"+0.765326976776123","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":"Q5223206$91AB0D92-433C-4D34-B750-F7EEC5CB5080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a5f270d636b710fa0e0062be54c9a4394da783","datavalue":{"value":{"entity-type":"item","numeric-id":4583317,"id":"Q4583317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82780375e81b707b97c315a1181c402a8801a5e4","datavalue":{"value":{"amount":"+0.7624571919441223","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":"Q5223206$5D31DB24-7A07-471B-9180-BA6573751C8B","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":"40f080af394b1aadc38db071bdc5cd3964b7840d","datavalue":{"value":{"amount":"+0.7613463997840881","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":"Q5223206$5F3B357F-8618-4193-8DBE-55D2856BEDAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5223206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5223206"}}}}}