{"entities":{"Q1079022":{"pageid":1089774,"ns":120,"title":"Item:Q1079022","lastrevid":69592191,"modified":"2026-04-13T08:03:43Z","type":"item","id":"Q1079022","labels":{"en":{"language":"en","value":"Closed-world databases and circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961014"}},"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":"Q1079022$532E3557-00EC-4679-B217-7252CD439E72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d51793e62d2a49cf829e03a39223b475079c4667","datavalue":{"value":{"text":"Closed-world databases and circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079022$200FF41F-C843-40F9-83BF-2E8B397DE29D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7925d3d7e79f73d0c0dd93e0757d1e13f35b5973","datavalue":{"value":"0596.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$7E6DFEBA-1F29-4754-8F4B-060A4C93FC04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c8fc4c6fcfdd61b0cb9717ad8f8c7d57a8e0b55","datavalue":{"value":"10.1016/0004-3702(85)90055-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$1C140B62-9968-4C25-A041-3F35CFB24A30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079022$A19F502C-72DC-4A8B-939D-2F2E3698AFEA","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":"Q1079022$0F3170D3-2913-49DE-943C-3339EBC1F314","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":"Q1079022$63CA9071-B9EA-49BB-B0B6-5B10DD5A9CE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5879cc9791c504d6baa9455f5ce5d2944fbace1b","datavalue":{"value":"There is a similarity between the closed-world assumption and circumscribing predicate symbols in the sense of predicate ''minimization''. The purpose of the paper is to investigate under what conditions the closed-world assumption and the result of circumscribing all predicates are equivalent. Closed-world assumption is shown to be equivalent to a special case of circumscription. Reasons are given why circumscription is a substantially more powerful form of non-monotonic reasoning.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079022$7C49DE86-0CDF-48E7-861D-EC19616AECF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$CD2BB191-FBED-4D5E-9065-14B312A6B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$125F0EA4-53E2-4743-98F1-A9636103638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$24B20D1B-CED5-4393-B2D4-3C49B0EA1617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61d23244090e70e5eb652bea217705d7bc2a6cfc","datavalue":{"value":"3961014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$EECAC363-9903-44DF-AA9C-BC954C4E1482","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47b7fdc03cdd045c4f9dee14a8322d1876314bf","datavalue":{"value":"closed-world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079022$AACC1129-E813-46A9-84CE-76554AB08566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079022$C360FE3A-8B71-4220-85C8-8ECD352D6883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079022$EAD7DD73-3310-4743-AA7D-9E77B92ACFD2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d5c97a7bf46b787ad66756698dabb15c1d624776","datavalue":{"value":"Q29035663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$27428A47-7B68-4251-AA52-72FC643D7517","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":"Q1079022$CB3F10A1-07B2-4FC1-AF9F-39C5EA69787B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a7ecec782fce8166b305b1de992eb5f791f9ba6","datavalue":{"value":"https://doi.org/10.1016/0004-3702(85)90055-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079022$012F7F00-4EEC-4212-8774-271A823FB374","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7376a58986c6886cbbfc12915b06318017dd3e2","datavalue":{"value":"W2000141049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$5AEC2500-D325-4F71-B5F5-A915ADCDE285","rank":"normal"}],"P223":[{"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":"Q1079022$9629BE02-414B-4D67-A535-C1C9D411EEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d93ec1cd5b8623c5d3bac3d4170e4adde14235","datavalue":{"value":{"entity-type":"item","numeric-id":1819950,"id":"Q1819950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079022$2CD97BB0-AE3C-4F5C-B286-D81518F62499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079022$6D9242CD-B51F-49ED-AD58-756ACD9AF1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9f774642fa457c274822192824fe4288fd527c","datavalue":{"value":{"entity-type":"item","numeric-id":3883571,"id":"Q3883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079022$F4C827B4-3FB3-47DD-94C3-6FA1950127FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079022$216021AF-D39F-46A7-896F-59EF23668516","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4910775cba56f0f6549001ed932d9c9ab227fdb6","datavalue":{"value":"journals/ai/Lifschitz85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079022$7128BBF8-B093-48DB-B9D5-98B84326FAEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0e5fab22f1af68b9cd81ea1012df7a1e121a72","datavalue":{"value":{"entity-type":"item","numeric-id":4295825,"id":"Q4295825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d38dd2d032b238ee6b59672f2e8bce2e9ffdf4","datavalue":{"value":{"amount":"+0.8934676647186279","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":"Q1079022$B79F9F79-EE88-4D38-BC54-3F8537387439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542ddfc4951374b1f1381e0f0d68c0d8210b30c","datavalue":{"value":{"entity-type":"item","numeric-id":1391128,"id":"Q1391128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d38dd2d032b238ee6b59672f2e8bce2e9ffdf4","datavalue":{"value":{"amount":"+0.8934676647186279","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":"Q1079022$E768011D-080A-4805-9AC3-461D05AB1A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2199658794db55e2d1aae133ebfb8c9ede8aed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7f67d01bdf1f42ca4ab8f075caa7717b551b43","datavalue":{"value":{"amount":"+0.8345896601676941","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":"Q1079022$8A9B34FE-4B29-4684-8B5D-A7C4731791B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ac9ade6842447ec85b7510c0a9d3b485c74574","datavalue":{"value":{"entity-type":"item","numeric-id":1329160,"id":"Q1329160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39be397f542e782fcc86a60a9d9a29de1e088398","datavalue":{"value":{"amount":"+0.8341033458709717","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":"Q1079022$5639ECDD-7C81-4B48-B5A5-DBE847836EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f1977458cef3e57b516857bdc6986bdc9eecba","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aead7b22778050b76a4c5bc2227ea122f2c49156","datavalue":{"value":{"amount":"+0.8301069736480713","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":"Q1079022$30D18792-4B3F-4DFE-92E8-9F646CCEC144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closed-world databases and circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Closed-world_databases_and_circumscription"}}}}}