{"entities":{"Q5286915":{"pageid":7316489,"ns":120,"title":"Item:Q5286915","lastrevid":46344834,"modified":"2025-12-24T14:55:58Z","type":"item","id":"Q5286915","labels":{"en":{"language":"en","value":"Unfold\u29f8fold transformation of general logic programs for the well-founded semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 227528"}},"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":"Q5286915$639769E9-E1AB-44DF-B5B9-52F48C1597F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c3273c6f0e7fce44adef58203259eb9d364cfe7","datavalue":{"value":{"text":"Unfold\u29f8fold transformation of general logic programs for the well-founded semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5286915$C3443F3F-8400-48B4-B9DA-7EDFACF97CE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a46e998db3904aff2fb9a89b8aa8117d577635f1","datavalue":{"value":"0776.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286915$6C7F4BE0-4D64-4EA3-A8D9-7E814D6E380A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab4f5eea7c25b0a8c3355c7fc46858a865246bda","datavalue":{"value":"10.1016/0743-1066(93)90021-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286915$132F0AB7-94FC-4790-BE77-75CB84CDF577","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a32b8a393a965407422b1e26ed1865f6e692ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1075754,"id":"Q1075754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286915$E4DEDBA7-C90D-4E76-B9FB-E48D9097B0C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286915$5697AE3D-9973-440E-B010-F9F69F933AA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db72996963a9193f3c38ca9de20c1dcbfa0ae1ee","datavalue":{"value":{"time":"+1993-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5286915$7512AFD6-353E-41E2-9068-88A69E2F77C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286915$DAD0DB22-A601-4F47-B06D-215F958654DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"557fec2518e16d610fa9551055eca5198a032143","datavalue":{"value":"227528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286915$56B62F23-CD69-4CEC-BBB7-64D56171E615","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e72dcd2bfd920019145e513609919d4131fa066","datavalue":{"value":"equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286915$C996BCA2-355D-4FE7-964F-72B8D85E201E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878f776ed35cc5d9aa218e7d87f4a816e3e0eca3","datavalue":{"value":"unfold/fold transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286915$CBAC0F4C-7AA7-4D2B-B7C4-52749E3C2182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286915$82610387-D37C-42EF-B935-A364439FF25A","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":"Q5286915$79DA7E47-EFE9-4EB0-80B0-05E5C772BB61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beeb1ed0e378a9093100f00628006de825538ac2","datavalue":{"value":"https://doi.org/10.1016/0743-1066(93)90021-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5286915$4821B7AC-6AC2-4CFA-A601-FAAE40E8D9B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac29e7e09315b8ec0a317512fbe662c18c5e4619","datavalue":{"value":"W1995270677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286915$B00E7C24-FD7F-4793-850A-45B3CA9D3ECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf991805737a4a1ddbe84251c651bfc1ac60d76","datavalue":{"value":{"entity-type":"item","numeric-id":3125899,"id":"Q3125899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a6724ad5401fa2df084a578a5f3689c455b58f","datavalue":{"value":{"amount":"+0.8635549545288086","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":"Q5286915$7CC1E63D-B14F-4A49-AE26-89FA88A538B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eaf99e9488687cd0a1a4b6fc5b4161570fcf46","datavalue":{"value":{"entity-type":"item","numeric-id":4015152,"id":"Q4015152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4b8f53ad334178e5a1ee3cc25871167be5048b","datavalue":{"value":{"amount":"+0.861188530921936","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":"Q5286915$ABAE8F28-2D73-4847-8691-4178BFC61AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd969b5fc7f97a2b5042f32c27d3b98479b4a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3021960,"id":"Q3021960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f615d87e2b401c1cb551abc005f6691b66240df","datavalue":{"value":{"amount":"+0.8368964791297913","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":"Q5286915$A6C089AE-276A-4903-9C50-53E0305AD2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199f77598c24e54276e81c5965b17139822f4f42","datavalue":{"value":{"entity-type":"item","numeric-id":4494372,"id":"Q4494372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487fa5fe04bc2912576130282595c0c6580371ef","datavalue":{"value":{"amount":"+0.827800989151001","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":"Q5286915$765E9861-2132-4555-B43A-DB8CF15220B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8c9595ff9c2620074ae5ff7ad2665b1a026b43","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8895695a0f83aa9d3787515bc5a9137df5fd0f0","datavalue":{"value":{"amount":"+0.8119622468948364","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":"Q5286915$D92D2D13-ED92-4E42-AEB4-CD589E18B1B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5286915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5286915"}}}}}