{"entities":{"Q1770414":{"pageid":1781156,"ns":120,"title":"Item:Q1770414","lastrevid":72502584,"modified":"2026-04-14T05:21:44Z","type":"item","id":"Q1770414","labels":{"en":{"language":"en","value":"Normalisation for higher-order calculi with explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153207"}},"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":"Q1770414$49079A79-B8B3-4F24-B383-4B43EFF780A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545e4bd8d698891c8449938a47abca0e1b5d64d3","datavalue":{"value":{"text":"Normalisation for higher-order calculi with explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770414$0733FDFC-E78C-4FA5-AD7D-D96D9926D7DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76432cea8678a3e9920b06b2ed25bb6aecdf938d","datavalue":{"value":"1070.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770414$A21B7319-67C4-4973-90EA-7946BAD4426C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$3541DD56-034D-44E6-B182-5854A2643D79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$DFDAFAD2-F6C3-4911-B16F-9487F8BFF623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770414$61D53666-9BDA-4F38-B488-B55192D3EE95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770414$BD3E49A6-E3D5-4E8E-BAF3-1D18150357DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770414$1F0A0B09-8789-46C4-A971-649CFF2AF067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d203f1b419128bcbd65a7ec7e8588b07e6fddd11","datavalue":{"value":"2153207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770414$186525E1-5D36-430B-9257-217B4D3E9736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02fe2537e5a6a19502e9e8c005da353bb805a871","datavalue":{"value":"Higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770414$4E6F927E-6ADF-4F61-85BE-FAF30692993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770414$564ADE10-D4F7-4D1D-9F16-8CAD21448123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ad2bf217deca5d48302303823b649ed43103ea","datavalue":{"value":"Explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770414$634511A6-DE69-4862-8880-838BC254C640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c51bd0c7b883912e94c110f940bc554899811b4b","datavalue":{"value":"Normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770414$62932936-DE1A-43F5-8ABE-574766C52A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06146d8118d5a2c2de0d647f06397db81f9acaa","datavalue":{"value":"Needed-strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770414$841E8AF2-F901-415B-A8BB-C70852CF2452","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":"Q1770414$70C688C2-B390-4F7D-A834-AB6BFFF15BD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e7648b50317e772734086c97d5bcae57d49b760","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770414$BD38596D-C910-4771-AB42-1B019FB42BB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"969e5bc2e8dad2776c5845ed865e57ed487d16c2","datavalue":{"value":"W2073527997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770414$35EC302C-B4C1-4346-91F4-CC3922BD320D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$1531337A-72C4-4D9C-AD1B-78AAACFE0DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$7401BA57-1806-432A-8C21-15B18179CCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$0198FE81-A851-4EA1-B880-3ABEFCA6D18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699c19a71ba20ac43e5ae02e95874f107dd6b0be","datavalue":{"value":{"entity-type":"item","numeric-id":1854348,"id":"Q1854348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$779370FA-07FB-4B3A-91F1-C115E2A8C73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ddca9848ca71df467ae316e34e2dee9e0e8cabe","datavalue":{"value":{"entity-type":"item","numeric-id":2713353,"id":"Q2713353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$111AAC0C-E566-4234-99F3-3686D18F95AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7d8937e9f1a89bfa62d82387808a9864beb27d","datavalue":{"value":{"entity-type":"item","numeric-id":4417857,"id":"Q4417857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$199AED23-B108-4FB6-8785-21FA1F70608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a673a0fbaa6a06c248080d5ac641578d795c17c","datavalue":{"value":{"entity-type":"item","numeric-id":2723891,"id":"Q2723891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$606DF843-D191-4E37-ADE4-D171DFABD1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17058ac38044d837e3346642b59178043e9a8bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2778870,"id":"Q2778870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$B915A07A-B1F1-4C93-87B8-A1B05BD61D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf065017c14be97500998deaea5bc17449273da","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$1EE5B8C8-419E-408B-8399-8865FB77AD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9165c8e5d5636b0b5598b5fb5003d7379d5d10","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$60BDC6DF-97A2-41B4-9433-FB40AB5F6A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$C5CC4284-E372-4EED-98EC-566234160EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$BED947D5-C913-49B8-AC02-6D8C7E6E0CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4597fc6828cec7b5cd7351c613a6892a3280ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2817681,"id":"Q2817681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$1BB7C04C-C76A-4545-A0EB-F4FE1A301263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$3B01CB14-3219-4836-89A9-48A875B6B795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393e142dc2d926110fb0fa05109cea6cb06ab44e","datavalue":{"value":{"entity-type":"item","numeric-id":5055799,"id":"Q5055799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$ACB1F170-FE5D-433A-BEFC-76BA6263E51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$0CF5A340-4593-4796-A26F-DD039138D6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$72589CDF-E9E7-4CF0-B7B6-AA83CC016426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c599153d0a1fd0a12ef0f8765e92f884a8da6809","datavalue":{"value":{"entity-type":"item","numeric-id":4500179,"id":"Q4500179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$8BD3080F-FBB9-4E6F-8376-CBB9580EA78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$53A93966-0FA5-4125-875C-F915EA8C0E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770414$CAFB7CD6-AC9E-4497-B39A-58FDE2BEABC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea2737f256d21bac105d2f0ab82d3ca3c1e25064","datavalue":{"value":"10.1016/J.TCS.2004.10.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770414$648DB6C1-494A-49AD-96B4-6D1958C6A4D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995c51a4f37f3599f520a150ac7e44ef8a97023a","datavalue":{"value":{"entity-type":"item","numeric-id":4417857,"id":"Q4417857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a97243a9b2ae28b3e0b14fe82d30dde59a6335","datavalue":{"value":{"amount":"+0.9955073595046996","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":"Q1770414$A60A1234-C665-4A51-BA49-830B57CBC5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e54c07ad29f12c4bdd75800e72942c910f887bb","datavalue":{"value":{"entity-type":"item","numeric-id":3608416,"id":"Q3608416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a31c397002bb4946958b081cf3a3f8c05b94458","datavalue":{"value":{"amount":"+0.8244554400444031","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":"Q1770414$9C5A4BD0-BCEC-4F16-B99E-30C958B16C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad1a65b49455f9cf58406adf9ab38f464fb85de","datavalue":{"value":{"amount":"+0.8235329389572144","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":"Q1770414$A9F0C8FD-4630-4CB0-A7C9-2F0CCA9B05CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5ef9a5c3ac019dce3021dd002373056183345f","datavalue":{"value":{"amount":"+0.8064650893211365","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":"Q1770414$B1EF2F66-117F-4230-96A4-953500EAC456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a379345f94b5932f8470dab9ad0a149fc8c8284","datavalue":{"value":{"entity-type":"item","numeric-id":4500179,"id":"Q4500179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5daba0efe1aa77f48b87ddabeb5a01583a714a","datavalue":{"value":{"amount":"+0.8042043447494507","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":"Q1770414$6093B865-4280-4841-B5DF-FEF37D5FC1F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalisation for higher-order calculi with explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalisation_for_higher-order_calculi_with_explicit_substitutions"}}}}}