{"entities":{"Q1177929":{"pageid":1188678,"ns":120,"title":"Item:Q1177929","lastrevid":66508797,"modified":"2026-04-12T10:32:08Z","type":"item","id":"Q1177929","labels":{"en":{"language":"en","value":"Unfold/fold transformation of stratified programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22500"}},"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":"Q1177929$A051B41D-EF44-4751-8831-4E51BBABEB73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b34ed6c361e36fb5d9dc08a4a75016156fbd0a2","datavalue":{"value":{"text":"Unfold/fold transformation of stratified programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177929$3D844C96-92DF-410D-9FE5-D3526AA81A2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d44f81e1c7382d08fd67978872dca16d5dca2de","datavalue":{"value":"0737.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177929$044EE92D-8D68-41EC-8B0C-D165CF6F9DC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74dbf7b9fbc311a41bccdf8c1a63da1a2714ee53","datavalue":{"value":"10.1016/0304-3975(91)90007-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177929$67D9423E-538F-42CB-B0D0-ECF8AAFE90CE","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":"Q1177929$9C295825-4DDC-4B65-82F6-0CA65952BB1F","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":"Q1177929$821D2329-D681-4C63-B363-35A799D1601F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177929$F9F9F4C8-8FD2-44B5-ACCC-D84E75DEFDB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6820d6dd56dc56052e5332c2c9e1e2ec03a9c632","datavalue":{"value":"One of the most important properties of program transformation is equivalence preservation. In \\textit{H. Tamaki} and \\textit{T. Sato} [Unfold/fold transformation of logic programs, Proc. 2nd Int. Logic Programming Conf., 127-138 (1984)]\\ a framework for transformation of logic programs was proposed. The author describes an extended unfold/fold transformation preserving (in addition to the success set) the finite failure set and allowing its further extension to stratified programs. It is proved that in the case of stratified programs both the success set and the finite failure set are preserved. In the appendix also the preservation of perfect model semantics is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177929$B2B1FA76-308C-43C5-9BDC-D903A746BE07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177929$C79A0B72-A70B-4313-A445-B9B9FCA5B2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177929$5EB4E272-65D1-44B6-8B78-0D2080E4CC2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e955669e5ea238ceb943b883e8d895737c23fc4a","datavalue":{"value":"22500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177929$ED75E138-6678-4408-AA37-497C3A917F76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76230e0139444534385e0b2ccf8aab59c711f6f3","datavalue":{"value":"perfect model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177929$41802404-9975-4F86-9CFD-7D3CEB7A3B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878f776ed35cc5d9aa218e7d87f4a816e3e0eca3","datavalue":{"value":"unfold/fold transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177929$F1E75C49-2373-4D50-B0EF-72D3C4EEC5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efe618e9dc96f8b5d3e2c8db712e1f01edf4e18","datavalue":{"value":"finite failure set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177929$FDFC20B9-EA18-4DCC-9E22-00AA74F28AAF","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":"Q1177929$A470185D-A0AF-4EDD-8B4A-A9D401065F74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af916081fff2170a7046b3d1926c0b32d663297","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$3C2F2806-D747-469A-BADC-8C6B1FDB36DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad198729759f990d88e40e5dd904f71a406283c","datavalue":{"value":{"entity-type":"item","numeric-id":4015152,"id":"Q4015152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$4595987F-7180-4D65-980E-ECB47B1E9DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc421beaf448c0aac0777c13814d1b2fe09c3d56","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$FF245F8F-165A-41CF-9426-987B2D881E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$1B428B95-29EA-4EB3-83CE-B30523409A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$74A27656-4402-490B-A8BF-4B28F3EDD4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$2299EEA2-614B-408A-81CD-D5B9E2AD192D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$B2850AB3-A073-4C1B-AA70-70C97F912DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$36F15631-3711-44AD-866F-51B94AD5D1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$E1FE8E8E-A1D6-45DC-AEA7-B0A21F0AE4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177929$23ECE513-A56C-4DD8-A6D2-2A0E04F0152A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9b2a35ec049d1e615316f8065102e867d92dfd5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90007-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177929$6790CFB8-EAF9-4CEC-B538-A1805BE2D425","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"841250ccb0f2d133ae419545a20659662fd5485d","datavalue":{"value":"W1975952423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177929$3CC6398B-4F46-4DDB-8260-81FF93706DA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63910f2f446b7fa086e16d5930d4930a5f04c87d","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39814f57a0309147c92843075da5bf435715db7c","datavalue":{"value":{"amount":"+0.8712009191513062","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":"Q1177929$7C06ADDC-C2BA-4801-894F-5537E36B1039","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":"6ab3f53b761e6e1d3222d6547c2357677e81efaa","datavalue":{"value":{"amount":"+0.8477702736854553","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":"Q1177929$687E0268-D00C-49EE-BC39-97282928294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05fe193fbdfe5e591507789b05eeded8bd3a35b4","datavalue":{"value":{"entity-type":"item","numeric-id":1200980,"id":"Q1200980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f595e81879c7d27824e24207ee493d29c3ae83e0","datavalue":{"value":{"amount":"+0.8319805264472961","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":"Q1177929$A3D08F8E-1F99-4CCC-A1B4-1AACC048F972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9865a70006563e90e66a3110d55bd802a85ae41c","datavalue":{"value":{"entity-type":"item","numeric-id":5096195,"id":"Q5096195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33a423a0c63ba4cac5ef229fd85b670627f9499","datavalue":{"value":{"amount":"+0.8247262239456177","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":"Q1177929$C42F611B-8649-4A00-84C0-3762558DE8D6","rank":"normal"},{"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":"73d15ce302c5509e8a10aa21ac5c1b3e7ddd963c","datavalue":{"value":{"amount":"+0.8205522298812866","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":"Q1177929$93361F90-6341-4C0E-80E3-FA972EB0283A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unfold/fold transformation of stratified programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unfold/fold_transformation_of_stratified_programs"}}}}}