{"entities":{"Q2761748":{"pageid":2772487,"ns":120,"title":"Item:Q2761748","lastrevid":47718109,"modified":"2026-01-02T12:43:57Z","type":"item","id":"Q2761748","labels":{"en":{"language":"en","value":"A semantics for \\(\\lambda_{str}^{\\{\\,\\}}\\): A calculus with overloading and late-binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686292"}},"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":"Q2761748$FE6E86A6-CAEF-425E-A6A6-F72FD3139775","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86706497b1107fd3c24fc249cdc2290f07cbc503","datavalue":{"value":"1010.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761748$31823B4C-1733-490C-B84C-1864578A56D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2761748$44CC27A4-76DF-443E-9686-AD8720580F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42ea6aaea41bbc0d91fc3fb48c000b593cdbdcee","datavalue":{"value":{"time":"+2003-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2761748$C9299D44-990E-49D6-815C-2A5A40E64587","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a0233fb0eb932ce36d7c3dafea4cb48c41066de","datavalue":{"value":"https://boris.unibe.ch/115282/1/110527.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2761748$EF5F419C-0FDB-4C59-AE56-09F14B8D2B08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761748$0550DD40-32FD-4A8E-B10A-E2201C955218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761748$4433A8E1-0DAC-4417-B619-2228FE97A8A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21ff9f98c3307822a28ef89560efbb0e25665049","datavalue":{"value":"1686292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761748$981B2C86-637F-47CF-A23D-3A36A6A62605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761748$17A544F6-F5E2-4FB6-B7DD-F73844B6AFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0254903a1fc8345110e2151a71caee5351a5d82c","datavalue":{"value":"object-oriented programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761748$8A481CAE-5F8D-44A1-BCC3-2D2F9B3EAD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761748$C34E77E3-091B-4938-BC40-2D9D353A97C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5e78b438b6b1c09f22af7529224da8edd3a394","datavalue":{"value":"type-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761748$36CDF379-DF26-43FD-AB6E-1055D5426F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761748$D5BE7D82-2E94-4790-B4DD-B75B6A61EAEA","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":"Q2761748$B34E9317-C691-4621-ACF8-8A8F79FC5394","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d132b485ea80d72e3a353411eaabab39e4e49cca","datavalue":{"value":"W1597392200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761748$56DA0E66-1CDB-4B7C-89DE-AC2FF624120F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd97bab322ab1dd17d4156821f773b4c4480d564","datavalue":{"value":"10.1093/LOGCOM/11.4.527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761748$A65699E5-4314-4F62-820D-0A3FAA381EDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2aa83a57a05d0289635880be4fa1c79d53fe976","datavalue":{"value":{"text":"A semantics for \\(\\lambda_{str}^{\\{\\,\\}}\\): A calculus with overloading and late-binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2761748$3C4B9063-D704-41F8-BB0D-1D90E023F059","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2761748$4DE52B4C-C921-4306-8FD1-6C9D0FAA01CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c96b01d157fbe2f56af4247c4c86597cbca22c6","datavalue":{"value":{"entity-type":"item","numeric-id":4281468,"id":"Q4281468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42525c6364cd352e13c7cd18c1e73ca72304d91","datavalue":{"value":{"amount":"+0.858600378036499","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":"Q2761748$317C9CC5-EA81-47A2-BD79-75D435F6D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d114b68c8bdca87f93fe5ac469a6d3a03827b2","datavalue":{"value":{"entity-type":"item","numeric-id":687575,"id":"Q687575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42525c6364cd352e13c7cd18c1e73ca72304d91","datavalue":{"value":{"amount":"+0.858600378036499","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":"Q2761748$F92B6CAF-3B75-40FC-8C1E-C99F5712CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e411b8477d930c9951475af0c396cf9c53b282","datavalue":{"value":{"entity-type":"item","numeric-id":1392284,"id":"Q1392284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d826240ed6e9b6de027c9c08ac4846fdea55007e","datavalue":{"value":{"amount":"+0.8055539131164551","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":"Q2761748$87DF909F-570F-4D11-BCE6-B9494AF5F680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d10c1bb8cbb9579d86c861807c780c84886316d","datavalue":{"value":{"entity-type":"item","numeric-id":4490732,"id":"Q4490732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d547d780c212bcd214ee41917cdd7ab1ce9ace5","datavalue":{"value":{"amount":"+0.7914553880691528","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":"Q2761748$16D1ABBA-6A31-420C-9E31-37957AD5E1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b409d3bf9e7845a7fa4723753b0f6d4d36bf285","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0f054137d51988178ac08d443c666ffa59aa59","datavalue":{"value":{"amount":"+0.7893509864807129","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":"Q2761748$45E259D1-5177-4B7E-BDDA-68CAF60A4B8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2761748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2761748"}}}}}