{"entities":{"Q4725722":{"pageid":6755299,"ns":120,"title":"Item:Q4725722","lastrevid":49053382,"modified":"2026-01-06T12:59:06Z","type":"item","id":"Q4725722","labels":{"en":{"language":"en","value":"A program transformation from equational programs into logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3999264"}},"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":"Q4725722$AD743047-69C1-4B36-9029-69189D2C7530","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d159bbfd518f0a1386f56ea5e04c7bcf4b037b6","datavalue":{"value":{"text":"A program transformation from equational programs into logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4725722$0F1B15A6-DED1-42CC-A79F-693B6A9BEC06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0741143be395932e9d2777f0cf3cf7b5cc5fe6d7","datavalue":{"value":"0616.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725722$4A0B077F-02AE-4E0F-B898-516FDBAA83C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86efb2117e5d39db87b27e4c7db3c4368c6a841","datavalue":{"value":"10.1016/0743-1066(87)90013-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725722$6546C6FA-DF93-4BE6-A145-10AC4553EF7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"412a3832de436a82630a861fa37ec9620ae29c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1350212,"id":"Q1350212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4725722$6F9D4E62-480B-4B08-94E5-DB5937FF316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985e5bdfa3add8a693afe3c3fc51cc7319ea8110","datavalue":{"value":{"entity-type":"item","numeric-id":799108,"id":"Q799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4725722$973B1BAC-E589-4305-B9D7-66CA7D360835","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":"Q4725722$A6AAFA8A-5364-458A-8A8C-BB7343627485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4725722$E8D0AF87-2719-4BC9-A1A3-758926E77506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725722$C548D82B-3B66-492D-AD60-158E246F51DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725722$25F67C6E-49E8-4AD3-9729-24560AADEF1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"485d345aa711440a40fe5e3dd86c551fb4ef5da0","datavalue":{"value":"3999264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725722$873BAD88-F398-497D-9CF5-D2D434810F13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef38181e1ea18af8dab274a783dc38b952fe639","datavalue":{"value":"equational programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$529381BE-9EDE-48D5-A114-11A322F12E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44fd930476b90729c3eb418031858ac6a215b05f","datavalue":{"value":"logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$CE80BDE6-8474-4487-AB35-39E4FD723D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dad7d7540a69b70aa81317b1872165acefb7996","datavalue":{"value":"descriptive languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$803B4C96-F451-4F91-B0D5-7F6E66A2D00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cb4ed9c1b2ab9bbb7b44326e7f281196c58fe2e","datavalue":{"value":"algebraic specifications of abstract data types and recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$100CD44B-7EC1-4E00-A46B-D97FDA7D0DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$87C8C493-B79F-49BB-88B9-ADB9789C7020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af76b56bd0761a7486a2204ba451cf7a8cc111b","datavalue":{"value":"computation strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$74866146-3A96-4ACC-B595-7DF977717B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$6D19518C-ECE9-45A8-8B73-D762AA462FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6903c25413d0d39e8b8337a48cadcc3d1ef72c4","datavalue":{"value":"recursive equational program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$E05D8195-A564-4D9B-B8D2-3826A863C15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de2778ab2eed5d33879df24feb6ea5455242019","datavalue":{"value":"Horn program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725722$F307D405-92F8-4EB5-A715-F149D1CACBB4","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":"Q4725722$E8FACBAB-FB07-4387-992B-E6B9034E388C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfdf197bb36008141ce0013e57ad1f8123f18bad","datavalue":{"value":"https://doi.org/10.1016/0743-1066(87)90013-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4725722$40D340E0-C45C-4A96-941E-4829EDEB2FE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0f2f8cfe26b2e4679396b55487c51c12b854eb7","datavalue":{"value":"W2001552098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725722$999B7327-E64B-411B-9E44-CEF3731754E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e85b3b860f0bd64335101ac0621aa3c3f2b0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3768368,"id":"Q3768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9446cbc86d4787d039371409c989afb8acb0ac7","datavalue":{"value":{"amount":"+0.8049396276473999","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":"Q4725722$4B4B6DCB-B206-4402-8B0B-179653D6EC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba08af075418b24fefacdb992be0b95376ac131","datavalue":{"value":{"entity-type":"item","numeric-id":5930885,"id":"Q5930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9a777a60aae2eb23051dd3574ac197de246a1e","datavalue":{"value":{"amount":"+0.7840424180030823","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":"Q4725722$BCAB63A6-C34B-4F1B-8809-60061A23D078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e4481174b06161ae2860ccfd73d21acab8420","datavalue":{"value":{"entity-type":"item","numeric-id":3780489,"id":"Q3780489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f0c0e560e0bbfa83e3758e0010504cab4afb14","datavalue":{"value":{"amount":"+0.7788285613059998","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":"Q4725722$BFAC5E57-6F02-43FF-A30D-68264E44D4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b534b8d3f7747de19bcde71e2f661f5167f6c17b","datavalue":{"value":{"entity-type":"item","numeric-id":4421871,"id":"Q4421871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccca9045fdf99c3c2acb50793409c9a635b30bfd","datavalue":{"value":{"amount":"+0.777378261089325","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":"Q4725722$FB1F93C7-F929-4246-B9C7-308DF86661CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb39bf71a9c32f2e2cd7cebcd73cacdf50aa3c6","datavalue":{"value":{"amount":"+0.7703152298927307","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":"Q4725722$7F88E709-A286-4767-AB56-660618B17BB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4725722","badges":[]}}}}}