{"entities":{"Q1819950":{"pageid":1830692,"ns":120,"title":"Item:Q1819950","lastrevid":69402486,"modified":"2026-04-13T06:45:52Z","type":"item","id":"Q1819950","labels":{"en":{"language":"en","value":"Circumscription and implicit definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995088"}},"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":"Q1819950$DF0EF8E5-4676-481E-8114-84D6C899C2FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3641ef96ea3cffc6316d0104889ce61b1339a448","datavalue":{"value":{"text":"Circumscription and implicit definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819950$3F2FEC54-F36A-4DAC-8EB2-77DE4398E9C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1e3e613885a31033aef5a18e81cdc9283e3e85a","datavalue":{"value":"0614.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819950$8F7E0723-29EE-46BD-B3F1-6FFC776B8F1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bf7aef96a7002d1c738e0f64400c7a1db3709e7","datavalue":{"value":"10.1007/BF00244277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819950$3E51C894-DB60-48F8-9673-2820C403FD7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"272096f4303c6b8d76e60ae3b107200c61f5f7ab","datavalue":{"value":{"entity-type":"item","numeric-id":646523,"id":"Q646523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819950$A388663C-3A6C-4B42-9F3D-0B5FC5B33614","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819950$B9744E0B-A906-4298-94C2-ABC14CFCF069","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1819950$B7D2FED0-0D96-4C5A-BD46-A8A89221FCC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1a75ccba2e6322008ada001ffa0c0a425eaf24d","datavalue":{"value":"We explore some connections between the technique of circumscription in artificial intelligence and the notion of implicit definition in mathematical logic. Implicit definition can be taken as the informal intent, but not necessarily the formal result, of circumscription. This raises some questions for logical theory and suggests some implications for artificial intelligence practice. The principal implication is that when circumscription ''works'' its conclusions can be explicitly described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819950$6AA9741E-71B5-44D2-A13E-F61C8FD1A20A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819950$7DB11187-3587-4095-A156-C3AF15E36290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"106fab5b1750aa0b9c805772cd8969114ab262a5","datavalue":{"value":"3995088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819950$E25B389B-04DF-4811-95E3-64C134008642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819950$988CC94B-B56B-464B-A3A6-4B6D5823A84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9238334b26b08eaf888fd7299d6f68235711ea8","datavalue":{"value":"implicit definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819950$CBD5CE60-AFD7-4D52-95AF-11EBFF92EC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a22b6b6d82a4f6c2cbbbe288af9cb0cb642c854","datavalue":{"value":"Beth's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819950$6D93BFE0-FE67-49D9-82E5-E2519556D9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819950$D07D7590-2F69-40D4-95F7-661ADDFE60DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819950$CEC1E46B-3801-493A-8616-C77A7CC69563","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":"Q1819950$386C56FE-4856-472A-A7FC-4F302DFC6431","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f27ed08e793c28a3a7ae7047231b2d787e72d58","datavalue":{"value":"https://doi.org/10.1007/bf00244277","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819950$DDE46A07-52C2-4EB9-889A-2075C287F128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"639de464fcdec1eb4f77d469f1e1678994353386","datavalue":{"value":"W2032362523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819950$448208AC-800F-4406-B88A-2D9128C66041","rank":"normal"}],"P1643":[{"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":"bee0c296244d90efac583bb87bf5b2754803623b","datavalue":{"value":{"amount":"+0.763640284538269","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":"Q1819950$BB4358BD-FEF7-46CA-B2DD-985C501EE83D","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":"bee0c296244d90efac583bb87bf5b2754803623b","datavalue":{"value":{"amount":"+0.763640284538269","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":"Q1819950$160C02A2-ABD0-412B-A2C3-60B8482828C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaf7d5b4da7f31fc4678a7003286fac725c6189","datavalue":{"value":{"entity-type":"item","numeric-id":4275263,"id":"Q4275263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178fde1bb46c0365b91fd5b96df6dbdb58273048","datavalue":{"value":{"amount":"+0.7458051443099976","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":"Q1819950$D42BD6E1-0DC4-4919-8387-C3F42FC87A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa17ea895347c45112592cb8b940bf9594137c4e","datavalue":{"value":{"entity-type":"item","numeric-id":1402721,"id":"Q1402721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178fde1bb46c0365b91fd5b96df6dbdb58273048","datavalue":{"value":{"amount":"+0.7458051443099976","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":"Q1819950$9DB86E21-0D79-444D-B962-AACB899FC98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64dff2632e16831b85f83890260c887e639692ff","datavalue":{"value":{"entity-type":"item","numeric-id":4298366,"id":"Q4298366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1312450181257d7152537083d045aa7ce1a9892f","datavalue":{"value":{"amount":"+0.7196894288063049","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":"Q1819950$698AA8EC-897F-47CB-938E-C76415A3C8D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circumscription and implicit definability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Circumscription_and_implicit_definability"}}}}}