{"entities":{"Q4930765":{"pageid":6960347,"ns":120,"title":"Item:Q4930765","lastrevid":58370430,"modified":"2026-04-04T22:27:15Z","type":"item","id":"Q4930765","labels":{"en":{"language":"en","value":"Counterexample guided abstraction refinement algorithm for propositional circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794792"}},"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":"Q4930765$E29677FF-F168-4C5D-84CE-50E1CC791EEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c35e16295b3d9e5e8106ab8691a4fa15b1eefa03","datavalue":{"value":{"text":"Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930765$4DEFBB09-54F0-4DB7-989A-E48D9CEAB9E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d081bdae11c11e610c7d2a00715942543c71d8c","datavalue":{"value":"1306.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930765$634D2C78-03C9-44D7-92AF-8C66541F7E17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4448968783076e3bdd2799432707fc75c15fe741","datavalue":{"value":"10.1007/978-3-642-15675-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930765$1A9ABEE3-86D0-48F3-B8E5-85D0396674CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930765$396E9777-5569-48EB-AEFD-8E47AE3F0AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad285152a322692380fe5b3a8d3a729355b6564","datavalue":{"value":{"entity-type":"item","numeric-id":2151233,"id":"Q2151233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930765$D3688FA9-2DD4-4339-B8D0-07303FF1460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930765$C88D3975-5B2E-478A-ADB0-7ECAE6D6743E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930765$86CAAEFA-CE7B-4F74-AF83-340B3D9D2B66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930765$2DD82112-A55D-4BDD-9E3E-DED44DD406F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3708c55ac41a6998e98c033254452db9a4b86b7","datavalue":{"value":"https://arxiv.org/abs/1006.5896","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930765$5D288C86-DB1F-45C6-81D2-932B0127A91F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930765$0ED1EA57-0B9D-455A-A77F-3E36C179903F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ec19bc458993f8c9cfb607dc3395d86e9e927cf","datavalue":{"value":"5794792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930765$87B7BDF2-4C42-44AA-A226-728F84E6C64D","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":"Q4930765$B7071856-D9A7-49FA-A7DA-50F2ECE7B2A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff295c8383cbd84c14613e2792c0c5973254cb77","datavalue":{"value":"W1649706165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930765$1F928B64-FB8B-487E-98AA-8111123BEEA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3691cf8a59b7ceb1acd16b3e9217886b8d730749","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca873f876d384bbf52474c3476c0aeea253971d","datavalue":{"value":{"amount":"+0.8269533514976501","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":"Q4930765$8EE14D74-2D74-462F-A3DE-3D8EFB8825ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ac9ade6842447ec85b7510c0a9d3b485c74574","datavalue":{"value":{"entity-type":"item","numeric-id":1329160,"id":"Q1329160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6ec3f7ea9f0b1fb8a255ae62a651aba9d7c5b9","datavalue":{"value":{"amount":"+0.7819786667823792","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":"Q4930765$FFE59F77-426C-4298-9DA5-D7C4D76F2C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f1977458cef3e57b516857bdc6986bdc9eecba","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80171c6531890d48c5439e26b6f3edabd9269051","datavalue":{"value":{"amount":"+0.7769051790237427","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":"Q4930765$7D6AD78E-0497-4C2E-BC50-9BC086B93F57","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":"0d41facf06e3e9b70ad0291d8123727583c408f8","datavalue":{"value":{"amount":"+0.7737177610397339","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":"Q4930765$9D1701EE-72BC-4708-978B-3CE89B867EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac855d380c2bcb853db6a4d8816fb13fb937e48","datavalue":{"value":{"entity-type":"item","numeric-id":5268432,"id":"Q5268432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fac985b71cb447dc2a61a0712c6e04ca3ef47b1","datavalue":{"value":{"amount":"+0.768335223197937","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":"Q4930765$AF9CA35A-C41E-4555-9593-9F31B38867C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930765"}}}}}