{"entities":{"Q2942887":{"pageid":2953607,"ns":120,"title":"Item:Q2942887","lastrevid":52343429,"modified":"2026-01-22T09:45:30Z","type":"item","id":"Q2942887","labels":{"en":{"language":"en","value":"On the power of coercion abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481261"}},"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":"Q2942887$BD79F3D8-9CA9-4CD3-BF0F-8A352D3F854F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ed38d70baa01f9dd34d97cfeb0b1f8b92ff59c8","datavalue":{"value":{"text":"On the power of coercion abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942887$7B6D8511-8737-4A56-9071-9B3259D278ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4eabb2959585698782d79f2ab66a6182d4cd04e","datavalue":{"value":"1321.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942887$DF02BE75-986D-473F-978F-6AB11D1EAD68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89c771b95dcf7eb6b2348ad6b82be6ddff71a24b","datavalue":{"value":"10.1145/2103656.2103699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942887$1A09C199-B7E3-43D1-A3B7-C137856C144E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bae9cff61a39bb550f765d8af5d88dd7064fda","datavalue":{"value":{"entity-type":"item","numeric-id":2942886,"id":"Q2942886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942887$CE54B2F2-436F-4B12-9A4F-E9FC4A622E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b50f2165478ed24dcc2bb28aff286f977f84adf3","datavalue":{"value":{"entity-type":"item","numeric-id":428890,"id":"Q428890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942887$61A05A3F-2691-4A3A-A95E-6E7F49C5069C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942887$EF0BA309-7DBA-420B-A951-FDF7BE57F6A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942887$56512CBB-D9A5-40A5-ACB3-29062A91B135","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1cb8567f08b3786cafd6877bccdd44edc1f46d7","datavalue":{"value":"https://hal.inria.fr/inria-00582570v3/file/RR-7587.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942887$B14CE178-99D4-495F-A9B2-B0FFA5E1624B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942887$ED93A6A2-0A6E-4895-B0AA-CCBEF999D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942887$815B2C2E-5451-4491-BF18-40B43B494F10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdc949ea662585e6b73c04248ba34e2c4726cff3","datavalue":{"value":"6481261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942887$D0FC8950-F8E3-47FC-99ED-51DB24936077","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077b5473b6870bb6162666175a1dc2dc618a2f13","datavalue":{"value":"bounded polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$CA8173DE-38B0-4F69-AFD2-6E10A1C07A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d1cd1651321f2e2bbc73d123c521d4ce3966d7","datavalue":{"value":"coercion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$98756876-03DD-4F09-851B-D9E333D63E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45322503bc74ba8caa3e549f4f7612baf63aa60","datavalue":{"value":"conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$893E64B3-6205-466B-A70E-3D2FDF55DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$AE338BFC-5646-4F3D-B7F7-15C0F56CD648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab27b77f81776e11fee698d9d5305812928b2a9","datavalue":{"value":"retyping functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$C746A0A6-1FF8-4579-80ED-CC57CFAE5691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$86F59A84-DC4A-4866-A225-EF5283175EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$870A47DA-A830-4C9B-8D3A-C3F261BF9F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"144b3128369a7ad919c941bd63311de1effabb60","datavalue":{"value":"type containment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942887$BE375442-7FD6-4970-9860-D21F9609F0AD","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":"Q2942887$D23AAC32-C669-4482-8953-9958657193FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c35550886083e0aba611ab2dca38924780f10481","datavalue":{"value":"W4206600381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942887$2FD3E22F-1F79-4F84-86BF-5BBE3385FBAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1788b4f5ddd471e926aa010a0345269ca58ad909","datavalue":{"value":{"entity-type":"item","numeric-id":4635618,"id":"Q4635618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7211f72a0854fb0880b66b0fa6774f09a6cb8cd7","datavalue":{"value":{"amount":"+0.8070791363716125","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":"Q2942887$8F555794-D935-4549-93FB-3B272201722C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf8d6e38430c04539d4af99e9420705e59588bd","datavalue":{"value":{"entity-type":"item","numeric-id":3520150,"id":"Q3520150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce60426cabcebb3fb65c23fcb2bb1d640ad66819","datavalue":{"value":{"amount":"+0.7943210005760193","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":"Q2942887$31A8C97E-2853-499E-8F41-CE13D1A78DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e6b2f2aa39a2a7a9d647c753613818954876ff","datavalue":{"value":{"entity-type":"item","numeric-id":2871871,"id":"Q2871871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e31aabdc8f13277480c56ea122de1ed888635fb","datavalue":{"value":{"amount":"+0.7878549695014954","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":"Q2942887$F3243EAC-8141-4E18-AD9C-E06847FB85EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594fdde212ba489ae68158839e8132d1f16cba29","datavalue":{"value":{"entity-type":"item","numeric-id":4820474,"id":"Q4820474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbca30b12dc07662eb0a321d43bb23ed16e91b79","datavalue":{"value":{"amount":"+0.7823936343193054","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":"Q2942887$1D67F010-0387-4139-9E5B-797F8E3C56C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d65bd0c8ada751a1edcfca9fa68fb3fbd3c77","datavalue":{"value":{"entity-type":"item","numeric-id":5712310,"id":"Q5712310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da636311fed65c3c9c1d273022356ddaa10a93a3","datavalue":{"value":{"amount":"+0.7787257432937622","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":"Q2942887$541BB082-3333-4050-B3C3-698A4F2DE4BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942887"}}}}}