{"entities":{"Q5326476":{"pageid":7356050,"ns":120,"title":"Item:Q5326476","lastrevid":51791606,"modified":"2026-01-20T01:39:36Z","type":"item","id":"Q5326476","labels":{"en":{"language":"en","value":"The complexity of theorem proving in autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195208"}},"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":"Q5326476$9B1BDEAE-B6BE-4B87-AB38-C894AEA2C87F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"932309f0746f3479afb1f2f8acca6a9fcf727e5e","datavalue":{"value":{"text":"The Complexity of Theorem Proving in Autoepistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326476$F6849475-8180-45EC-BCD2-3CD745D14B72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6955c00ccc0ac9f5ef7a2d63ac64bd4e0a27d2c7","datavalue":{"value":"1390.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$12CADAE2-D1AD-4111-BC10-D477F097A68D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09b67ee1f8f49c6d973e53e231a25037b1bc5278","datavalue":{"value":"10.1007/978-3-642-39071-5_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$2F4A8FE4-42A3-4CC4-84A4-B54DE7CBBF73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326476$DC3378B2-9EDE-489F-8A8C-7B75421276E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326476$C1ECBEE2-0525-419E-AA42-553CC255960D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326476$3C2B27EE-9C2D-440F-A00E-FACB038D481D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"746fb9f94636522f56052a24f6df50ac63a49882","datavalue":{"value":"http://eprints.whiterose.ac.uk/79313/1/autoepistemic.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326476$90E4F994-63A8-4691-A6A0-3866A0B432FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$8E2F68F8-AB2A-4949-9250-4F24FC3153EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$676178BB-2F34-40F8-A304-9D94F632DB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$FEF9AD74-0E7D-4852-9B01-BC67FAC49D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$F1C91F5B-DF40-48F0-931F-CFE47D796D2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8667ad712f5dda9b276b10a3ea0130efa2612304","datavalue":{"value":"6195208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$0823931F-B429-45D4-B553-1A7D8C01A9CC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b3446424ad7bd189354d20226ab2d2d982db4ee2","datavalue":{"value":"Q59901837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$F3052CB2-136A-458A-93C0-46AC1F073642","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":"Q5326476$CFCA5A35-D0D6-4881-B78D-809E17B5FC5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ae63fd7d31b94c818ea1843548f08ccb1157d25","datavalue":{"value":"W32737931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$7C36D6B4-C0E4-4E6A-B2BF-2110DB9D5237","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"149c4cf1c4d6c89473b21afddcd24149c0705c34","datavalue":{"value":"conf/sat/Beyersdorff13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326476$1A1CD692-88D9-415E-8154-0CD848E78286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58770b831abc2ac95b038ca376cdd6dce9e1543","datavalue":{"value":{"entity-type":"item","numeric-id":4930577,"id":"Q4930577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5556048b2ceb5bdf6f6cb005eaf236dd0b68adc2","datavalue":{"value":{"amount":"+0.8406046032905579","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":"Q5326476$808FE8DA-49EA-45B1-8CB3-0A1BA6E6C6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a7bf0d0f25486e2b487ca15bccabd9d7423916","datavalue":{"value":{"entity-type":"item","numeric-id":647339,"id":"Q647339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6c29de95298e2bd63785b1a12633c0d4ccf842","datavalue":{"value":{"amount":"+0.8388872742652893","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":"Q5326476$B76032FE-DF39-47CE-BCAD-1D20D9E2FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac110c0e50382251469e3d37bbf2fe302dc335e","datavalue":{"value":{"entity-type":"item","numeric-id":4645232,"id":"Q4645232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d4d90d0741fc2aac03579a6354685ca66877e0","datavalue":{"value":{"amount":"+0.82867431640625","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":"Q5326476$2ED820E0-44B3-4D0F-B9CC-86AE9668E15C","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":"a11c4f2f886bd9295bcd7ad9a360b47322499fe1","datavalue":{"value":{"amount":"+0.8264710307121277","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":"Q5326476$322F287F-C6CB-4DBE-8AF8-4123068AA391","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":"0d76baa71fbf2b137baf95676b41d1040e3e6fa2","datavalue":{"value":{"amount":"+0.8249967098236084","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":"Q5326476$F3D82FDB-CE40-4F68-8388-59D430F69E6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326476"}}}}}