{"entities":{"Q2946665":{"pageid":2957385,"ns":120,"title":"Item:Q2946665","lastrevid":52347323,"modified":"2026-01-22T10:12:09Z","type":"item","id":"Q2946665","labels":{"en":{"language":"en","value":"The complexity of reasoning for fragments of autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483171"}},"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":"Q2946665$736DF26A-4BE0-43A0-B98C-374675A45609","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbd9de5acf19be5012d6d55994afa52bbe367a20","datavalue":{"value":{"text":"The Complexity of Reasoning for Fragments of Autoepistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946665$55CFBAA7-8334-4908-ACBE-5DEA457C1CDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5997f12263e75bd8745772b0a2234780e82846de","datavalue":{"value":"1352.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$A00C1C50-E060-42C5-9FD4-F41C9520287C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67501a57f102cff87747e999a24e8fa587b66ccd","datavalue":{"value":"10.1145/2159531.2159539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$08B56884-3AA8-489E-8117-7E3C629814E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946665$CF551BC4-2B2A-4B0C-B1CB-12BEC9A2FC31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946665$DDD57DDD-DE3D-46D0-8F51-CD2427837AA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eecf574735377fc365984ad85edd9e371018033a","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2010/2523/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946665$0DDA2268-880D-4F8D-A9B6-FBC735DAFBE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$66A93198-3CF2-4B20-9610-BFDF84205210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$344C8EEA-0332-49B3-ABAF-BD3450514205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce94ba98d0abeed42d1dfec2681988fcbe26f891","datavalue":{"value":"6483171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$B99EB94A-1DED-4A06-991D-8E62CE1BEB60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946665$4506E87A-7699-4054-984E-AEB387CBD2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946665$0D9D96FE-72D0-4423-8097-8C17E38AABFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946665$DEABD3A1-4850-4DF5-9F8C-0136662C79F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946665$0FF2930C-0B7B-4001-905D-549C21E52520","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":"Q2946665$ED98559F-3F39-4C19-9673-05FA4A5FA889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c1d3b5a4b97847d6f5be7a22d0e297f8f2fcd6f","datavalue":{"value":"W2404324099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$0CBCC634-0B74-4E9F-8894-DC79312AA6EF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff90fe84e2b3f7182b920fd9538cc4a9eabe13fc","datavalue":{"value":"Q57998305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$3071D556-1E73-4DE6-B8BA-FEAD42E03BD6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2e3d242a48b0297c3dd7bd49f1acc816dc2e812f","datavalue":{"value":"journals/tocl/CreignouMVT12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946665$E9407AA9-4199-4001-88F3-A176CFCCCE68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e0391a6297a571797956f657e6413a3b3d8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4022226,"id":"Q4022226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95861d6a1e6e2918948667e5c55f75814c14eb20","datavalue":{"value":{"amount":"+0.8616577982902527","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":"Q2946665$69FD549E-A49F-45C5-A2B9-DA00EA3DD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7f22852604e0ae2d8adddd43563b80145a7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4d410fe4a303fb67324793f74016f573093b2e","datavalue":{"value":{"amount":"+0.8376514911651611","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":"Q2946665$328A56F8-64AD-476C-83DF-281FE2F2C282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789623959325f74e70fb086616e176ff29dc8255","datavalue":{"value":{"entity-type":"item","numeric-id":1891263,"id":"Q1891263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c94ca0a3746e3b22bd98de8176c31ac0a4e5855","datavalue":{"value":{"amount":"+0.8369113206863403","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":"Q2946665$D25EBD0B-CF14-4996-BC42-77A65B3CAF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0b40f402fbd734a21290c21a16c9081e40f307","datavalue":{"value":{"entity-type":"item","numeric-id":4281696,"id":"Q4281696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fb27ae54ec23495f1383b1d806b21e611d153f","datavalue":{"value":{"amount":"+0.826056718826294","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":"Q2946665$4E7BEA03-16F5-4C52-B38D-C7CCAA4332F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cfbe237b6e69b138eb2b88c7069d63cd009a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4012233,"id":"Q4012233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338a10e68de1ffa38a16147c56ab270694d77b3e","datavalue":{"value":{"amount":"+0.8237822651863098","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":"Q2946665$81EC6DAC-3A10-4EDE-BF55-2C08C6404BB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946665"}}}}}