{"entities":{"Q685339":{"pageid":687188,"ns":120,"title":"Item:Q685339","lastrevid":47188723,"modified":"2025-12-31T23:08:57Z","type":"item","id":"Q685339","labels":{"en":{"language":"en","value":"Circumscription: Completeness reviewed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417259"}},"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":"Q685339$7AF1781F-8C86-48E4-9EF9-CADB99802FFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54de06227afd2b20f5650321ec53c13fe8d24943","datavalue":{"value":{"text":"Circumscription: Completeness reviewed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685339$4F363ED4-F511-489D-B4F3-9EE34AF92791","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e3af79a9720fb8538b3e59b8393cb79f0ec6d01","datavalue":{"value":"0781.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685339$94BE756C-128D-41D2-AF7D-D23DD1E3E66F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad32856bef55ce9fedafe2bf56eac9e4b7465232","datavalue":{"value":"10.1016/0004-3702(93)90005-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685339$D3862877-0576-4BDF-AD0C-B3CE03D97A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76f62efdfb4b7aa843a29c4fe4a58869c83ba4cd","datavalue":{"value":{"entity-type":"item","numeric-id":222255,"id":"Q222255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$F43D33B6-3FD3-4B06-8F41-07D24BBC579E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$AE567FFF-57A3-4253-9DCA-29D8F2EB9F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-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":"Q685339$751131DB-4E4D-4030-BA60-AF4C8789B685","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"229bcc2bb1f9d2cb97d1d177cec06c7166e55bb3","datavalue":{"value":"The author gives a counterexample to the minimality result of \\textit{D. Perlis} and \\textit{J. Minker} [Completeness results for circumscription, Artif. Intell. 28, 29-42 (1986; Zbl 0589.03021)] but shows that the result still holds if it is restricted to well-founded theories in the sense that every nonminimal model contains a minimal model and if the notion of circumscription is strengthened. He also investigates the relationship between minimality and reducibility of model theories in circumscription.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685339$A8AE9441-5006-47FD-8CF2-D6382BEB4E60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685339$863D5A0B-AF8B-4522-84E9-5209798ABE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685339$26F44C30-79B8-4CB1-B816-CBAF3B5E1F99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d24a362f3a5f197bd6e7b520de7cc0a81631de8","datavalue":{"value":"417259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685339$24B46EDC-BF20-4C04-A63B-89B144E22BA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a3bfd0e7b5ca4ae9551690b88f77f01d27ffff5","datavalue":{"value":"minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q685339$1E4B1868-5282-42F8-9A42-D11DF8BFE5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q685339$E85C8C17-9511-4273-A06C-2DAEB9883B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q685339$1138FA68-B373-482F-8056-E235D9F0FB29","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0bc1ba0153f6b56c7993aa16e6cc67921cafc2a4","datavalue":{"value":{"entity-type":"item","numeric-id":590887,"id":"Q590887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$621464BD-F8B3-4284-AB9C-181073F5F81F","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":"Q685339$40AF97C3-4DA8-45B2-89EB-D6CD7F31BA3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee21c9107ee4afe5ff335e3999b55e4f41a5a6ef","datavalue":{"value":{"entity-type":"item","numeric-id":4692931,"id":"Q4692931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$3F16E107-85F9-4BD4-95D8-8F0AA88140DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec95e0cc5f6be9ceb84b4471952fde3499dc8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1140442,"id":"Q1140442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$28BF6E01-8223-4759-812D-9C7D31EFBC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7061ded0f616d34cf4897b9a8127afc728c7ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1073786,"id":"Q1073786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$92388094-8E19-4037-B31B-5114F92B634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$CA7701AB-2337-4880-9F68-0B05829BF50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ceb6f2ee6c4a15c84c23ef053c3e6da49e2f02","datavalue":{"value":{"entity-type":"item","numeric-id":1073787,"id":"Q1073787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$CCC0E952-2290-4E2A-8E9B-AABBF8863825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ef92b14d4ce0850dabc5604f499bf5c5e82285","datavalue":{"value":{"entity-type":"item","numeric-id":1115424,"id":"Q1115424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685339$FBF0D321-F32F-4B10-9729-E058CA03C0EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ba3e6ef5d7a9d8043e202581868d5f00eccb6ae","datavalue":{"value":"https://doi.org/10.1016/0004-3702(93)90005-v","type":"string"},"datatype":"url"},"type":"statement","id":"Q685339$D6D2C219-B764-4771-8A11-111EE033AC43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60ec63f01786ebc3bcdd2fd8ec61838a15105661","datavalue":{"value":"W1586773105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685339$FDDD8C00-2D2C-4F15-93FA-7C4CACDCE91C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c8052d035c8e4728bae6a6352f5c139bf48fcd","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a9393504f7cfa3ea23a87dd4c2a166014001dc","datavalue":{"value":{"amount":"+0.8190527558326721","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":"Q685339$EA93BDEA-AB91-462D-8DE2-25872A9604C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e7f499263ce451c875feffae640731951547e7","datavalue":{"value":{"entity-type":"item","numeric-id":1193477,"id":"Q1193477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884b47ac111032235b95d794693cf587b08f495f","datavalue":{"value":{"amount":"+0.8079060316085815","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":"Q685339$05405943-8DF5-4674-A804-6638DCE75C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b68b32e204531b31e589d64c579ea912385bb","datavalue":{"value":{"entity-type":"item","numeric-id":4012238,"id":"Q4012238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62878509799fce80ba5f2267ff6bc4b1e2558168","datavalue":{"value":{"amount":"+0.807237446308136","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":"Q685339$9D6D596F-5DD4-4BC7-9012-FB8FECC8BD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3234deec24218a713dfb1f6b75ec8fce252df9","datavalue":{"value":{"entity-type":"item","numeric-id":578934,"id":"Q578934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b92b82238edad52cf01786b2e9bfcddc49dea19","datavalue":{"value":{"amount":"+0.8043514490127563","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":"Q685339$D8CCE273-322B-4A1A-8B49-3DEE52FB9D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d7356fa328ff416f9a821b42a22942a60a5e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1098651,"id":"Q1098651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7757a62a7520c2b4135fc0ce79d001d2cddcb01b","datavalue":{"value":{"amount":"+0.7988051772117615","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":"Q685339$1749B951-C116-4135-B811-A9F4E67E2B38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685339"}}}}}