{"entities":{"Q579240":{"pageid":581007,"ns":120,"title":"Item:Q579240","lastrevid":62922885,"modified":"2026-04-11T09:00:42Z","type":"item","id":"Q579240","labels":{"en":{"language":"en","value":"Decidability and definability with circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014687"}},"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":"Q579240$F0A3B4A8-2C35-4556-B2D7-1CCA6E08F7C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"487d9cc0b22f5905ed911b82d98dbcc3689d41d7","datavalue":{"value":{"text":"Decidability and definability with circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579240$9258CEDD-2E05-4000-A5E3-BDAEC996A756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a8f9bed0da1e12cce25e281fd8367ed48cd79dd","datavalue":{"value":"0625.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579240$E9DF73C0-789B-48AC-8BA5-8EA1AFA2EFCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbf34e1d285619b645f976769396e732e01435e6","datavalue":{"value":"10.1016/0168-0072(87)90062-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579240$1CD9FFAB-690B-4905-BD63-39702E2CD786","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$5EDA6F42-78A8-4DAF-BEA6-06205A49CAD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$E087692F-85C9-48C3-8D11-E45211AFEFC4","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":"Q579240$4D554F74-BA93-4A2A-8E67-805EBB42EF8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03f59e0153a38c3f3c2af3b77216acd108942d9f","datavalue":{"value":"Circumscription was introduced by J. McCarthy to formalise everyday reasoning. Circumscribing the predicate formula F(R) with respect to R one obtains the value of R in a minimal model satisfying F(R). This is described by a second order \\(\\Pi^ 1_ 1\\)-formula. The author shows that this complexity estimate is optimal for countable models. The predicates ``F has a countably infinite minimal model'' and ``G holds in every countably infinite model of F'' are respecitvely \\(\\Sigma^ 1_ 2\\) and \\(\\Pi^ 1_ 2\\) complete. If arbitrary models are allowed, then the expressive power of circumscription is measured by the least ordinal indescribable by a \\(\\Delta^ 1_ 2\\)-formula. So it is more expressive than dynamic logic (which corresponds to the first non-recursive ordinal) and some questions about circumscription are independent of ZFC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$99895256-11E8-46BD-A6E7-6DF364CA2E9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579240$69BB260E-206B-498D-B84F-6802CF80805C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579240$5DAD8DA6-1DA9-4AF0-950F-82ECF8120DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579240$0D5D6BB4-CFA1-4D7B-B5F0-0F4181EA842C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cbbd7d323feeab40691c4a9d736f0146e64213f","datavalue":{"value":"4014687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579240$E52FAE4C-4413-4337-ABF7-1A12A6D5182F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4bdaf465a71a9300d243f1f17166790116c016","datavalue":{"value":"everyday reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$AB8FE619-7B2A-46A2-8ED6-B8318D460B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$500A415A-A0FF-45E4-8AD6-7034FA2EA11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603a9121b6d360c7de8dfa181b7cbda0fd2a43ec","datavalue":{"value":"countable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$48542621-B7DE-46BF-94D7-F34C2979DFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3260690792a5f50e1cd8eaa573053f1d5bbebd28","datavalue":{"value":"infinite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$E9D5C47B-7642-4F50-8B36-C30470CB6BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$9A38E6C2-68FC-4BC6-9733-C70B9C22A8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$CB7826E7-8B49-416D-BACA-B5589E81210E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q579240$34CB464E-EF8F-44B7-A1A4-FEA5C97163A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$BA1905D6-F16E-495B-8CC4-7DBD0DC5DA56","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":"Q579240$6510C478-9AF5-43A0-888B-6E7ACE8E3B8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bd00348947b0c7cbc2ca26c26afbf95bb293a0b","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90062-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q579240$5A1F5479-2BE1-4BCF-B1D3-B470EE3AB888","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e396bda6406cbc5fa77efeeefc4e167e5a94745a","datavalue":{"value":"W2055029276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579240$AAB46CD1-EE96-4FCD-9498-D59CCABE79CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$4016140F-844E-4E6E-9A0E-C1EA76579B46","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":"Q579240$3090FADA-F7D8-4B0A-8F6E-3646A05CA2E2","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":"Q579240$26E64E97-6E6B-4803-A628-CC5A82764D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$473044B1-BDE6-460E-A6B4-119EDDE3BF9A","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":"Q579240$A9E9DE2C-80F8-4286-A3F4-0B8B8090B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$E57849B8-F21B-407B-9868-3AA4ABBF3FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$264145D9-F443-434A-8127-F0FDD1676CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579240$48255698-BB5D-4B5A-BDA0-B5F76BDAC933","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":"Q579240$E375A771-DEF7-4EF8-9D07-3144E75E8BED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe781fa347e1869c5bea1a7d7fc3f523f2f669b","datavalue":{"value":{"amount":"+0.9379344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$69898363-9D69-4ABC-A6F0-81C8FD2FD415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0424235b17dc81ceb32a8489c0853b0b94d97369","datavalue":{"value":{"entity-type":"item","numeric-id":1819950,"id":"Q1819950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d563897259b0bc96c7387a683db36da064f9a5","datavalue":{"value":{"amount":"+0.9270648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$D00B4389-D9DD-4E38-B5FC-832569687566","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":"ed874daed118f07687c09e437692ca4ae26b9d29","datavalue":{"value":{"amount":"+0.92415696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$5F5BB97F-8236-4DCE-A9D2-E389D6518C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700bab287b148debdf93f79f7befe86b2dd5cf45","datavalue":{"value":{"entity-type":"item","numeric-id":4000240,"id":"Q4000240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d58895b5978c34dd74cc84146c5b993282112f6","datavalue":{"value":{"amount":"+0.9145402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$B5582305-9C40-4F59-A6E8-5304E1A0D0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add9799b2399f14cb0474a1e3022da5987eec91d","datavalue":{"value":{"entity-type":"item","numeric-id":5172610,"id":"Q5172610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b05040ad112994e31c6229cf6dc3f6d5da31738","datavalue":{"value":{"amount":"+0.89792234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$2AA79310-7E45-4277-BB6C-63AD615D2B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7b12d0aab5ffac7357795141166d257a753459","datavalue":{"value":{"entity-type":"item","numeric-id":2572942,"id":"Q2572942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ad879079020b09e19f28135dfdc1f20088c2bc","datavalue":{"value":{"amount":"+0.8943619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$34917B8A-12E2-4C21-9180-ED279874FA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee830c2602cae53dc524e7f165b169a576fdf12d","datavalue":{"value":{"entity-type":"item","numeric-id":750418,"id":"Q750418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e545b7be7fc9d6ba9f93b11cbdb17f8e1db41571","datavalue":{"value":{"amount":"+0.893414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$9A2D8CD9-7E46-492F-8EA6-3841656C8E1E","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":"67216e87135bbcadfac69b839b332cc1185a1f94","datavalue":{"value":{"amount":"+0.8924614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$DBF90AD2-98E9-4062-A410-7DBFFB003DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8b06194f76a19f7bb1183dcc0c669300a3060c","datavalue":{"value":{"entity-type":"item","numeric-id":5871535,"id":"Q5871535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3f957eca00fc96567b0aa49121a32e011addf5","datavalue":{"value":{"amount":"+0.89158493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579240$9E678A31-1969-48D0-80C1-CDD4E383B153","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and definability with circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_and_definability_with_circumscription"}}}}}