{"entities":{"Q2437797":{"pageid":2448540,"ns":120,"title":"Item:Q2437797","lastrevid":74344833,"modified":"2026-04-14T19:39:01Z","type":"item","id":"Q2437797","labels":{"en":{"language":"en","value":"Safe typing of functional logic programs with opaque patterns and local bindings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6269678"}},"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":"Q2437797$C609782D-E9B9-40CF-8276-63152DB3BC5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa8de0c6a2a277c6b5cfae99940d05325c127003","datavalue":{"value":{"text":"Safe typing of functional logic programs with opaque patterns and local bindings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2437797$A26AA56A-C0DA-427A-A8E9-FBAB67DACDAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4e209c2fa261ec4ac91a29ae6294b56ebfeb72c","datavalue":{"value":"1358.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437797$E4B90D49-2ECE-4BA1-839D-50D930F4D145","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fdbed0cd9991ae3ff2fee5896dfef6e796368f6","datavalue":{"value":{"entity-type":"item","numeric-id":832311,"id":"Q832311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$E4153CDF-29DF-454B-8DC7-A43745811518","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":"Q2437797$C170241F-D669-47A1-BAA8-FD4283A8F0F9","rank":"normal"},{"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":"Q2437797$F23314D5-440E-4805-9E9D-173A774C7B9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$3EAE2072-ACB5-412D-9D50-837A5F03F201","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90cd079fd2844668d283b4beaad22194313eaa90","datavalue":{"value":{"time":"+2014-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2437797$F6C1B259-8C70-4B6A-926B-DDF896D8C03F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437797$9A3AF6C0-D7B2-4C41-A042-62BC9575E90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437797$2AA9085D-342B-4DA0-8610-412233C0660A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c80ec216a4c26226bb3435b4ecb11a9a1f1d5d97","datavalue":{"value":"6269678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437797$E3DBEA10-DE7E-44D2-8489-B4D4B8CBC463","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85bae75b2024f4dd73d8610bb3ebb834d7409639","datavalue":{"value":"functional-logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437797$73B4F89B-F4FF-4CE6-8EAF-256632DCD760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437797$7D17CCE8-430E-473D-85AA-B21A806D2CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e116d27d0266b6c6e45824bfac1d1f55465d5da1","datavalue":{"value":"opaque patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437797$BD524048-1E2C-48D8-95A4-365E8C978FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adce15f5b21abca15eab2e8633fdf5eac20a6151","datavalue":{"value":"let bindings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437797$9746F7EC-8B43-45C9-B14E-617FCC9B24C3","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":"Q2437797$121D6679-6508-4EC2-AF71-7AA0A932D88C","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":"Q2437797$912A2682-E1E9-4E53-829C-D1010BEDA595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a3a715fbf32c3f4ffaa55d1f56d915d58385cce","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2437797$F88A2AC1-D4D3-40BD-AF46-08A3F823BBC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80774b72bed818ab027dbd0554bcb32dbd43d430","datavalue":{"value":"W2029044760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437797$BD9ADD56-2D85-4094-AF3D-2D33944569EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"775b67d93e5520a6052151e90159cfd6b8277e30","datavalue":{"value":{"entity-type":"item","numeric-id":3608646,"id":"Q3608646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$9C9660D6-A7F4-4150-B755-1A7E5137FB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b26d4d848b32a199410f54369a1d4f5c1019341","datavalue":{"value":{"entity-type":"item","numeric-id":5458434,"id":"Q5458434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$4C8635DC-D650-4017-BF32-16E3CF6CF116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb90f9482403d4f7e6aab6c0928fb6f43b6eae2","datavalue":{"value":{"entity-type":"item","numeric-id":2766773,"id":"Q2766773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$B1AB9272-8B7C-41CF-9C0F-7C86C0093C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceccb93688824f733990b0efebd6bbcf8e1cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2726286,"id":"Q2726286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$9872CF97-35C4-4D35-B43B-0F75EB44ABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$54E7B0DD-8E50-4FF1-BD3A-D92C7E91FAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$BDDAC9C5-FF25-4650-90FB-2599E0938909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbac71c6d92500dbf536db2f24add53c05adc73f","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$7707EF1D-5F44-4FB6-AE32-1962891593AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$9E7C4CFD-9768-4545-9981-6CEC7BDA45E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c09d0c72347ea8db62d5cffa13b8ad5d67d1ba","datavalue":{"value":{"entity-type":"item","numeric-id":3558338,"id":"Q3558338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$CFD42890-A7AC-4D5A-931F-8D2B534328A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc444a1bec4f7c55cbe2eee1d14d89dbf7c1cac8","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$1935649A-4C29-48F1-83FD-9010FF23563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e8f349b9d040399464f58e77fd5e3e98ad4608","datavalue":{"value":{"entity-type":"item","numeric-id":2936831,"id":"Q2936831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$864D06D4-AF0F-4BD3-931F-8AC3F23579FE","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":"Q2437797$C6F4E65F-FA4F-4E6A-8041-9AB721812501","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":"Q2437797$20EF2003-98DC-498A-9165-489B67F81F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976e3c11c5fb6d31512ad3760f493341d4e2c098","datavalue":{"value":{"entity-type":"item","numeric-id":2766793,"id":"Q2766793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$3ABAF6C8-6C35-4610-A14E-B068D8B2F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe649717c1dfce520598fbe94caf9c3a3da907eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557099,"id":"Q3557099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437797$2AAC75B3-EF41-4BE9-97AE-5849EB81A105","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22ffdb295a44d066c74f2faea4e2eeb1c011be9b","datavalue":{"value":"10.1016/J.IC.2014.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437797$7B3601E7-B87F-4E8E-A6D2-4E6AED78B1FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d17945f537c6d11e2aa5e552aee0ff4026fc3ac","datavalue":{"value":{"entity-type":"item","numeric-id":3557099,"id":"Q3557099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b237515b1f27cf8a3d082a948fde4c2177c8f3cc","datavalue":{"value":{"amount":"+0.9380831122398376","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":"Q2437797$E5753550-6E1C-4040-A9B8-F4194D586E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a167266b745b4f5e749f60efdab9649f4f934e8","datavalue":{"value":{"entity-type":"item","numeric-id":5740645,"id":"Q5740645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198fcdf3f8bcc1147ddae21121feae088132b9a2","datavalue":{"value":{"amount":"+0.7852123379707336","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":"Q2437797$D50AA582-8734-4789-927D-80F5E8403974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6003e8091414effcc419aefaf84cc0455d59dd12","datavalue":{"value":{"entity-type":"item","numeric-id":2726286,"id":"Q2726286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7016d313f36863efcd7b370e0b1440675ceab998","datavalue":{"value":{"amount":"+0.7097680568695068","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":"Q2437797$39035A38-4B06-41F4-9114-2B252553FEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e78376902b3e7b02d2c80b765b954fcb85c79b7","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4b2a3e42014e01d373a280619b52291ad5e086","datavalue":{"value":{"amount":"+0.6980673670768738","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":"Q2437797$F0364CED-3985-4431-B4D6-EDAE719F3CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed63a54ba901b65e13db2763827b2dcc8597a71","datavalue":{"value":{"entity-type":"item","numeric-id":2766766,"id":"Q2766766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1569a38f03d9b05d3f6f84bbc3ab6ed7684a0fd","datavalue":{"value":{"amount":"+0.6970959901809692","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":"Q2437797$9628325F-130D-4CDA-B2D1-0EA60EDDED4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safe typing of functional logic programs with opaque patterns and local bindings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safe_typing_of_functional_logic_programs_with_opaque_patterns_and_local_bindings"}}}}}