{"entities":{"Q1117211":{"pageid":1127960,"ns":120,"title":"Item:Q1117211","lastrevid":66163920,"modified":"2026-04-12T07:58:33Z","type":"item","id":"Q1117211","labels":{"en":{"language":"en","value":"Results on translating defaults to circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4091469"}},"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":"Q1117211$7E527AA5-61A5-421F-96E1-29DE9D2E28A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d9a3810321ea9cd8b4e7763ad17735ae4860eb7","datavalue":{"value":{"text":"Results on translating defaults to circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117211$60E1D128-94E4-4269-B006-D71FB91002F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e560f38c5f8fc75e4e853c5bddc659a9291a4efd","datavalue":{"value":"0667.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117211$2C75B598-C4C8-496C-B7BC-F3E38460CC3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9b62f2a307e0d929afc6173dbf7752edc60f1b6","datavalue":{"value":"10.1016/0004-3702(87)90064-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117211$65764E75-0A4D-4A30-B057-4FF16DF5CEC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fd335f2b168f9fe7a7db9110a999119f84f9d8c","datavalue":{"value":{"entity-type":"item","numeric-id":676429,"id":"Q676429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117211$44D08BA2-C0CF-4FE4-B10F-BB14416FF9DF","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":"Q1117211$4DFA1BB2-406B-49BC-84CB-CEEB173F5CD8","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":"Q1117211$1631D880-1CF3-48C4-B731-F7F82C77CF14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98502f14099dc4186e28f96243dd852ca04505df","datavalue":{"value":"In this paper we define different concepts of translating a set of defaults into circumscription. The most important of these, modular translation, requires that additive changes of specific facts (not defaults) of default theory translate to additive changes of the simple abnormality theory (corresponding to circumscription). We show that, surprinsingly enough, an important class of defaults, normal defaults with prerequisites, does not have such a modular translation into circumscription (abnormality theory). We also establish the classes of defaults which are translatable into circumscription.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117211$5963280A-3973-44C4-A09F-FBE9499FBBC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117211$9B72222B-7D83-4FA2-8ADF-94ACFAE2E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117211$BF0F9A26-B601-47AB-9E21-06CF6F98DC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117211$42C37EF2-54F3-475F-ADA1-04CDBE61B5D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da977cbe18be67ade29029a438052e4b2ba5553","datavalue":{"value":"4091469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117211$97B8BC78-844F-4B42-B136-9ED3939BEE12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35a8b54e5877befcba4e760ae7370eeddea0281a","datavalue":{"value":"translation of defaults into circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117211$3A761CDA-63A5-4E75-99A8-A7BC21784917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117211$E8FCB15F-6C1F-457E-B6F2-7C75AC30B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e5b195c416b6adefcf1320f280ae8e3f87f32","datavalue":{"value":"abnormality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117211$1634FF1B-2677-49A9-A65E-F6DE22BC0F66","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":"Q1117211$0D187107-F250-4B3B-B5B8-0BDE75B2D72C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf8be86af490c2e00da865dbe85e04e973719be8","datavalue":{"value":"https://doi.org/10.1016/0004-3702(87)90064-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1117211$8EBC7C35-7AC9-4A68-8DDF-2D0B0217E33C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"812be0cd6eb6d9538e0f9958e9daafad80ccb21b","datavalue":{"value":"W1982644464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117211$6E713BA8-CB6D-4F27-8975-37AE803FC51C","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":"Q1117211$80E9FEFF-E799-4528-8BFE-DD7D539B17C8","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":"Q1117211$78F8F940-9600-4A27-A058-96721D4B5F43","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":"Q1117211$E6B3B4BD-18CF-401E-A44A-868C0B07DC0B","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":"Q1117211$21A2B9B4-92AD-448E-876E-22F387683BDA","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":"Q1117211$5104E7A5-CC93-4A54-B14A-3C2A6D0E191B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a1d46ab450a12cd5b71ad898bcf1303f9fc2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3773851,"id":"Q3773851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba9cfe95506bbc5d3df06c556153ab0eb9d9645","datavalue":{"value":{"amount":"+0.8211638927459717","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":"Q1117211$65968C90-9A07-4435-B82B-6D4B76728754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed9066309dfc43bc594ddc7c76478b45139ad97","datavalue":{"value":{"entity-type":"item","numeric-id":4008397,"id":"Q4008397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9d5b0a055dfd7bd228d4299c60c3100a611a37","datavalue":{"value":{"amount":"+0.8114379048347473","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":"Q1117211$766714F8-FD4C-4D6F-B6D0-47A5336DE2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3fdca033ff942114bbb3290b94e47c10d1be889","datavalue":{"value":{"entity-type":"item","numeric-id":4369881,"id":"Q4369881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9d5b0a055dfd7bd228d4299c60c3100a611a37","datavalue":{"value":{"amount":"+0.8114379048347473","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":"Q1117211$566EAE8F-FB0C-4F9A-9D35-0E24B2827BDD","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":"3ad5a893e1fa75431883c739b8fb976ac07d28d4","datavalue":{"value":{"amount":"+0.7892231345176697","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":"Q1117211$4CAF2FBE-8AB5-428E-880B-02F5B5D1D2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9948c3503c9da882b49ecb07e4b9f0628281e3","datavalue":{"value":{"entity-type":"item","numeric-id":3374095,"id":"Q3374095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd3c43a071816577a6b1c33f130a877217a8412","datavalue":{"value":{"amount":"+0.7888344526290894","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":"Q1117211$D2FEF2E0-1F62-415C-AF78-DECB2B896356","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Results on translating defaults to circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Results_on_translating_defaults_to_circumscription"}}}}}