{"entities":{"Q578934":{"pageid":580701,"ns":120,"title":"Item:Q578934","lastrevid":62915016,"modified":"2026-04-11T08:58:26Z","type":"item","id":"Q578934","labels":{"en":{"language":"en","value":"A theorem on the consistency of circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014069"}},"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":"Q578934$B628AF49-CFF4-4FE0-8641-57C59C5D18F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8efe7bf4ba28578dd21bebaca3f1d63cf322fe3","datavalue":{"value":{"text":"A theorem on the consistency of circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q578934$1BB53699-6BA9-43DB-9B3D-3201C7AE0B19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db84507535ed9c1ec1d526dc02f7fca95c014a8","datavalue":{"value":"0624.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578934$D0926883-4A4A-426C-A2BB-EC0B4396E26A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b99da33e99ca46de04c76419f0b1836c7306055","datavalue":{"value":"10.1016/0004-3702(87)90082-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578934$7D288832-D530-4A13-9CCC-374FEE7CA55A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da823fcfc058b251bbb61fcdf2dcb14b6c27bd49","datavalue":{"value":{"entity-type":"item","numeric-id":578933,"id":"Q578933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578934$19264A93-39E9-4FC4-9A62-B141D7CDD162","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":"Q578934$FEE2CBDF-24BF-4D9F-BC14-3F48E3F21A67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q578934$7B4CB5E6-79F2-45EF-AA67-7EE4EA9826CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5aa2985d4c7ba28eaf5c3814d2d6e692304f6220","datavalue":{"value":"This paper gives more general conditions under which McCarthy's circumscription is consistent, allowing application of the method outside the domain of universal sentences. It is shown that circumscription as presented here continues to correspond to the semantic model of minimization. Some applications are detailed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q578934$E3DCA0F7-B5D4-442B-B099-1C99BA1EE23C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578934$7F5673FD-2BEF-46CC-889E-CDF01D594B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578934$A6ED0040-1ACA-420F-B089-FD7C524302C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8529a7a8bca3551c68849befff0293e5b77c4e35","datavalue":{"value":"4014069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578934$406B0E89-D1C6-4848-B696-8AD16151B39A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ebd53550bb822f605aa080bf47c54a82c2b0b4","datavalue":{"value":"commonsense reasoning in predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q578934$1B693CE8-3194-4283-B770-093472FAA7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q578934$7CF20C2D-D6B2-45EC-8EB1-BCF63EEA1CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q578934$14BF28E3-2013-495E-9FBC-E67DFAE4D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722317a700476fc6a7ee04dee1f199eb00c68de0","datavalue":{"value":"semantic model of minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q578934$7B5339A6-0F09-4811-AA09-7BDE8E0BA1AC","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":"Q578934$3FF177FF-1A0A-44BE-B62A-196BF2F94405","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fe540f93024df3ac08b41fef8f1aefd967bfade","datavalue":{"value":"https://doi.org/10.1016/0004-3702(87)90082-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q578934$2A20FC00-6474-4C88-AEA7-D094C41FFA5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a75201dda3cdcd23734a92a88a89e8f18ef983c0","datavalue":{"value":"W2075247344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578934$DDCBCBD6-2A94-46B2-909D-C47E1355AE1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578934$602B2DE6-8DF9-42D2-8B7E-26890DA3878E","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":"Q578934$41D5C946-B9CB-48F7-9DC6-9A88DB8A7E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578934$68B8010C-9D53-4E58-873C-D7938B902E9A","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":"Q578934$9C984C78-928E-4D09-96A2-62DA854CA721","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":"Q578934$EF88F86F-6510-4AEA-A460-731864656644","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":"Q578934$B5BEAA8B-1323-4DA7-AE2E-A10CFBF1FDEE","rank":"normal"}],"P1643":[{"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":"f6a40bf59a615e544f2e4bf7e4ba2009ee06ac78","datavalue":{"value":{"amount":"+0.8202724456787109","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":"Q578934$B3081763-9603-4000-884B-13435B7CE871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59aedb7ae9b8cfef748ce97c028dffb28bedbf34","datavalue":{"value":{"entity-type":"item","numeric-id":4306224,"id":"Q4306224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032e265335c806052e6e87b951a84f545503b30e","datavalue":{"value":{"amount":"+0.814077615737915","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":"Q578934$7A92279D-F70C-46B1-920D-2EB57909FFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2386cb4992907915d98e5e1a4642383fe4e3c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":3768427,"id":"Q3768427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a15448d15f96a6df17bb75b218f0728f4f2e45d","datavalue":{"value":{"amount":"+0.8111626505851746","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":"Q578934$520A51AE-6559-443E-8FDD-17643715B820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eeedd38d105cac096d655dcbdc09f69fd73b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":685339,"id":"Q685339"},"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":"Q578934$8C21CBDA-82DE-48A3-AD3D-80EA553B66A9","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":"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":"Q578934$33A2880B-ADA6-4D50-8490-4C9B42951EE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theorem on the consistency of circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theorem_on_the_consistency_of_circumscription"}}}}}