{"entities":{"Q2867964":{"pageid":2878684,"ns":120,"title":"Item:Q2867964","lastrevid":57476355,"modified":"2026-03-31T02:13:56Z","type":"item","id":"Q2867964","labels":{"en":{"language":"en","value":"Equivalence of two formal semantics for functional logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241782"}},"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":"Q2867964$305527E9-C7BF-4EA3-9B37-CC113E7EC8D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74589e5ffbe73af623d2f83b1a18d217e178628f","datavalue":{"value":"1278.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867964$C5C066D8-3149-48B7-B2FF-18C52C1B6D7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8382f359196c686b16dff13fed23e354206080","datavalue":{"value":{"entity-type":"item","numeric-id":880983,"id":"Q880983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$F7C537A1-F3AF-4BD5-8A0E-23249271B0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7fb07cd59622c643c7ec49c5d5e19a3be3adff","datavalue":{"value":{"entity-type":"item","numeric-id":2437796,"id":"Q2437796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$1B28D413-B515-4490-9D2B-302CC80270CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73479b70458c0789796858f4b05c9d38291cce00","datavalue":{"value":{"entity-type":"item","numeric-id":2037427,"id":"Q2037427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$8EF635E9-C1D7-4E8B-A91B-A50F36004190","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$1625E849-2458-4891-9EB1-332A5AF9AAF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867964$BC7393CE-327D-4C2F-B530-AAECC011D065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867964$68374A33-8410-460E-A4AE-027844778049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867964$00CFBE98-E605-47A5-A73F-DF05E2D47176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867964$6213C7FF-8814-43A6-9AD7-97840C3507FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1c3b87b74652f9ef2d16ecd9281a718f83ec4ab","datavalue":{"value":"6241782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867964$58D13B98-929E-46A7-8040-8FB03A664C3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76404801af165cb463eb6565e85db865a0fa52e","datavalue":{"value":"functional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867964$2A1152C9-24C5-43F2-8A1B-4A8707156D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a86329c9af8042dbd359bff60f4b9e038321cab","datavalue":{"value":"equivalence of semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867964$8D1A7FA2-A33A-4A3A-A9A2-36D91278D4EA","rank":"normal"}],"P1463":[{"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":"Q2867964$25916146-6020-43FE-8BB8-03D40715276D","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":"Q2867964$AE9614ED-F718-4711-99A4-1C5544D7BDD4","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":"Q2867964$503ED9B4-8A92-4710-88DF-1F4919151C22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c8cf16d877a4e85877dbf358ae953ee1731093","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.05.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867964$717CB047-9364-472E-9116-178DF9BE4E11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d33a97013aec27f88459c1cab63ae189aac70e3","datavalue":{"value":"W2017855559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867964$DE4E607D-E2F5-4789-BEAB-8A333119D710","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6b5fa0cf67945c112778b5815fa23b445854a","datavalue":{"value":{"entity-type":"item","numeric-id":2456574,"id":"Q2456574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$62B286EE-582F-45BA-BEE7-72035DBE18B9","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":"Q2867964$C654855C-B8F1-4AFB-A34D-6917E9DC5226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8617cf518cc64e76f33a1721308a47d5d3d336","datavalue":{"value":{"entity-type":"item","numeric-id":5449594,"id":"Q5449594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$CB5C23FA-C566-4E31-9E01-323FAFDB79FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57c4efc1285a87ab31e6edebebca84674969ed","datavalue":{"value":{"entity-type":"item","numeric-id":2867956,"id":"Q2867956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$27F6CEAD-D54D-4D23-9C35-76CA18B6C820","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":"Q2867964$3FE858A6-A18B-455B-82BC-4375C3184D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$FD0A0863-293D-4ED8-9965-B4DE53A43355","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":"Q2867964$16E8B724-8AC2-451C-8F47-6A0AC1402EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3b89a09d0a3121a53d05d395c198853f4ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$D051D81D-C926-4CB2-B104-40EE7EF7FCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbacf3649d53b3bdd0ab8b4a658179402facfa47","datavalue":{"value":{"entity-type":"item","numeric-id":3992231,"id":"Q3992231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$05A76E11-E0FD-426B-B3DB-9D1DE76AD787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459f36f58e3e0fa3badde1517a63c77fbbce2230","datavalue":{"value":{"entity-type":"item","numeric-id":2762632,"id":"Q2762632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$577D87E1-8519-44AE-9BBA-94DF268E2008","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f01da9e665cbcd3e03eaf2c38e3b4d4972b7918","datavalue":{"value":"10.1016/J.ENTCS.2007.05.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867964$5637CC58-995B-4C4C-A3AE-BBCE8FA8BACB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d48132de67bf8674c9b87d64b329b696852f932","datavalue":{"value":{"entity-type":"item","numeric-id":5014440,"id":"Q5014440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04976ececaa0edb6ad32345caaf0a0512f3b2bb","datavalue":{"value":{"amount":"+0.93653715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$56D43E9F-84A5-4A93-8D5D-C43BBF09981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c39a1826401e93a02b863b3a78f1499ab40284","datavalue":{"value":{"entity-type":"item","numeric-id":512650,"id":"Q512650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04976ececaa0edb6ad32345caaf0a0512f3b2bb","datavalue":{"value":{"amount":"+0.93653715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$A564C2DC-058A-4200-AB6C-94BA10D95C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d056e3ec24266a195e939cdb7a8c446ac78c44a3","datavalue":{"value":{"amount":"+0.92382616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$2828E5FA-6C5E-4D79-8397-CF0701FD3A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b463cbd7ac8ae1ddd4ac9671d236ff348a81224","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db91faa0ef8e2e44d8091629faadb4f0d8aa46a","datavalue":{"value":{"amount":"+0.9200298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$2760FAE8-D3CA-4C71-ABA0-1C41A9308E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ce4779611725b0e618c8667de904c25f67a990","datavalue":{"value":{"entity-type":"item","numeric-id":4327428,"id":"Q4327428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0447dddf21e1554f8fd0750cb9e06f090170ef6","datavalue":{"value":{"amount":"+0.9148611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$E0F3041A-DFCC-4927-9E28-D71428D39D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61cbbdd2379583d4b0fa9b2484c666fa6a61bd96","datavalue":{"value":{"amount":"+0.8999399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$0DD797B5-4339-44E3-8531-99CAD0BA6934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4ce3c03dee1723f4226f152f53671af393c383","datavalue":{"value":{"entity-type":"item","numeric-id":5394653,"id":"Q5394653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8d79a5a8f696dfb7ab1f556f5bd0403e189bcd","datavalue":{"value":{"amount":"+0.8961272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$3EBC92C3-525C-465B-82A4-1A8998A48B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792c0ae4f0f9f08dfa7e1830872f85395afd8e03","datavalue":{"value":{"entity-type":"item","numeric-id":2410575,"id":"Q2410575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ffbfb02b4b945091d42a572d5b9d98121cf351","datavalue":{"value":{"amount":"+0.89353585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$7236F8E5-5C08-485E-9D61-32E5CE51BC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c0268a3f20477692d0ced7678920fe48e5968b","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9975cf7cab6242c91e4b889147cb8f4be8ae0ac","datavalue":{"value":{"amount":"+0.89079016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867964$998C6B2D-0947-49F5-A7AD-B635E34F359A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a4160bb8b1398963a52dd4bda254e9d26681973","datavalue":{"value":{"text":"Equivalence of two formal semantics for functional logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867964$10F37892-2438-416F-8C8D-009FF2270C92","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867964$9DE70519-DF17-4074-BDC1-A4013EC3F3AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867964"}}}}}