{"entities":{"Q2038076":{"pageid":2048818,"ns":120,"title":"Item:Q2038076","lastrevid":54041939,"modified":"2026-01-26T03:46:06Z","type":"item","id":"Q2038076","labels":{"en":{"language":"en","value":"Syntactically restricting bounded polymorphism for decidable subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370093"}},"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":"Q2038076$43233042-3673-4FDB-947E-58236F95CE04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01e55e042e4859ed4de5cb5523982405abe30d81","datavalue":{"value":{"text":"Syntactically restricting bounded polymorphism for decidable subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038076$0BF5C628-5D0D-4D09-A908-3C9AD6096253","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c665428e21dc4c736390ce3aef3e9e839daf1620","datavalue":{"value":"1476.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038076$795986C6-98CE-4619-96EA-BC6B458C46AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fdf2b23a29a0c8c41f945230b2aa65b78b5082f","datavalue":{"value":"10.1007/978-3-030-64437-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038076$1C5393B9-2410-4C2C-B5A8-0A03DB40C833","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93ccaae8523c26f86b71771b8565e45311b81479","datavalue":{"value":{"entity-type":"item","numeric-id":2038075,"id":"Q2038075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038076$57DB5EEA-AC5D-4D46-8676-A26CE14F567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e589fc73a44d152c88a9f3777ecfeae4b35a15a2","datavalue":{"value":{"entity-type":"item","numeric-id":532425,"id":"Q532425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038076$C5918304-97F0-4864-BF6F-A3288FFD97D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34324ed041cbea58345a65a41e77a418945a2202","datavalue":{"value":{"entity-type":"item","numeric-id":1398667,"id":"Q1398667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038076$34340DEE-955F-42E3-8604-F91FD2DC00F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a8f0435668451d4af20db6101d27b6646d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":470037,"id":"Q470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038076$D0D8DBF1-C968-4538-91F0-74E8E7D66F6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038076$8BD0F047-A034-4D97-8A05-E7AA365BDC23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038076$AAB815BD-0EBF-4EC4-AB70-1C3D79D0D0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038076$4DC78C88-53A5-4E8B-9796-8FA064E3822A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038076$EADB7107-6C08-4E04-B224-E4B78FA5D591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e5938eabaa27921722ca82105198ecf656b47d7","datavalue":{"value":"7370093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038076$4A468E4F-340C-4EE1-AFB1-232DE9487EEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038076$A0468F39-5896-4EC0-8872-3E27DCE8A353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f83e13698d313acd83dd459c90c6186e54516757","datavalue":{"value":"language design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038076$CC7AC21E-6EB7-4F7D-9334-60CA21456FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038076$B526FD47-4B7B-481A-A3AA-E2E5A3F5C8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db53fabbfd42418de9bca1278253ead9a3d35c73","datavalue":{"value":"object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038076$F6A0BFF7-7A83-4568-B31B-A64D41F724DB","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":"Q2038076$F67B93E6-317E-4F74-B070-BE21DBD41CAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cd5d58674c59be7804498ee1157a22df4a5abba","datavalue":{"value":"https://doi.org/10.1007/978-3-030-64437-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038076$79045E9A-2DF9-430E-A5DE-89E5F9A6BF6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25207e8150694adaa64093ba7157c8b4d1b29e77","datavalue":{"value":"W3106635654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038076$78573E58-8759-4043-B97B-031C3C644055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a35255bbbd29ac1a7b25906f45796484c472af","datavalue":{"value":{"entity-type":"item","numeric-id":1758661,"id":"Q1758661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406ef236efb52789422c878600375ff49830985b","datavalue":{"value":{"amount":"+0.773148775100708","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":"Q2038076$C02C9A03-46D7-4BD0-8D35-A603E0C9160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da613220951a6ff0da516ba157f14995da7c95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4855344,"id":"Q4855344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8391824019cffad5624a9c113b67552c1fbcf04a","datavalue":{"value":{"amount":"+0.7711234092712402","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":"Q2038076$BB41BB68-F673-433E-8C31-FF221598ACC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843dd023fef806969b5b822fbbbdfbd02483bfd6","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8391824019cffad5624a9c113b67552c1fbcf04a","datavalue":{"value":{"amount":"+0.7711234092712402","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":"Q2038076$5E1040AE-570B-4854-BC6F-42EA3301A270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d5361dd4309bdd0910e20348430b8e8ca81840","datavalue":{"value":{"entity-type":"item","numeric-id":3540196,"id":"Q3540196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcb184305363ba585b82aafb8ed192069cd870f","datavalue":{"value":{"amount":"+0.7641711235046387","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":"Q2038076$D9098D01-6EE7-4300-9F40-FA8991E62086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edc535a49624d795add1c1d71a3ac0b8f178f67","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f22b99c56fdf64f3c12026ca93733b6214b4e2","datavalue":{"value":{"amount":"+0.7633011937141418","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":"Q2038076$1452F64B-C520-4DDC-81BF-87A0F9F2625D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038076","badges":[]}}}}}