{"entities":{"Q2392482":{"pageid":2403225,"ns":120,"title":"Item:Q2392482","lastrevid":51788240,"modified":"2026-01-20T01:14:38Z","type":"item","id":"Q2392482","labels":{"en":{"language":"en","value":"A canonical locally named representation of binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6193956"}},"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":"Q2392482$F5FBF7D8-8CC5-42B9-A168-A0575E53D736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f76bb64e36682015489bb8ddc40b783f7e2d5c14","datavalue":{"value":{"text":"A canonical locally named representation of binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2392482$FBFF8899-69F7-4567-B1D8-0AA7F34C6734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88839c7f4f9702819e6a2d34b8dec0f6075da58b","datavalue":{"value":"1270.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392482$37C688BA-3A43-4884-B21E-F738F3322095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f09969608d8699dd0bc1cbe8a166511a2b5de6","datavalue":{"value":{"entity-type":"item","numeric-id":740483,"id":"Q740483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$77A1E5A3-3934-4715-A336-6D86EB117A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$E16FE0AD-8DA4-4EAB-B98D-163927854FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9839e6b2c451febe526ce547ea5fd11508ee1","datavalue":{"value":{"entity-type":"item","numeric-id":744985,"id":"Q744985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$799DF85F-2F23-48AF-A815-3C37EB9110F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$7D33090B-2C67-44BA-AB2F-244D0C3F0EFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e52174554282dcd72d8428d308340f8fb7a9109","datavalue":{"value":{"time":"+2013-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2392482$FB46CE0D-B228-4B44-800C-8486616D0ABD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392482$F9895AF5-CA72-4A38-89D2-A4D04E4AA444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392482$AB830895-3EEB-43F5-ABB1-D169A5B1A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392482$27C801C3-59A6-43F2-9AF2-BD563EB8CA76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ce1c3fa0266c8dfb4bba2cab39277d3f2b00968","datavalue":{"value":"6193956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392482$28D0C4E0-D45A-47D5-B1D6-BC7B89749B6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825e6e134e758868dbf51f02f1ab06c9e0c070cb","datavalue":{"value":"binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392482$1B2D9696-D0F3-44BD-82CE-4DF42D3F67EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392482$897303D7-18B2-4E53-87D1-646E4B2B6286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392482$573CC343-B778-49A9-B508-79F0E6BC361F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$82D693D2-67B9-45DA-B9AA-1DF7DBC4D3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$384B045D-2908-4440-B27A-1C2273FD6B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$8C08C58F-6C2B-43F2-B6E2-D8993DB23D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c4c1126d2e4aefe4cff937dd992e10025c7d4a","datavalue":{"value":{"entity-type":"item","numeric-id":40287,"id":"Q40287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$765D85ED-97EF-40E5-81E3-DD8E65C47E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$CAB84EED-4DB9-49EF-B923-BF17DA8EC43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$0F0AC361-07AE-4759-9A95-E52D478A6A38","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":"Q2392482$6B505032-A824-4B94-8916-16F667AFEFDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"740b8e581c7a4f0e2e4f3a6876e56b89b72c72ba","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9229-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2392482$F167DAC5-77D6-47B9-8231-4E0D1874F8B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c48d22a386ced66e93b0ea351249152ae3be339","datavalue":{"value":"W2100730017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392482$A8AF7BD3-E95C-47E6-ACC9-C54539CC8E67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$403FED9B-92E8-465E-A157-BF2B3DCA3558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab63358c2a9806af600f7f743907818a47bc22e","datavalue":{"value":{"entity-type":"item","numeric-id":5895110,"id":"Q5895110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$807291B6-9665-424B-86EA-03B863D2F760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddc2d25595b2039aee78c8f5e062ccf7f85d04","datavalue":{"value":{"entity-type":"item","numeric-id":3543650,"id":"Q3543650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$71B6F1BF-4A50-4366-BDD1-925F2EE3A58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$6642FB7B-90A2-46D7-94C8-D155C3791BC8","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":"Q2392482$5DB3410E-5FFE-49B2-8A14-877AD387F7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$B51CAA82-C3F1-4774-A7FD-7EB3A926C98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$FBB40D9E-6CAB-40B2-A8C3-F940DDAD50B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$37BA49EF-4C05-47A6-A2A6-B20E26996D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3a39d793f3df562dc271dde8d3946fa17ac291","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$3A5AE45A-085E-4510-ABE1-32A9D0F981A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$F59CD7BF-2857-41FD-AADC-6C59508B5CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$6E0EDE5C-46BD-41E7-BB80-00E161B11F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99687c8181e5b88a06a08881d11b3d7a679484d","datavalue":{"value":{"entity-type":"item","numeric-id":4944858,"id":"Q4944858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$33C03EED-AE9B-4AFA-9CFF-1EB53EF89F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$934224A1-9C3B-40D6-83F0-2DA9D2155A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$0D06926B-36E2-488E-AE74-CD37F27E2039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afff082a6dc69faf74ce9d16730e700193201fbd","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$18E64E69-6D9D-4AF7-BB26-07A065ACC380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$1D50E44C-1496-47C1-8A05-AB7A6AC9C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$78ED9B97-4A6A-4291-ABCA-5E580B88EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$1A912D38-C524-456D-B77E-451B8710C0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392482$4FA4AA76-731B-4426-B9A8-22422DBB35CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"922848bca2cc49cc63c4e7fd85c8c1838658f529","datavalue":{"value":"10.1007/S10817-011-9229-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392482$9F5AAAEC-05C9-4BAF-8AC1-7C6FC61F765E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb4fc1cd4f41cb4175f9715fde383042ea49165","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824589d8d354a7eca58bd75569b03f8a7362056a","datavalue":{"value":{"amount":"+0.8170573115348816","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":"Q2392482$7882939C-88CE-4398-B5FD-B52E32CB481E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c05d8ceb30fb7dee16c2d6c4f9b7a6d009e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d75eaf11c4effe4c55823d40b7f4cdc9da25cb4","datavalue":{"value":{"amount":"+0.779456377029419","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":"Q2392482$0DB047D2-997A-4D19-A871-01104EA25A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa55f8790abaf6204c8df865d401717f0f03548","datavalue":{"value":{"entity-type":"item","numeric-id":2802464,"id":"Q2802464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c562df8c2b4fa7ba24332468b346be6e244ca5","datavalue":{"value":{"amount":"+0.7737048864364624","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":"Q2392482$FB613D3D-CEAA-44F9-B96D-CD7B23772F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d969b0fc68ad7e31167a84fb187788fbe217dcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1984791,"id":"Q1984791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b58e990be5f575f03d1ce86fbedb832222d094","datavalue":{"value":{"amount":"+0.739159107208252","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":"Q2392482$C871F1EA-A365-460E-85F6-9D6595F656BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0f0d0f0a622c9959dcd383c9f471cd4a0a93bb","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a618a3d9d12f25e0ed9b2de98c79eddb5bd8d1","datavalue":{"value":{"amount":"+0.7385826110839844","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":"Q2392482$79602A25-C0F7-4E23-94C9-422D88638AE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2392482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2392482"}}}}}