{"entities":{"Q2409747":{"pageid":2420490,"ns":120,"title":"Item:Q2409747","lastrevid":57908226,"modified":"2026-04-03T01:15:34Z","type":"item","id":"Q2409747","labels":{"en":{"language":"en","value":"Nominal unification of higher order expressions with recursive let"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791234"}},"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":"Q2409747$096E49CE-4A1D-4FE1-B851-C41F0B23B2A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85d5fa94d8665b086e119b500019d5b3b76bcbd1","datavalue":{"value":{"text":"Nominal unification of higher order expressions with recursive let","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409747$FBC0FF79-E14F-4C3C-A190-37091E4FB41A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5cc803e7830b5245e1aa214eff61c91057bf485","datavalue":{"value":"1485.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$77D1E8FD-218D-4461-847B-70B547112594","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17df9d602725f725439a7eda3d2906990fb4f344","datavalue":{"value":"10.1007/978-3-319-63139-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$AB8E2F66-A24C-482E-A1A7-F8FB8606F05C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409747$6222A718-459B-40CD-AC09-A7F2E1DDE07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22aae427d987903b086f7261fd1e4d8ee37a346c","datavalue":{"value":{"entity-type":"item","numeric-id":351994,"id":"Q351994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409747$F4BD1FD3-4F37-4F7D-BFDC-C2003F259FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409747$5699596D-425F-4540-8131-B068AE34080C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409747$C9C10491-D603-46D7-A54F-F515D74E88EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-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":"Q2409747$D1A3BD7D-0AC0-4F5E-8AD0-F231EFC14F61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c008bc9c34697d50cfc3cf1fd9d327512676bd54","datavalue":{"value":"https://arxiv.org/abs/1608.03771","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409747$80F9AD49-FF42-4C31-B295-1ABA7869264E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$4C31FE6C-2477-475B-8C65-B9E5E8CB8C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$BD285F09-938A-4DAE-BFF4-21CDA2BA5919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$DB1BCD91-2B1C-424D-A604-E5A32D84E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$8737FDEE-B126-4CDC-9527-307144154D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$01640A31-DA12-485B-BE4B-8CBA68CDFCCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5290df2789cc5223c4d21c3403c5c6a94565a417","datavalue":{"value":"6791234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$AA7A7B14-D4D6-48E0-83D2-9946787A7CD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3332489c51441a79596b8aa3ff1b6630a2bead","datavalue":{"value":"nominal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409747$A92EF8AB-3261-440A-8EEC-9EA3E99968A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409747$451F7D53-6A8D-4F07-8246-DF68AD99ABB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fe3b3fbac1b9707055b07af5e8f72f575fcc633","datavalue":{"value":"higher-order expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409747$03DD3405-721F-4AC6-892D-B3E13B938ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c5432630bbc041cb73fecea8931600a5c65e9c","datavalue":{"value":"recursive let","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409747$7DC0142D-996E-424A-B2FF-A4E0A0201DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409747$1D490718-5650-4C7E-9E26-FE448B4CB08F","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":"Q2409747$82FB07DA-4148-45B4-80A7-E9AF2E21FD2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9251975dc6cee7724b7fc69fe8b93b85daaf55a","datavalue":{"value":"W2511722588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409747$1072C1F3-168D-4CA2-85AF-3832C387C585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60202256e215ee1dd4ef499b809ea083890f1cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1640638,"id":"Q1640638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80722e839e702034cb943ffd1adbbb53d0c1d684","datavalue":{"value":{"amount":"+0.8158665299415588","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":"Q2409747$6943EFF0-8A57-4F6B-8EFE-DA4ECAD1A91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7532c6e676fa53537b370a06409ce75cff320fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb95b2fda2a519ae331b3979ef172fb38d032d3e","datavalue":{"value":{"amount":"+0.8152812719345093","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":"Q2409747$49D26C06-3988-47E0-8AAD-AC5FE4BEE591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a566c5a4510d10ac65aa16a67b65293e15e1ad","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa7cc97b40928d3a63b990995ac2cb9aa6f8c29","datavalue":{"value":{"amount":"+0.8079447746276855","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":"Q2409747$6D14DC76-BA9C-4C54-AFF3-A81AA10D5713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d191968a34b1faef942b73bc6b005a3a3717a2","datavalue":{"value":{"entity-type":"item","numeric-id":2958381,"id":"Q2958381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880d51b64c75276951b687ab8eef12a1d8e119af","datavalue":{"value":{"amount":"+0.8061725497245789","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":"Q2409747$9B825A35-DAF1-44A8-8140-63504C85FEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409747"}}}}}