{"entities":{"Q1354038":{"pageid":1364777,"ns":120,"title":"Item:Q1354038","lastrevid":46737231,"modified":"2025-12-25T12:10:22Z","type":"item","id":"Q1354038","labels":{"en":{"language":"en","value":"A theory of nonmonotonic rule systems. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005844"}},"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":"Q1354038$501CCC7D-1637-4F66-AF3B-BE121B6AE25C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63e9173a2cfa49f192a05734bb02e0cbad6c1c3b","datavalue":{"value":{"text":"A theory of nonmonotonic rule systems. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1354038$C78814BD-A75D-46F8-9205-8854E30AFCB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2375de54ca1a42eaab1f18100bf5a6dcb56e3bb3","datavalue":{"value":"0865.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354038$F140CF15-23FA-4E76-AE55-55A6EA8E6D87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea6c962ccbf748a17bd6147113f84c65b86e4bea","datavalue":{"value":"10.1007/BF01543477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354038$50E82A6E-9630-4082-848B-66D54EE2D4E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$D5122B20-B388-45A4-B2F5-7C11FBC8143A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1354038$D1490F84-1C90-44B3-AF66-5EE5A1840BF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33e0728df930d713ed872566887ed74ff051234d","datavalue":{"value":"Nonmonotonic logics have become an extensive research area in computer science. Among such logics are Default Logic, Logic Programming with Negation as Failure, Autoepistemic Logic, and Truth Maintenance Systems. The class of nonmonotonic rule systems was introduced in Part I [the authors, 5th Ann. IEEE Symp. Logic in Comput. Sci., Philadelphia 1990, 79-94 (1990)]. Nonmonotonic rule systems provide an arena which brings out the common structure of these logics. They provide common syntax, semantics, algorithms and metatheorems for these subjects, and show that they are of equal generality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354038$59DE3F3E-A363-465C-9D53-2431CEC2428D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354038$41C794CF-06F2-4A17-A656-9D148CBA63B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354038$CB2A47D8-0454-431B-A6C6-E0323FBC7DEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a022ab248316420f8447af3f2eaa47ed414436d0","datavalue":{"value":"1005844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354038$3FBB2F36-CDC8-48C9-ACAF-9864F152DCC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354038$B2DDFB20-EFEE-4DDA-B702-15E2671C2740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90324c22da18d9d250ca15b286adc413833612b0","datavalue":{"value":"nonmonotonic rule systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354038$2421EC7D-479E-4FBB-839E-8FEE0DFDD76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354038$575024E5-111F-49EC-BA32-F405D04AA4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354038$409671D1-FCE0-4A52-828B-F6BDFC663BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354038$DDD6FD6D-212F-4D26-8081-D520E3E82C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7332f296cd78b11340569dd32d567bf0e2f936","datavalue":{"value":"metatheorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354038$39891DC8-1E60-4314-988E-A992E9376EC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$B54D36A0-601C-48C0-B32A-7F8E739B30B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$4828CD4F-A9A6-4F01-BD9C-DC2363E8C643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$A4065BD1-275C-48AC-A37C-4EAAA227BB3E","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":"Q1354038$C0A26F6B-684A-45F2-9C4B-B33B331EE5B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11ef0dda58449f200712db088b699d62dbc7885","datavalue":{"value":{"entity-type":"item","numeric-id":3477998,"id":"Q3477998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$14329B64-C702-44F3-97CF-2545C3DC57C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$59DE11BE-97C0-43C3-A6A6-98771A754186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d470e6c08c7d2bc40187c19447d3686ec0e28865","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$A6502B01-5134-45CB-9591-CB7D96BEC41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf67e5c77bdefcc878c1a3ad7fdf95f68a51bea3","datavalue":{"value":{"entity-type":"item","numeric-id":2534881,"id":"Q2534881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$43EF6AA1-CFF8-4D34-A392-E5D975F8C028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$33A6E0BB-0A22-4AEF-8762-4C45DBF3B2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$B26DE423-E41D-41E1-97D6-1EC3700DD5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0682f1635aec93c2234093490373e739c3b48f65","datavalue":{"value":{"entity-type":"item","numeric-id":5663873,"id":"Q5663873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$A6EC9906-7CBA-4EE7-A940-2EBA8AC2F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff329274d40bcc90d45b9589ebb6dd8805d9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$CDE865A7-04FC-472A-AB74-964036C8E163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2485593fa6a43c384d21c41a4d7e3bef4c2db5","datavalue":{"value":{"entity-type":"item","numeric-id":1192346,"id":"Q1192346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$DD2978AB-9631-4CAE-BE94-4F722BFC526C","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":"Q1354038$DAEB2B4E-4814-4C23-A5CF-09388886BEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9321880f1dfdb035cee3083a5a2351e5a052be78","datavalue":{"value":{"entity-type":"item","numeric-id":579241,"id":"Q579241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$58D4E381-7322-4B0D-A2C5-8736471F5D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354038$ED4A426A-6B25-484E-82DE-F8BE8261B475","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78479b46c21fdeaa54ab94c445c0ad2c809802aa","datavalue":{"value":"https://doi.org/10.1007/bf01543477","type":"string"},"datatype":"url"},"type":"statement","id":"Q1354038$79863D5A-B974-4BC4-B894-E3A8CEB1253F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a97550c7b3703acb46c0cdc47453f5b927787377","datavalue":{"value":"W4238881545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354038$15769772-EA77-41F9-B348-84FE4BE56E6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5803efa67fa2b7ae216e286b8e96c250a6bb08","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a32a95a596ff3c17fef4a2568644831e34092b0","datavalue":{"value":{"amount":"+0.9082451462745668","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":"Q1354038$E195061C-F936-43C0-B7C7-C728CEAA85E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efa8a4477ca5c7a5307c26e22f53dd279fc197e","datavalue":{"value":{"entity-type":"item","numeric-id":4275255,"id":"Q4275255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20506514a2d1c202272530141b9b189827210650","datavalue":{"value":{"amount":"+0.8443509340286255","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":"Q1354038$AE2112B1-F438-44E5-91F4-02BE8EA2F076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186cb9edc8b92e41d61874f3cf43c4083de506c8","datavalue":{"value":{"entity-type":"item","numeric-id":1389245,"id":"Q1389245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f91d0c0a73fc9e619b462675b2f550f90b66cc","datavalue":{"value":{"amount":"+0.8332027196884155","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":"Q1354038$0A6E0E74-279D-4A7A-80C6-56BD6CCE3851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6246f64c1d8babd4fe6c3f44a7dd4139cc40d6","datavalue":{"value":{"entity-type":"item","numeric-id":3138702,"id":"Q3138702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3590ab9dac2cce83ba37afa0babe2f0fa09f7b87","datavalue":{"value":{"amount":"+0.8328669667243958","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":"Q1354038$EBE19D71-455A-45A2-84AB-A20FF006216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21514e0eecec04c6d325fec746689f5195ead682","datavalue":{"value":{"entity-type":"item","numeric-id":3842564,"id":"Q3842564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d30f9e41b201ab5ffc141182aa2c1758a68041","datavalue":{"value":{"amount":"+0.8320366740226746","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":"Q1354038$C6F87A61-6DC6-4FC4-BA99-7AEB1C408FFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1354038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1354038"}}}}}