{"entities":{"Q1924729":{"pageid":1935471,"ns":120,"title":"Item:Q1924729","lastrevid":82048706,"modified":"2026-05-06T19:58:50Z","type":"item","id":"Q1924729","labels":{"en":{"language":"en","value":"A nondeterministic well-founded semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937235"}},"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":"Q1924729$3B483D40-8735-47BD-B11A-3C8BBD51C369","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cc79bc2ff8508220f61cd812877ce2928f88a33","datavalue":{"value":{"text":"A nondeterministic well-founded semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924729$00A4EB64-1589-4AF1-85B3-F0178BCF70D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebdc5047f7469741a16c8135db8bd88b96dae663","datavalue":{"value":"0868.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924729$22122005-75FA-4FC2-A041-786A4CB1510F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8e0795bed23d70a813bd1e994ba5fae3e4cd351","datavalue":{"value":"10.1007/BF01530893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924729$680BC1AA-AFB2-48FC-88BC-8497633563F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c75853f3f4cfab9c613b8a737b575c3ea9e3ea03","datavalue":{"value":{"entity-type":"item","numeric-id":672049,"id":"Q672049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$CD0B2873-FA0A-488B-BAB7-AAD979596D26","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":"Q1924729$6F63F1F4-35B0-49E1-910A-5518C54EA454","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924729$1A84C671-5069-4C81-8C1C-908D22F08A3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924729$58503941-2157-4823-B009-4CE217285F4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ec7a0a196eaca5d9f124f92a2163522f9f2da51","datavalue":{"value":"937235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924729$8EC7BD01-17D8-4713-8EDE-3CE172633D84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"038e6f74d8bbf74d744776d5e013445841eb8507","datavalue":{"value":"partial stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924729$9ECAF67F-88F0-4179-ACF0-4DABEC32FBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924729$1693C4E3-9204-438B-9A81-59053CFDB4B5","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":"Q1924729$240C8401-D8CC-4355-B116-10C12333C709","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5780023c054b8a66a88927f5cde9f2dcfca794","datavalue":{"value":{"entity-type":"item","numeric-id":2640613,"id":"Q2640613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$A2C45B67-B814-4B56-8C90-88144F2DF0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80e8abc45e12e01678f8f11b7eb8faef6a0480c","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$2129C8D4-AC14-4161-820E-7C61E00499C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84a474d3ade12b60aaa4a04e1bc2b6ae7bcf973","datavalue":{"value":{"entity-type":"item","numeric-id":4028794,"id":"Q4028794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$EE7D6BFC-BD57-452F-A832-C477949BE4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$F3A4DB71-2EBC-4C25-9D9C-9B7D99E9D6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$8C6D1CEB-B234-4E8A-8709-45372763CCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10368cc323e5ed62787e3912961c1f5384475a2f","datavalue":{"value":{"entity-type":"item","numeric-id":4015962,"id":"Q4015962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$9EF8A69B-B072-45B9-A3EC-78A2A9ED44FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$92E90281-F86D-49E2-A652-00AF09035D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$3B9F2147-3196-4645-BF12-EFD4E02B0717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$EE7BB042-C099-4F7F-800C-B2CAFBF86C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc36941673808220ea4205cb67dfb88ba187932","datavalue":{"value":{"entity-type":"item","numeric-id":676419,"id":"Q676419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924729$3120EDF7-456E-461A-8534-E81E825DD47F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f69c2a842ac103e6104d425b4c7e2279c94d97","datavalue":{"value":{"entity-type":"item","numeric-id":671655,"id":"Q671655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa71740558f6e0be33dabcd08c88d3205cc4ef0","datavalue":{"value":{"amount":"+0.92082816","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":"Q1924729$EDE27B33-F905-4503-885B-B922240E5290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b208806c19201d0d983cef3a0946eed1be7897eb","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0bec209821295cb6b2c186d866af6311f3b3fa","datavalue":{"value":{"amount":"+0.9046345","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":"Q1924729$EF0D44E2-7848-4005-97BF-2DE1B4E3B6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d1a9277dfb738fc9db76565150cb370a9a235d","datavalue":{"value":{"entity-type":"item","numeric-id":5448614,"id":"Q5448614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d699e4b6189bd08fc31a89bc84dcd68489c74b07","datavalue":{"value":{"amount":"+0.9008746","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":"Q1924729$FC3C4BAF-94F6-4476-BA4C-716EAE94114A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9dabb4f4503c04239c24c9486b09aec615dd85c","datavalue":{"value":{"entity-type":"item","numeric-id":1759727,"id":"Q1759727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8927e05aaadc698ec05d79b8d6c38087deadebef","datavalue":{"value":{"amount":"+0.8992406","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":"Q1924729$E1AD88A3-9C2A-4832-8078-112EBFE08384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f6037fd9d5678ea779a30d2cfdbbb6385214ce","datavalue":{"value":{"entity-type":"item","numeric-id":6116571,"id":"Q6116571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b026c47dac7e369fd2616b65be5a782ae55948aa","datavalue":{"value":{"amount":"+0.89717317","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":"Q1924729$C0AEF711-5DB8-4C4C-8F59-F211282D8B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad96c66e214cda1bd8e0f37c3ca027ab56ba1a18","datavalue":{"value":{"entity-type":"item","numeric-id":3708776,"id":"Q3708776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ca86fae17ffc7a32bb02f56aeb68bfe37df157","datavalue":{"value":{"amount":"+0.8957202","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":"Q1924729$B3E20DA5-D68A-44B4-A36D-BB0FDBEABC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5bdd3833ae9fbf8457601cfb53ba820a55fe3b","datavalue":{"value":{"entity-type":"item","numeric-id":5028431,"id":"Q5028431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d761620d23e5723061e55677173e850a94fec8","datavalue":{"value":{"amount":"+0.8954019","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":"Q1924729$4C81E4B0-31A9-44B5-9C7E-7DB90E8D1088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f89ae176d732d6fee29c2e267d7757dc151483","datavalue":{"value":{"entity-type":"item","numeric-id":5930853,"id":"Q5930853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d8efd70508b26e9a8b8b236074fc7e148b97bc","datavalue":{"value":{"amount":"+0.89518917","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":"Q1924729$DD07A3D9-C624-431D-A95D-178270852D28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A nondeterministic well-founded semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_nondeterministic_well-founded_semantics"}}}}}