{"entities":{"Q1389245":{"pageid":1399985,"ns":120,"title":"Item:Q1389245","lastrevid":67327389,"modified":"2026-04-12T16:53:11Z","type":"item","id":"Q1389245","labels":{"en":{"language":"en","value":"Nonmonotonic rule systems with recursive sets of restraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1164650"}},"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":"Q1389245$EB9DB155-3777-4AF6-9E0F-A3D72B271BAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15924379a2fbffc34a1884d70a5b3cdc0b9b0d56","datavalue":{"value":{"text":"Nonmonotonic rule systems with recursive sets of restraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389245$79B82C74-371D-42BC-AE21-22719270623D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bde8aeef15d9f53cbada9546c353c22108cf161b","datavalue":{"value":"0938.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389245$B4905644-AE99-4CAF-BC33-E40435634CCE","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":"Q1389245$A05E6B07-7855-41DA-80A6-A4586A50BE21","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":"Q1389245$861350B1-6AC5-4FEB-BF1E-5EFDB3B4908D","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":"Q1389245$B4485840-9097-4BD1-BEEE-02F296E0327E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389245$DD3B49CE-5A3C-4648-97D5-54501254C5A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe66a28cad835273ea4119156e456cbd684380d","datavalue":{"value":{"time":"+2000-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389245$4C57A00D-1F6A-49BB-A783-A157827EE010","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d97215874eee6371b2052911fbe28f078a7e1f89","datavalue":{"value":"Nonmonotonic rule systems are introduced to capture the common features of several nonmonotonic logics as, e.g., auto-epistemic logic, default logic and general logic programs. A nonmonotonic rule system is a pair \\((U,N)\\) where \\(U\\) is a set and \\(N\\) is a collection of rules. Each rule \\(r \\in N \\) consists of a set of premises (\\( \\subseteq U\\)), a set of restraints (\\(\\subseteq U\\)) and a conclusion \\( c \\in U\\). If the set of restraints is empty, we have an ordinary monotonic (Tarskian) rule system. Otherwise, the system is called nonmonotonic and the restraints are used to control the application of the rules in the following sense: Given a set \\(S \\subseteq U\\), a rule \\(r\\) can be applied if all its premises can be derived, but in addition, none of the restraints occur in \\(S\\). A derivation from an initial set \\(I\\) conforming to this principle is called an \\(S\\)-proof from \\(I\\). If \\(S\\) equals the set of \\(S\\)-provable elements, then \\(S\\) is called an extension of \\((U,N)\\). The paper concentrates on recursion-theoretic characterizations of the family \\({\\mathcal E}((U,N))\\) of extensions of a nonmonotonic rule system \\((U,N)\\), especially for so-called extended recursive nonmonotonic rule systems, where the sets of restraints can be infinite, but recursive subsets of \\(U\\), and there is a uniform enumeration of codes for the rules \\(r \\in N\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389245$A4943C95-7150-46A7-BB9B-CA0C37782C81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389245$6A716A75-CB94-46ED-A156-92FE3170094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389245$B376162E-FD4F-43D7-9B37-BA237A16F6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389245$C9CB08D1-B5CA-4E8D-A5C8-4FFBB95B8343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"665501476934c232fadc5c45770b67cd3cf133cd","datavalue":{"value":"1164650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389245$579D4D9C-A210-4027-A96E-6BC6B7AF1A2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90324c22da18d9d250ca15b286adc413833612b0","datavalue":{"value":"nonmonotonic rule systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389245$50F9607B-BC15-4B23-8990-2D190A7B1989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389245$5D1EF770-0D48-418F-97C0-1DCDD6C97200","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22d20eceb312e30c725f44ffe52ae38696760214","datavalue":{"value":{"entity-type":"item","numeric-id":361804,"id":"Q361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389245$91537A14-2258-440B-A949-0FB96CB82679","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":"Q1389245$7D675F86-4635-41CF-8347-9C1566BD3CFF","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":"f97080cf8e6f898a132cd961282764aceb166cec","datavalue":{"value":{"amount":"+0.8957907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1389245$7B781464-0ACB-40EB-9A39-BEE267E60477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2157a93edb93fca048044b613bc9e5a6fc981fa","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff39c3eddd0d78ec584ae44d79d027aae7f04b6b","datavalue":{"value":{"amount":"+0.87706506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1389245$B49625E2-CE8E-4090-81B0-5231E104E281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b73c49ed6e133f50d98abd492053f348ecdc79","datavalue":{"value":{"entity-type":"item","numeric-id":673384,"id":"Q673384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7aa072cd96bf2dd1d2390014a210af4f6cb412","datavalue":{"value":{"amount":"+0.8768747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1389245$4C07D257-3CEB-420C-8251-610F2339A284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a71ef9bd56cde692f8c6a4435868db2ecb78b42","datavalue":{"value":{"entity-type":"item","numeric-id":4329006,"id":"Q4329006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a315a6506ab55495a82c8d88aa5d96dbba366b","datavalue":{"value":{"amount":"+0.84492433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1389245$B4DF2E6B-C37B-4C4B-BAA9-AEC9D8A69C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154f2e6d5e365c598d1154e02364c477bd9fbbdc","datavalue":{"value":{"entity-type":"item","numeric-id":4216774,"id":"Q4216774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56a886cd3912839fc60762599fa2ab7fd10e94c","datavalue":{"value":{"amount":"+0.8395441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1389245$463CA182-E572-4E5F-96C6-AE350175A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e118c078c8d6f11f8d77587fa72e558e29126b46","datavalue":{"value":{"entity-type":"item","numeric-id":4739568,"id":"Q4739568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f4f0f6b068f0fb12fcc37371cb53b66c31d978","datavalue":{"value":{"amount":"+0.8356004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1389245$EB4E5BE4-0CDA-4F4E-8271-F41AF6E5FCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84837260f6ac8ab76ba8ff04face93b6fe0c9f63","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0daff689a3e5ec9daaed997710196b91da401ae6","datavalue":{"value":{"amount":"+0.83464956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1389245$C2EAA28A-CBD8-49A4-A11C-7C1A0680162E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonmonotonic rule systems with recursive sets of restraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonmonotonic_rule_systems_with_recursive_sets_of_restraints"}}}}}