{"entities":{"Q5410261":{"pageid":7439835,"ns":120,"title":"Item:Q5410261","lastrevid":96160778,"modified":"2026-06-05T10:33:52Z","type":"item","id":"Q5410261","labels":{"en":{"language":"en","value":"Singular and plural functions for functional logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285649"}},"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":"Q5410261$8EE73692-EA98-463D-B7E6-1ABE3DC0A2AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7a068cc30529ebf0702fc85eec886cc8a2698c2","datavalue":{"value":{"text":"Singular and plural functions for functional logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410261$9E91BC27-5223-4365-AFF6-3672A6C28009","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bca8d4e26a1ea3e2a2bf6269e1b9291ba20c9389","datavalue":{"value":"1286.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$BD220012-1F9D-482F-A0E9-52698336B46E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eef211415ee1adfe6548757438c0a94b853b409c","datavalue":{"value":"10.1017/S147106841200004X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$511F45BD-A385-46F9-A76A-75AC13971BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1ecda69e1cbbf3f527244edb48a622cad39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":520241,"id":"Q520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$0E692F89-8053-4A8E-9BF5-3BB6D2A8C335","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":"Q5410261$1C5E99CF-5C80-44B1-954E-35DBC841E914","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":"Q5410261$D4F124E1-8D72-4424-8CB1-56B9FD0E7E28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410261$884E10B4-6E51-4FD0-98DD-412EE4097FE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cf19800e478ba747cd02dae33592ac3e08a1e83","datavalue":{"value":"https://arxiv.org/abs/1203.2431","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410261$B1AA896E-EE37-45DF-8708-D5F658E51B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$4EDACF72-B3D5-43A1-8115-30F074EBAAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$D8205A42-49B9-46CD-8C9B-0AD51B8BDC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$B57506B6-2BCE-4C01-95DD-1B62387D13E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$27B2760B-8508-405A-B118-BE3928DC48BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a76c1f98ca542151358b9954a303ceae5befdf86","datavalue":{"value":"6285649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$FC813549-121D-49D7-81CB-9910EC63908F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f637b09a5eb1a3648ecce79b15305eb6edcef88c","datavalue":{"value":"non-deterministic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410261$85130038-B892-442C-AE2B-06254A12F8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410261$AD6953C1-6B80-4AA9-BD9D-BF70B2CD0C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410261$57E185E6-6651-4A9D-9C05-C975B70E93CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410261$7367B6BC-710A-4525-A95D-458CAEF8DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410261$0443F398-7FE8-4549-B388-D69A84571973","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$8CC4F82A-0435-4F34-A32C-2C83F85A17F1","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":"Q5410261$DD79D705-BD3A-458B-871F-50E99818973F","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":"Q5410261$41E50DA0-B8F7-48BC-99EB-7CCA96E4E471","rank":"normal"}],"P223":[{"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":"Q5410261$FBF62F17-6664-4C90-AE5E-E3F83B837201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a49513d78a3d4726bc3eafc92f5c7bd90e24","datavalue":{"value":{"entity-type":"item","numeric-id":2841287,"id":"Q2841287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$DA209BE6-86B8-41A3-A4A0-2F5171C468CF","rank":"normal"},{"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":"Q5410261$C12EAE92-9BD0-43AF-A3B3-F8DB85537BBC","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":"Q5410261$9CC8B624-5AF0-4701-B2F4-B91270D1968B","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":"Q5410261$922F877E-9C9F-4CCA-9F3B-43C9A184B9BF","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":"Q5410261$17044A18-1318-4BCF-B613-85AD56FC73F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$A055B240-43B3-49B7-B434-4D5CF4BAA031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$85575D3A-00CE-43BC-B426-8F45055F7EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c275c9e711646286c57add97ad41a2891a95a2","datavalue":{"value":{"entity-type":"item","numeric-id":555657,"id":"Q555657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$1B4DA91F-AE5C-423A-8271-D9863E827382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c3491ad2c05915255ccec86bc9c770e938c9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023829,"id":"Q4023829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$B7474036-0626-4F7E-BE2B-DAACF6F21E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4145f3b121f6ecc41ac0b4f32632ba7f9a94131","datavalue":{"value":{"entity-type":"item","numeric-id":1130614,"id":"Q1130614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$1230E0FA-7AFF-4FB9-87DB-0F82CD5FF3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57087e4b1a35dca5b37f096617f1d3b6a57f4203","datavalue":{"value":{"entity-type":"item","numeric-id":2936798,"id":"Q2936798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$C7F14618-EF61-4560-82FB-FD3B6BFB7591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652bf78846e6de96c39ef527b060150cb49ed98b","datavalue":{"value":{"entity-type":"item","numeric-id":1884008,"id":"Q1884008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410261$3248D6B7-7B8D-4CDD-894C-190F3E1BCC4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64646e9dd1924c81e16bc7a580f0f63560d47e41","datavalue":{"value":"W2113029157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410261$902D8E5E-0BE4-4A64-B9CE-8AB627A78E3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bfcdcac34e254348a59c1ac16e67ea176cbabb","datavalue":{"value":{"entity-type":"item","numeric-id":5881284,"id":"Q5881284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b3eb3af09ad4456238026409f34f5b3660057c","datavalue":{"value":{"amount":"+0.7720158696174622","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":"Q5410261$99679385-DE78-4303-BC0D-BA8F0317C8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0986c1983057e3b3c89b53ec2b506e55d829333","datavalue":{"value":{"entity-type":"item","numeric-id":2867964,"id":"Q2867964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cb5ab7632caa1e0e7c0af515aea7ec0cf2ca7a","datavalue":{"value":{"amount":"+0.7664819955825806","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":"Q5410261$D8965923-7E43-4C6D-8C87-D074323481A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ac140ca0a3275e2788a26cfe88f541530ed441","datavalue":{"value":{"entity-type":"item","numeric-id":4376171,"id":"Q4376171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a6494900bc5370d076dad27ec6158e1a6b32b0","datavalue":{"value":{"amount":"+0.7478159666061401","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":"Q5410261$417AD7F6-807F-434A-9180-886BF62A0FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19bfb87c32f1cb148dbc9b75f45f52080914c439","datavalue":{"value":{"entity-type":"item","numeric-id":3165970,"id":"Q3165970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b66e0b250dcd4240f3eb7618c1afb1afcb3b997","datavalue":{"value":{"amount":"+0.7462922930717468","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":"Q5410261$40BA9AD5-5CF9-495F-B845-EFCBD621270E","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":"65c2d875074d359e43785529fd64410f7e4697a6","datavalue":{"value":{"amount":"+0.7423593997955322","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":"Q5410261$0453970E-69F3-4C7E-B281-D839458CF5DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Singular and plural functions for functional logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Singular_and_plural_functions_for_functional_logic_programming"}}}}}