{"entities":{"Q1389092":{"pageid":1399832,"ns":120,"title":"Item:Q1389092","lastrevid":67324347,"modified":"2026-04-12T16:51:52Z","type":"item","id":"Q1389092","labels":{"en":{"language":"en","value":"The least fixpoint transformation for disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1164234"}},"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":"Q1389092$FD38CC61-BE1E-437B-B10F-6C0A2EAD3669","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eb4e8383fce3c625a53e336a11e000209f68907","datavalue":{"value":{"text":"The least fixpoint transformation for disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389092$EA51664D-7044-4EE9-BEC1-2FD2438CBF05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff1d8e08ab389e1ca8a9a064c79f25c3ca487535","datavalue":{"value":"0899.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389092$6CCD6125-7838-442F-8029-581680B7B085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aef4bb7d039eaea6d87b180643a6c13e3ec9ba7","datavalue":{"value":"10.1007/BF02943187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389092$1F30E75D-5EDF-4C74-8268-16655728FB1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7b4caa942cb668a8ad2d8396605cbe2d9d3d","datavalue":{"value":{"entity-type":"item","numeric-id":232836,"id":"Q232836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$BC82DD90-5DDA-4926-8F55-86D1D34F8044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25d081311eae44eddf4c22ed84a12cfa39e6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1129837,"id":"Q1129837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$99BA996A-CDA6-4557-B6EA-3E23CBD339B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdca1269e2d5ee9d3b58739c5c7a7b93f50cf4f0","datavalue":{"value":{"entity-type":"item","numeric-id":192401,"id":"Q192401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$6DEB1FFC-FEE6-43BF-A6F8-5265F0BC36EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$4D2304DE-6A95-4A29-B6D9-34E246CA87A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e323415c9b9bf123afa53c27de1b0795aa8ea753","datavalue":{"value":{"time":"+1998-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389092$4C3ECF1F-24A2-4361-B03F-0AC649718C09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389092$5290B98E-457E-4775-A73D-7E58173A1FB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eb92a7ef844f8cc3e828fcb443d0e769c039e31","datavalue":{"value":"1164234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389092$DC41449D-9FDA-414A-9141-E663EC4B00AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389092$F858A322-726A-4377-8065-96915A211B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdef4d14613e06f61284f17467b3b121a31396ae","datavalue":{"value":"normal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389092$52BDD28D-616C-406F-AE88-58B609E6DEE5","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":"Q1389092$F6C702C6-98BF-4F33-827B-F05CC07A5C6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07c4f58be18bc7c11b904c683c60cb3127b661b","datavalue":{"value":{"entity-type":"item","numeric-id":1129838,"id":"Q1129838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$B6895017-6455-45E4-85C0-6F7B4C88722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f17552a9b76c005024c2c20665d9a59e8f7ba6","datavalue":{"value":{"entity-type":"item","numeric-id":4507854,"id":"Q4507854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$802C0B6C-AB42-4B65-B0AE-92F6A1ADE893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$EE52575F-8D2D-47EF-916C-BD1F880C6411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332460cbeb294015a8f58711538d8a310fd2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$EA4BFBAF-A376-428A-902A-D178A8F87CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb0d118b33aef90aecd3a8ab820b8ba2782296b","datavalue":{"value":{"entity-type":"item","numeric-id":1819951,"id":"Q1819951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389092$388DC9F2-16B2-4901-94BC-B66580D158A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62664251299e213020eeb0b77b0fe5a2b9285084","datavalue":{"value":{"amount":"+0.8180394768714905","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":"Q1389092$32277CA9-6A0F-4326-9B8C-1870381A1B9D","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":"87a9e71806e72911c219455f43e8b7544f1ae1ae","datavalue":{"value":{"amount":"+0.8086785674095154","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":"Q1389092$BB07EF16-89FA-402D-8AF8-F631C85D1C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68df88f418415f5de652665fe5b8e3b2a592088","datavalue":{"value":{"entity-type":"item","numeric-id":4866586,"id":"Q4866586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab545c6e4e7786472412d1b65aaf58b221d8965","datavalue":{"value":{"amount":"+0.7856112718582153","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":"Q1389092$CB6A201D-3BCC-4ECB-806B-4034A8539A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8bdf77ead4b05f531ecc9822b9396a60d1eb47","datavalue":{"value":{"entity-type":"item","numeric-id":4246958,"id":"Q4246958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e14a354904d33305b0572683825ce0b37c13ffb","datavalue":{"value":{"amount":"+0.7827734351158142","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":"Q1389092$7CB94800-1743-427D-B5A4-7852E8FFA1AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The least fixpoint transformation for disjunctive logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_least_fixpoint_transformation_for_disjunctive_logic_programs"}}}}}