{"entities":{"Q3808067":{"pageid":5837973,"ns":120,"title":"Item:Q3808067","lastrevid":88811123,"modified":"2026-06-04T15:32:07Z","type":"item","id":"Q3808067","labels":{"en":{"language":"en","value":"Circumscription within monotonic inferences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4077170"}},"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":"Q3808067$9EFF4CBC-B246-4606-B83E-4ECC36FBE31C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fbf203dd5307b35957ede2e95548517792bd458","datavalue":{"value":{"text":"Circumscription within monotonic inferences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3808067$2ECD6417-4B8C-496F-BF95-79E9B4DFA7F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46a079d6008c8bb06ab811f61d450319a6d9a35e","datavalue":{"value":"0659.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$C7E55728-555D-4469-8FC2-BEAFDD5A793D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26aa38091bf4c42ae41b232c51134390bb351498","datavalue":{"value":"10.2307/2274579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$A615B70E-984B-4DCA-B432-4C2C5312B0C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3808067$57FA1FF6-5881-466E-8900-BD936763A195","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":"Q3808067$E732F318-74BB-4A0C-8563-33B94B357930","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$83038FE4-8F3E-47C9-8D27-E17D34D2ABDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$514BE9C1-A35A-464A-8EE8-453CA68A6CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$DD240D42-AA2A-48DE-97CD-E62B0E692101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$0F0EA611-3D90-4947-A58C-F27219B0EF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$D823F6FE-D29D-404E-A3DF-EF361F757EF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dbc22e30f61f9329114171f60c9bb7663ebb596","datavalue":{"value":"4077170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$420EAA3F-3F3C-42F1-B569-A5DC0B03BEFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4693d266f30d922ca1f1b52f39bbb303de968f","datavalue":{"value":"second order formalization of McCarthy circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q3808067$B36AEFD5-2706-4A6E-BD56-4AEAAAA060D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3808067$A9475DCC-E7FC-4926-A4E5-512681420FBB","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":"Q3808067$9DBD462D-965F-43C7-862C-FE174FDC84D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"136382fedf249604f6b972e03eb9e76a60114425","datavalue":{"value":"https://doi.org/10.2307/2274579","type":"string"},"datatype":"url"},"type":"statement","id":"Q3808067$8BD82C36-CE58-4DA8-BCBA-9B1377D7DC7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e26adc69b1fe508de9e6aa0b1bd47e1e0f9bcc5","datavalue":{"value":"W2057080064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3808067$1B9D61BC-5866-4BD1-B2E9-EFBE26CD2A74","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":"Q3808067$DD3F8716-4845-40F4-97FB-90F85B9FC6A5","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":"Q3808067$1D92D0B8-57C7-4A05-B53B-15BFF11A1CD1","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":"Q3808067$7270A8A6-298E-437A-BCF0-09CC3845BF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3808067$0FEC66E6-BAAE-459C-846A-4B447784CA54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2386cb4992907915d98e5e1a4642383fe4e3c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":3768427,"id":"Q3768427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4d13a76b1cd7ef980bfd182583fa26ce4c483d","datavalue":{"value":{"amount":"+0.8258155584335327","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":"Q3808067$BCAC8BA9-C65E-43B0-98DD-48017CF99236","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":"09b5163c67d2c978ed18ce5d36a92ac72010f966","datavalue":{"value":{"amount":"+0.816754937171936","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":"Q3808067$8E42C9DD-0BC5-4893-A390-2E6F23EAFC77","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":"498618e2e24e0479209dffda2e0061af22e34b77","datavalue":{"value":{"amount":"+0.8160212635993958","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":"Q3808067$CB864495-4BF4-4558-B2D9-11B2A48AF6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670ad0dfdb86a6127695195eb829ab7de8fa6dc4","datavalue":{"value":{"entity-type":"item","numeric-id":3484810,"id":"Q3484810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9130e485d12eee3ba84069d3b2de50486a4356","datavalue":{"value":{"amount":"+0.8145394325256348","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":"Q3808067$58E90ABB-B5B8-408D-810B-FCE9C557609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7e756f0e4d30e0e0cfecdaa9b60924197ed55b","datavalue":{"value":{"entity-type":"item","numeric-id":3838809,"id":"Q3838809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535e27900fa97377ed029b2533dcda084c2393a1","datavalue":{"value":{"amount":"+0.8070009350776672","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":"Q3808067$35282937-14CB-496F-B13A-31FFFDCD52F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circumscription within monotonic inferences","badges":[]}}}}}