{"entities":{"Q5249029":{"pageid":7278597,"ns":120,"title":"Item:Q5249029","lastrevid":52252403,"modified":"2026-01-21T06:34:32Z","type":"item","id":"Q5249029","labels":{"en":{"language":"en","value":"Type inference for first-class messages with feature constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432031"}},"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":"Q5249029$6B15E68A-8BF6-4871-9B91-0732AA0554F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7b9f926023b76dadb136e11ebfaf35b6261c3dd","datavalue":{"value":{"text":"TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249029$7A6AB987-AFD5-4F47-9C28-5CD0B5D72084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37ab01993ccca53ea5855424cf89d3ecb4bb47ec","datavalue":{"value":"1319.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249029$88E6A454-8AD3-4857-B1C2-3DF082B6892D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"964f7079fe593aae52d0bb185a0982aadecd66dc","datavalue":{"value":"10.1142/S0129054100000041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249029$75BDFECD-F20D-4FC6-A4D8-04C41F3962FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$88FF77A4-7166-4DB1-A502-7C74E9B4E9D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249029$7ACF5ADE-F712-4216-B5BD-0604885AA828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249029$FF5112CD-6611-4587-8D3D-2268ECBD6CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249029$465908B3-6B01-41E0-BA0A-09D88F53924D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaa8eedad8fd973ae77f77027002d3127aaea411","datavalue":{"value":"6432031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249029$AD791080-2FAC-41F6-BFA2-B0E8D87DF668","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249029$DA06BA55-D8A0-4864-BA56-0195FC3110EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"396b4a80fe8a06b24eac21396cd2a08f28ee5c36","datavalue":{"value":"first-class messages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249029$EB463475-0B58-40D7-BF2C-48F53A2F1246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33c82c865fa37a6d1cabc4a35141db36d96798c","datavalue":{"value":"constraint-based type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249029$0CC85070-CA72-447F-9D5B-A296CE483ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249029$0E07C249-3DDB-4B1A-BB56-EE00D911F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e5c90d8df0d04c7de1f5dab155598d158299a9","datavalue":{"value":"feature constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249029$CAE84D39-6EB5-483A-BC5A-1492F22340E4","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":"Q5249029$2F761A85-B1FA-42A2-96F9-8BF63B1435E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c50458d2aa5ef32782242c5d7d92bf4da0b1142","datavalue":{"value":{"entity-type":"item","numeric-id":5289307,"id":"Q5289307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$5FCEAC9C-0566-4D07-BE6F-FE7D5C437A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa0aa916448b6f4435b4c01b98ce8d971940a08","datavalue":{"value":{"entity-type":"item","numeric-id":3125892,"id":"Q3125892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$6B838D24-A9B4-4321-A40C-920353540869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af0fe242484d7408c8b0a76ebe424a011e34904","datavalue":{"value":{"entity-type":"item","numeric-id":4305355,"id":"Q4305355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$896D2A23-DDB1-4C0F-B0E8-CAE4A3AAFB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175ce5d5083c8155a0a3300509bae00b5d459802","datavalue":{"value":{"entity-type":"item","numeric-id":4299012,"id":"Q4299012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$AF598FE4-76CF-4F38-AB5F-C3A6646A4869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$2E35E97C-6AD4-47CB-AD52-12006E5EBEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1faf85769cb356e0c3eb6e02919c1660cde5931d","datavalue":{"value":{"entity-type":"item","numeric-id":4290618,"id":"Q4290618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$A7BD27C9-D078-4745-BDA2-6908EC5E4997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff07822832d6f2b37392d53640e87cc5f372eae3","datavalue":{"value":{"entity-type":"item","numeric-id":808687,"id":"Q808687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249029$60C4F856-3527-4355-ADD2-AF06619C2CAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f072a9bef8d6b3a6db7ac031298487949dfaed1","datavalue":{"value":"https://doi.org/10.1142/s0129054100000041","type":"string"},"datatype":"url"},"type":"statement","id":"Q5249029$46022F93-CEDD-4CD8-8481-2067F1D77822","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dd44bce8d928ec5813cd3e87d0091901219f77c","datavalue":{"value":"W2758923635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249029$9C2452BF-B3FE-45D2-B630-D1A5C462945F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b582233e08f802a57d40afc162ad5399f86262","datavalue":{"value":{"entity-type":"item","numeric-id":2712585,"id":"Q2712585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343cef20657d51c583d199daad487944d29d7b70","datavalue":{"value":{"amount":"+0.7842590808868408","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":"Q5249029$FBD34DCE-4B81-4136-BA08-E06D411DAA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a6263eaef5dc46486cb4ca0b8651b0ad975d35","datavalue":{"value":{"entity-type":"item","numeric-id":5178769,"id":"Q5178769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3981c94ff5b10accff99c50762c56be2272902","datavalue":{"value":{"amount":"+0.7491212487220764","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":"Q5249029$81FFF39D-8EE9-44D7-B196-2F549B58F35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eea353e0db3c4a9c6271e40563adb65a914c93","datavalue":{"value":{"entity-type":"item","numeric-id":2736357,"id":"Q2736357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792747e415aa874e82e0707d3114d207055082aa","datavalue":{"value":{"amount":"+0.7300640940666199","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":"Q5249029$98C0155A-EDFF-4E5B-8C45-A80D59C7E972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356139808c2309546ffdce508796fac4d40527f0","datavalue":{"value":{"entity-type":"item","numeric-id":2151281,"id":"Q2151281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2687b212c288ce7e634502b00c15dcf6e75940b2","datavalue":{"value":{"amount":"+0.724679708480835","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":"Q5249029$5D3BD071-51A2-4CC8-8618-5351BA48AE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551a31f341afe8a146c2cda10c5efa570a0ec8ab","datavalue":{"value":{"entity-type":"item","numeric-id":2729058,"id":"Q2729058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577a21708dc4963d89091bf1d793d1f25cd1a748","datavalue":{"value":{"amount":"+0.7207534313201904","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":"Q5249029$953774B1-B0EB-4BCB-8D32-A026321E8190","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5249029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5249029"}}}}}