{"entities":{"Q3192208":{"pageid":3202916,"ns":120,"title":"Item:Q3192208","lastrevid":52096655,"modified":"2026-01-20T22:35:07Z","type":"item","id":"Q3192208","labels":{"en":{"language":"en","value":"The complexity of theorem proving in circumscription and minimal entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348254"}},"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":"Q3192208$9DF81B48-2CCB-43C2-A470-6C9C06A90298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b0322b3b93208b2777a2f376fe1b115899aede4","datavalue":{"value":{"text":"The Complexity of Theorem Proving in Circumscription and Minimal Entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192208$CAD63C39-B4C3-4741-9801-985810554B54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dbc4f7ffd9471f3c0fbd7d6ec7d8352eae5cffd","datavalue":{"value":"1425.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$5A798805-E145-46CC-8AC3-E5E6ED61A2EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7154f90d75dfb90dcc9b831780ee14df48dd485","datavalue":{"value":"10.1007/978-3-319-08587-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$76CC09AD-764C-4951-91B3-A32A2FD3F4EF","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":"Q3192208$E2A33E64-2C3D-4B5E-920C-436EB224EDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192208$86F5826A-0429-4E43-B8AE-AA4EDB12DC73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192208$C6B1BEC6-CB9D-4338-A652-8CF87A64F292","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192208$CEF96BFD-5F8E-4238-8341-8CAA0E161BE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e112d49ad56b2cac2196fd251707482cb7d15cf2","datavalue":{"value":"http://eprints.whiterose.ac.uk/80489/1/circumscription-CIRC-final-version.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192208$04D14DCB-A78B-4885-9E1E-4670E827688E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$FE929200-3EC7-4F8D-80DF-C45886C5DC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$95014D9F-999F-4D8B-B48D-E05E6175FBE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbab3787fb51a6eeb0bb125e637d19ba3d41434b","datavalue":{"value":"6348254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$C6E7FA78-B5C1-4684-BEE6-924A425E597E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"15b5ff8b279f6122c51d42babdc772448d796325","datavalue":{"value":"Q59900280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$34715596-26DE-4411-8040-D4B5719B79AF","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":"Q3192208$A6E2668B-0D37-4CE6-9BD0-5EF21730ADE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dac7678e907e8fc07dba79452df6dd0b62239559","datavalue":{"value":"W1598129020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$6EB5B262-5509-4A37-B0D7-088D5F425BB9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3e929a0cfed69bad1f5c49c3023d417df06af4b9","datavalue":{"value":"conf/cade/BeyersdorffC14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192208$BD6BF371-FB9F-4AAD-A9AE-F1C7C9401095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7e756f0e4d30e0e0cfecdaa9b60924197ed55b","datavalue":{"value":{"entity-type":"item","numeric-id":3838809,"id":"Q3838809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8479501db4ac7f6707efef51462a6499e3cc9fcf","datavalue":{"value":{"amount":"+0.8382622003555298","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":"Q3192208$844CFD7B-BAA5-468B-AD5C-8236F7B43300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973cbc9e42ec91838cc8091badb1697ce4ac0db1","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8479501db4ac7f6707efef51462a6499e3cc9fcf","datavalue":{"value":{"amount":"+0.8382622003555298","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":"Q3192208$90F7A516-3F9B-4417-8B6E-171D55278A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24639935b1fc18141c101f4b933403324bce254","datavalue":{"value":{"entity-type":"item","numeric-id":3830546,"id":"Q3830546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33b6cee750f22f012a8a63a11f51721f9b458ed","datavalue":{"value":{"amount":"+0.7953721880912781","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":"Q3192208$55DE5854-D0F6-49FB-8C9C-822304360457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9897f8a0e400c32fb37bf092b74fe2ed8283a866","datavalue":{"value":{"entity-type":"item","numeric-id":4596622,"id":"Q4596622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142106827f7caadd46792d726a8d844cdc69ecc8","datavalue":{"value":{"amount":"+0.7909076809883118","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":"Q3192208$DD6905CE-17EF-426E-8C2C-9A871A37EC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf392cc66de9668701540ab6fc6d3c9197b2134","datavalue":{"value":{"entity-type":"item","numeric-id":5705928,"id":"Q5705928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79f29062bc31b5c6da3f98cd263446659992e7b","datavalue":{"value":{"amount":"+0.7851342558860779","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":"Q3192208$DB0960FE-0C7E-40E8-98A2-BEBA3A890C9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192208"}}}}}