{"entities":{"Q1105394":{"pageid":1116143,"ns":120,"title":"Item:Q1105394","lastrevid":69653724,"modified":"2026-04-13T08:28:40Z","type":"item","id":"Q1105394","labels":{"en":{"language":"en","value":"Autocircumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058915"}},"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":"Q1105394$C4E8A822-1B40-4D2E-B334-9435B6EAB0E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b33642b6c505fe5b7bcfe01067a9d32e9279e286","datavalue":{"value":{"text":"Autocircumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105394$5C13846E-88A8-485F-947E-FB3E9F9272DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4cc90cf9f4b0ebd948a114a6911991b8a7fcc17","datavalue":{"value":"0648.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105394$95DB802B-19F1-47AF-B719-D5368ACD8A24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8dd739e5120b48466228dbbb2b5c316f4b92b71","datavalue":{"value":"10.1016/0004-3702(88)90003-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105394$57B6C595-2A68-47CA-BC0C-902DD7E5EC36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f789e86a649f9baa5ae6b93671f4eac0e182522","datavalue":{"value":{"entity-type":"item","numeric-id":625695,"id":"Q625695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$3DA9E6FD-6DE9-4383-B597-95DCF453F337","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":"Q1105394$0BB2508C-635B-44F2-90B0-AEC8652388CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1105394$CEFC9DE0-17E8-41D7-8032-ACE4612356E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14effca3ab49734cbf9e4c33a5cde86f2205e7a9","datavalue":{"value":"Reasoning can be used to select among various possible interpretations of events. But how are these possibilities determined? We isolate two key technical features of circumscription (consistency and minimization), and use the first as the basis for a reformulation of the circumscription principle in a way related to possibility, self-knowledge, and negative introspection. The second (minimization) then can be separately expressed on its own. Conceptual clarity and a kind of validity are results of this separation, as well as a computational means to determine (sometimes) when a wff is not among a reasoner's conclusions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$FE2060B5-6D54-4610-9E03-A817D47C504D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105394$0DBF6E60-6A53-4102-9A9A-69E465C17B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105394$EAECC1BF-85B5-4906-91D6-1BA91D59B031","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"524c41091ea132019cdf39887dd96022f66d888a","datavalue":{"value":"4058915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105394$1202973E-3F2F-47B6-B525-F5FF567AF42A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a281fa01dcaef94d369d04c0a43183187b95f24","datavalue":{"value":"autocircumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$36432ECA-12F6-4980-A321-E25AB85C4974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$AF87FC08-96AB-4064-91DC-7A0A312F1305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$6DACB8B2-FA61-4315-9FFA-2F5C8AC0E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$4CF6CB5C-B465-4A7B-B3DB-9B5D923F6B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0da3155f914b8e2e8b3354247058473e619aad","datavalue":{"value":"Reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$D8584865-5969-4699-A106-9EF921C275A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$41BC7E0C-10E8-4C1C-AE39-9CA2F4F0C347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105394$2ED03722-9B8E-493F-A2D8-B8AAA99480C7","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":"Q1105394$B9B3F008-B639-4899-B179-7EDEE9F49955","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6b2e8299fab15c66bdc5605eb4ea81edc2232a0","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90003-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105394$29CF77C4-334C-4DDA-9D81-E7D397BB9CC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f1147a63a40626ebf128d6a76d20b44ca8793ff","datavalue":{"value":"W4245825753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105394$97FE14A0-97D5-4749-96B2-BBDCCFECE369","rank":"normal"}],"P223":[{"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":"Q1105394$49D18554-01F6-4395-9224-686A9709A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$F18F2240-93D3-49CF-AAB1-FFF96C4DCDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c999a03128137cbeac2feffe55e854e8d5a76471","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$BDA94D13-713E-4F43-9BAB-6F2D582F5289","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":"Q1105394$22402FCE-835C-4F5A-8CFD-1004A735F558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee48a29aa3f3bb2f3ab70d88d00cb8a5a330562f","datavalue":{"value":{"entity-type":"item","numeric-id":3484810,"id":"Q3484810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$A9C9AC22-F767-48D8-98F9-BDEAD19879D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$E8071BAF-B450-49FE-83C9-60CC4F29BD31","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":"Q1105394$2A072F0C-5E69-42BA-9F5C-E17B319F73A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$7C5592A0-75E6-44AD-8E4C-2BDBADA21094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$467A389C-61CC-4016-8523-E1013622B450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78488e9dcdebf97567efac78bacc8ee212f84a64","datavalue":{"value":{"entity-type":"item","numeric-id":578934,"id":"Q578934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$7F4B2C22-4F58-49EA-B3DF-6464DB29519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff9cc29d1e2598e2f44a2c297a79d89e62eb612","datavalue":{"value":{"entity-type":"item","numeric-id":1068068,"id":"Q1068068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$5B1E601B-5FB9-4CFC-A62E-2B018689539A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305724de8395be25a090bed2774b412a7bb6ad54","datavalue":{"value":{"entity-type":"item","numeric-id":1101099,"id":"Q1101099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$E8FBB7B4-F129-48B1-A347-0D7DF6DA28F2","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":"Q1105394$6C963464-8FB6-415A-B9C5-28E8A2290400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$8A328B1F-06A6-46BE-92AB-3E30F12ED023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530763f24ade42b5d586c147ffc49ea72ae179cb","datavalue":{"value":{"entity-type":"item","numeric-id":5805110,"id":"Q5805110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$FBE3DA83-4242-4AE1-9C74-2AEF2357B373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f71d0fff9a40cb5675b89cffca6b7471bb54dd","datavalue":{"value":{"entity-type":"item","numeric-id":1384000,"id":"Q1384000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105394$563D41FA-F2B5-4F49-88A5-B5CDE4FB53D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454113aa989a0548b2a715352cf556fb85e228ee","datavalue":{"value":{"entity-type":"item","numeric-id":3486550,"id":"Q3486550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b867081f1f1f5fa44d5bbdb069dd4a0c5248edc","datavalue":{"value":{"amount":"+0.7938041090965271","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":"Q1105394$9E4E16A9-EB11-45F8-B7E1-F3C23D9D3EA9","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":"fbfe5fcd06bb7f58315385fef5760b608de9ed70","datavalue":{"value":{"amount":"+0.7828802466392517","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":"Q1105394$0A1B4EBE-7B60-43BE-BE78-09068860AA69","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":"fbfe5fcd06bb7f58315385fef5760b608de9ed70","datavalue":{"value":{"amount":"+0.7828802466392517","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":"Q1105394$AD815DD7-FE5C-4662-8B6E-CF1E0A4580A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9592a72ac2b165ba1ce86973f8be9425b6b99e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1274695,"id":"Q1274695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cf272ca6cad602d45f3d814ae8cdb763efa17f","datavalue":{"value":{"amount":"+0.7780521512031555","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":"Q1105394$2CD42690-B4B2-4C8D-9745-D61F1A4731F2","rank":"normal"},{"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":"a6aa315ec088ccfdc13d61f8db566085c3a8f189","datavalue":{"value":{"amount":"+0.776185154914856","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":"Q1105394$3223E512-27DF-4D45-B00B-6CF970BEA1A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Autocircumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Autocircumscription"}}}}}