{"entities":{"Q5038460":{"pageid":7068037,"ns":120,"title":"Item:Q5038460","lastrevid":57312363,"modified":"2026-03-30T09:27:08Z","type":"item","id":"Q5038460","labels":{"en":{"language":"en","value":"From Logic to Functional Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595324"}},"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":"Q5038460$904DC594-5FB1-470E-AE3F-5D12BBE5B75D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46edf2aefd80eed59a0d293e29a4517cd569a1ce","datavalue":{"value":{"text":"From Logic to Functional Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038460$3802987C-E131-4AF2-AC61-5A0CF5D9AAA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4973f24f183067b1f5bf39c4bcb0d4342bd16130","datavalue":{"value":"10.1017/S1471068422000187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038460$AAC2D033-CBFB-4D6C-ADCA-5F1065414666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$7D7777D0-731B-4275-BAB3-C5B6C3C5771B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$163923E1-F3BE-4FB1-BA7B-6186471BFF48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038460$B5E71154-2032-40E6-8696-3F463C6BEDA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"304cb42603d1012c91b43a696c62f3ff06196970","datavalue":{"value":"https://arxiv.org/abs/2205.06841","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038460$5A96868E-208D-4E3F-BFAF-E0E7AAB48B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038460$825A3726-441C-4567-80E4-F724747FA52C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00161eecd74a91a63a3308a3e4c1f9f34ff51a9f","datavalue":{"value":"7595324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038460$DD756D59-E038-44EB-A097-DD2EA6E5A7E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76404801af165cb463eb6565e85db865a0fa52e","datavalue":{"value":"functional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038460$ECAA55A4-F989-48CD-8C8F-B6951C331E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038460$C7926D5E-F913-4D56-94D9-5CFC77D4F0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038460$622B471E-A9B7-426A-BE51-5ABFFB6BB4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9e6c2cef22d3a9e0a32b3145633ceceedf207a","datavalue":{"value":"narrowing strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038460$4287DBE8-C2C9-44BB-ABA5-10DA64560822","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94bd2b7f63512fec5ce37bb307549f625015832","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$54D03CDB-0371-46DF-A6B9-E8A8667E7A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98271371a73cd751708bcec7e68493904350d8","datavalue":{"value":{"entity-type":"item","numeric-id":4364366,"id":"Q4364366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$4A346B5E-A90A-46AC-BAB0-BDABF2F61E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$36F4B3CA-961A-4C6F-BC8A-1E26021678F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae85309772ec4187b8f1fba1536394aae6ceca7","datavalue":{"value":{"entity-type":"item","numeric-id":2729761,"id":"Q2729761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$DFD8AF72-1019-42DE-8FAE-CE51C953D571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f3f913aaf04fdc9eabeeede5ade206c34ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4593082,"id":"Q4593082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$1365C123-6AED-4DB2-B169-0E9B97BA8124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$2836F687-1A52-443F-82A6-360ACDB6E975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a5e22b9e6f87196696c36f58e91b5b4c7fc022","datavalue":{"value":{"entity-type":"item","numeric-id":6102248,"id":"Q6102248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$02769136-99D5-4808-BAFD-74EF4C53FCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ced948e9d0181a8e4f938cb4ed0cdf6956a5732","datavalue":{"value":{"entity-type":"item","numeric-id":5403480,"id":"Q5403480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$534D97A9-9185-4CF8-BCBA-6DA9E3EAAD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379abbca003d584882bad9f70022e11410225ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3821563,"id":"Q3821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$C668F695-9309-45FD-8D9F-BF0102F4D057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2675836437b25219b64c4d3461cd62f592addfe4","datavalue":{"value":{"entity-type":"item","numeric-id":4812963,"id":"Q4812963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$092A4028-A89A-44B0-A7D5-E91614C76AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f35a8441e555629d454719d503742db7c72ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3434630,"id":"Q3434630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$BDBBC4D9-27D1-42A0-B608-15BE3A02AF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7694d0d07129d4904b1fa011fa6e6152932392ea","datavalue":{"value":{"entity-type":"item","numeric-id":4700443,"id":"Q4700443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$E7698982-779C-4200-8D32-81C95A028846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0b89f1576ee5b46eb8a0b7b00a40fcfa7459c2","datavalue":{"value":{"entity-type":"item","numeric-id":3125900,"id":"Q3125900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$9C53DBF5-70F7-454A-9EFE-0FE4DBD35874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1f3d1c2270f6ab37bb0236fa4d295a1e9e06","datavalue":{"value":{"entity-type":"item","numeric-id":2909159,"id":"Q2909159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$5554B966-7258-4F93-B7F0-4E8D6AD9498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247970768287c87e9f32f6c332759567139e2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$1B077ABE-F344-4226-A855-7999ED9E1F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$0CD558BA-F0C7-4290-A999-B4BA17E8E81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e886b9360a3e41cc1b6bf60219a57e89b7504","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$9A0158D2-65F4-4617-AB93-4C7EB32959DB","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":"Q5038460$14BE6543-6AF3-4BC4-B0A3-360D8CFCC68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577ee21ae5c56aa6765a309a06530364c8ca8a88","datavalue":{"value":{"entity-type":"item","numeric-id":4281598,"id":"Q4281598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$3A48FA5E-547F-4036-B789-E992BE972FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1218c80c2d3ab84de2989c51d5e6905a252df4","datavalue":{"value":{"entity-type":"item","numeric-id":4720773,"id":"Q4720773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$84EA7D30-F5B3-437B-B0E0-2C3EB8260299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc38e0f12dc12bf9a3a54e9bb80ff6e58fd43788","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$CF3DB058-6098-4397-8FEC-DD8100DED050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$AFA4164D-3607-4A0E-A811-3F62D1844C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$CF0A8975-4815-415B-B216-E6018DB34171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$0E5CFF71-DEED-4888-9348-475FD3BF29D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$BEE7D5AE-F16E-4284-92A2-EBEA5C552B2A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$A13FB3BA-DF23-4207-8C64-096329FA87F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$503B58B0-F62A-454E-A0AE-E7D89EE1452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bb24171dca517deaa71b3e01b4795aa43fbc236","datavalue":{"value":{"entity-type":"item","numeric-id":19639,"id":"Q19639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$E2025EFA-3E5A-4F3F-98B4-D6DC069A6EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36f5026b55bb5cc68aa4d2933cfba0f3ca08a59d","datavalue":{"value":{"entity-type":"item","numeric-id":21791,"id":"Q21791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$033ACE65-F01E-473B-B920-1A6B99AC290A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adecf1248d62f0ca239433953e8240b0639cd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":20976,"id":"Q20976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$1543156A-1CB5-477D-9DB4-234B08C95EF5","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":"Q5038460$1AC1F647-5431-4537-95BB-F8A84E9CE554","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba6ee541b7ea9948cf1ec23b2228c2c74a402b4","datavalue":{"value":{"entity-type":"item","numeric-id":1338343,"id":"Q1338343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3a86128a41856a9569140930a95ba831d34b0f","datavalue":{"value":{"amount":"+0.7954116463661194","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":"Q5038460$AECC2CD3-9EFE-47A1-B7D7-92432B966C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b545df89bfebe52b0c0b2a0916e0ad6cc53bc826","datavalue":{"value":{"entity-type":"item","numeric-id":1183419,"id":"Q1183419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1d73ed3eef953bb64c033448361d8f5e04a6ff","datavalue":{"value":{"amount":"+0.7749258875846863","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":"Q5038460$1B95329F-87F4-4822-9439-EAB2D6CA036A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37cae223f40fe9162d81fca43330c825081504e","datavalue":{"value":{"entity-type":"item","numeric-id":1884942,"id":"Q1884942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d6a933ae93121f960f31d1d9b6b3760ec9d37b","datavalue":{"value":{"amount":"+0.7681321501731873","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":"Q5038460$E31D8BEE-5698-4DEE-BC37-D17CAA102EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a1a5ef534c28951c29010fc586bb9ce3f1de07","datavalue":{"value":{"amount":"+0.7638031840324402","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":"Q5038460$EFA95D90-CBB0-4ABB-A62E-4E7C25783148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986ed33e485772c8dc7c723715d0ab8b9a37e6e8","datavalue":{"value":{"entity-type":"item","numeric-id":5449594,"id":"Q5449594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c6931c1e8851b61c76767711f81bbd385ac24d","datavalue":{"value":{"amount":"+0.7610614895820618","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":"Q5038460$932AC586-3F9D-4A28-A7FE-4D800027237F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038460$C4C613BD-F606-4AC0-85DD-9D2AE414CA1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5038460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5038460"}}}}}