{"entities":{"Q5941206":{"pageid":8118008,"ns":120,"title":"Item:Q5941206","lastrevid":47658583,"modified":"2026-01-02T08:54:01Z","type":"item","id":"Q5941206","labels":{"en":{"language":"en","value":"On the equivalence of the static and disjunctive well-founded semantics and its computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635371"}},"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":"Q5941206$E6636990-95C0-40F5-8633-49754306C771","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"810111972ca5597f0d611cbddadbda0869aee6d9","datavalue":{"value":{"text":"On the equivalence of the static and disjunctive well-founded semantics and its computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941206$4367BA5E-9AC3-466E-A298-97725BE007A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a0b9df79f3f42463fda5f47528c03d73a6a84fe","datavalue":{"value":"0973.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$1BDD2256-8187-41AC-9029-8010D2C6E5FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd2d161fba5984b6b01449fe40f0e64e58c74742","datavalue":{"value":"10.1016/S0304-3975(00)00045-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$F9102531-A762-4033-8642-46D4FAA033E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e0185f479814576fac71b9cc4a09190a9b0ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1382157,"id":"Q1382157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$5023CFC2-69D7-4C6E-A16E-40262F6F9E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e4646ecbebe7cc2a702f0e438111a78808a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":186032,"id":"Q186032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$BE0442BA-3360-4C77-83E0-3AFEE54712C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$FF113F27-298B-4F4D-99FE-4DDE31202712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$101182B5-98E6-4CAE-B1A2-10D32D404E50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$7FCAFE02-CED2-4534-AF38-48E18654C1CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-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":"Q5941206$31C47D13-3317-403B-9BC0-8CE34977EFA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$A26A3398-A3DF-4754-A6BF-D27441E08481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$EA0E97E9-7235-4EC1-A11F-57CAEF5165C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$8767D5D2-4B4F-408E-BE58-18A5C54A54B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"679bd4509c84e8f607a2912f421fcb5386918c6a","datavalue":{"value":"1635371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$260C80EC-8CD0-4C8D-9692-CEF32AA7080B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941206$882967EA-072E-40FF-A867-565D338F6528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5233a5af1fd0c9e174806d9735b79d5cd872d04","datavalue":{"value":"disjunctive deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941206$F0B5A80D-C018-4AAC-B2EE-A2BA949BA14D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$5AF542E9-F285-41D6-9915-EA9A60F8F3C5","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":"Q5941206$E2F93134-2724-4D4D-8C28-3A0ED1E544A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$117B1B29-D794-433E-8AD6-3EA0DCA3AD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304326ed85915f183efa0eae24adaada24beb610","datavalue":{"value":{"entity-type":"item","numeric-id":4365082,"id":"Q4365082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$13F1D657-A1CD-427D-A8EA-967DE46FA06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db93d556b5f95da832b9825a6b0779c05783455","datavalue":{"value":{"entity-type":"item","numeric-id":1382158,"id":"Q1382158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$C16BD070-898B-4E66-A829-217573550CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665ce63297ccee80427299e95d7f33bbd2b02b64","datavalue":{"value":{"entity-type":"item","numeric-id":1606318,"id":"Q1606318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$D9138FFC-3F06-493C-BBF1-DA02DF8E3161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1956d0a9d511f71b2aae1e995b069b2a11a03174","datavalue":{"value":{"entity-type":"item","numeric-id":4225120,"id":"Q4225120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$4217A3B5-77B8-4D40-B6EE-B11C367C48B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2672985f6339690a75be9650ed2faf2092126222","datavalue":{"value":{"entity-type":"item","numeric-id":1975745,"id":"Q1975745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$C87BDE76-F00F-4FD7-83F2-E551FE21BEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$E752173F-3F15-4CD6-A0E3-8F5DCF498FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67df14bf133d6883bc8e8a6644ec766d85d7d310","datavalue":{"value":{"entity-type":"item","numeric-id":3201764,"id":"Q3201764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$6BA49CAD-3A5E-4D5A-ABE2-28B8E368C276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18205f0709736e6bacfff5e60b47c723ccab31cf","datavalue":{"value":{"entity-type":"item","numeric-id":4391449,"id":"Q4391449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$1A4790CD-6198-43D2-B185-C54140515323","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":"Q5941206$9F53D2FC-E6E8-4A3B-99BD-B4A08E40338C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$8AF5B676-7725-413F-9090-170C4EC32E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf094e5acdb2735390bab0d7bc1af9fe86b667db","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$C5D17C8D-FFF4-4704-ABDE-6917DCCEE91E","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":"Q5941206$F78EED88-7FA6-4F79-A2D8-6C1A30C96475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af77981a43abcda1d261a05984537b43f03bc74d","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$D010F654-09B1-4265-A833-901D21EFF22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0cbfeef219fcebbe0c8eacaf91dcb52b7f09b6","datavalue":{"value":{"entity-type":"item","numeric-id":1389599,"id":"Q1389599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$13C195C9-C041-4C90-AC3C-15DF3C2F7E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$61A87FA1-73AE-4FCB-8D63-2BE7A56D3B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7890edd5aa96546667ca93a6be6975fb87f3a5","datavalue":{"value":{"entity-type":"item","numeric-id":1311407,"id":"Q1311407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941206$6310D20F-317F-4089-87BF-7F3CEF7E541F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"03db4b16cae5999d82a69b5bbef9191baa7d4d53","datavalue":{"value":"Q126781939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$980EF188-7CEC-46FE-A9A5-16DB5DEBC835","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23b9639c561ad58623dba0f15af2d0229952daf1","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00045-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941206$49936B7D-9C1D-40AE-97ED-D3589E7D6DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a2bd83316b220ece63a2410499b10453ad911f9","datavalue":{"value":"W2081383291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941206$7EDF6396-8BBB-44B2-A6B8-3ABEE86F5D73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95af72a740fe59154e7babd5a9bdf788598e2130","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9003a609a8461f7978c120e3008a6c93b77f97","datavalue":{"value":{"amount":"+0.8814226984977722","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":"Q5941206$E82DE0C2-F074-4EDC-8F6B-1B3B37D1043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4fb17fed1f57fa7d8432f42bf8d53a43188ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4700442,"id":"Q4700442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50dd3b234a201019e92a7148900e67f6eca8faa","datavalue":{"value":{"amount":"+0.8759369850158691","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":"Q5941206$F35D16A8-629A-4E46-AE0A-E2951FB7C143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37aa604832d2cdc67927d64eb7d31e2a456d44d3","datavalue":{"value":{"entity-type":"item","numeric-id":5475788,"id":"Q5475788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19f7cc0a0d290c2660da4b72ec8a5c93d3e4a2a","datavalue":{"value":{"amount":"+0.8377727270126343","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":"Q5941206$4B615BC5-F86C-4508-A086-090EFB5A0301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7252fac111378f48a5d18d3cccb2cc82bbd9e33","datavalue":{"value":{"entity-type":"item","numeric-id":1382158,"id":"Q1382158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cc21c595db5c27d8ccae1762126ef337afa58e","datavalue":{"value":{"amount":"+0.8290078043937683","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":"Q5941206$3FB29741-0408-42DB-883D-34BC46F5372F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9df1f1e566f237985ce2f43745c21961a66ab61","datavalue":{"value":{"entity-type":"item","numeric-id":5277723,"id":"Q5277723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cc21c595db5c27d8ccae1762126ef337afa58e","datavalue":{"value":{"amount":"+0.8290078043937683","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":"Q5941206$9452AA70-9240-4E19-9CFC-1BB9E9AA9D72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941206"}}}}}