{"entities":{"Q1918933":{"pageid":1929675,"ns":120,"title":"Item:Q1918933","lastrevid":46458339,"modified":"2025-12-24T20:01:52Z","type":"item","id":"Q1918933","labels":{"en":{"language":"en","value":"Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 907982"}},"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":"Q1918933$CE6B2CF1-8F2D-471D-A146-C205A8BF7D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d49cd7a264bb73ee7374986c29a9755fe9ca4c83","datavalue":{"value":{"text":"Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918933$0305578C-4479-4613-AA79-9617188881E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c27fcf9a8390a7a9eda7fb4539fb957418631dd","datavalue":{"value":"0852.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918933$2C1CE975-7C96-42DA-9113-FFB6FA80FAC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46de750d30912da2219a24342df6661bfa6ce7b1","datavalue":{"value":"10.1007/BF01214916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918933$E4BCA098-E262-4D37-9758-1CF4CC5A535A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b209780d81daa64ec96c8241b2924bd88decdd8f","datavalue":{"value":{"entity-type":"item","numeric-id":930880,"id":"Q930880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$9E92F44E-779B-476E-AA93-C4FFAA8E1BD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$58B63073-CF1D-482C-8D9D-6DD6129BDA6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18da71c747bfee20659f449ac103b23b2a4d036e","datavalue":{"value":{"time":"+1996-12-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":"Q1918933$897E1EDE-09A5-4235-AD20-9A4327D0D828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918933$A39D9E78-8C88-401A-B385-CD9C11ACC481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8332ba80290c0d86067eab1f40d32969bbe4ebd5","datavalue":{"value":"907982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918933$FEC27B30-8F0B-4597-8890-1040195C25D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077b5473b6870bb6162666175a1dc2dc618a2f13","datavalue":{"value":"bounded polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918933$DCC89F5C-857B-47CD-A67F-1F7671CC5421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db53fabbfd42418de9bca1278253ead9a3d35c73","datavalue":{"value":"object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918933$2FE70537-F1E9-4EB7-911E-6BFD64AE72CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7065da34582d9f92b7f86f4002a6629cdf0b0436","datavalue":{"value":{"entity-type":"item","numeric-id":15866,"id":"Q15866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$2ACF1D4C-AD45-466B-86D5-368629824862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6722510c06a79717dbb5a2aab1dc4972ff891c59","datavalue":{"value":{"entity-type":"item","numeric-id":22090,"id":"Q22090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$9ECFB097-3AC3-4DA8-9724-13D8C3E02FAD","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":"Q1918933$6406CC55-8F23-43A0-9588-1B367FA1ECE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$1E20CA45-7D81-435A-B525-552B085FA6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1c3af5b659c9cec818970365dbdcb96722aee3","datavalue":{"value":{"entity-type":"item","numeric-id":4764618,"id":"Q4764618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$576C2C95-6BB6-414E-99A7-5605FDCA3CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$73717C3B-12D2-4C68-9E38-B47D24EAC3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$AE5F33A6-247D-4C94-8BD5-655235831DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cb22c7f7c4ee0d0781b528bd2eadd15dc334a8","datavalue":{"value":{"entity-type":"item","numeric-id":1350339,"id":"Q1350339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$B50493AA-EEE3-4704-BDE9-0A907006316E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$E392FE90-F71E-463F-B778-4941BBF97F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03c18e1e2833a91aac7d3476d2f38d81622d637","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$0312F4F6-31C5-4219-A0E3-1D8DA4F2D723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bfc7db689f1adf038bc47f7b63be2721535b00","datavalue":{"value":{"entity-type":"item","numeric-id":4281468,"id":"Q4281468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$AE5D9218-09E0-4167-8CFF-5D7C837378B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09beafdc2e25f4b9f00725001e5d303eb139d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4855348,"id":"Q4855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$083338BE-3524-437A-A0A7-267F125583BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4ac9496c42e23fd254aa24e5eda39806cc4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4939689,"id":"Q4939689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$7AF70095-9523-4597-B717-B224C0BAF5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$98BDDDB1-36A7-40DE-859F-96511A3B0FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d14100849b4efc5fe38f5cf9d0d6b3f6795a47","datavalue":{"value":{"entity-type":"item","numeric-id":3837264,"id":"Q3837264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$1B3C55DB-F7B7-4644-9D56-D4F3DAF89688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$3FDD83B5-078D-4D50-BEE3-2CBE1B1FAD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$1ADB50B3-51E8-4E92-9336-9994C1AE352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f2519b5078bb9eb21d8c9f7fcd15b55f367e22","datavalue":{"value":{"entity-type":"item","numeric-id":3998221,"id":"Q3998221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$F28A2E45-8078-417F-AC3E-E9E8847AB049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$E42FD44C-0671-4CE9-A9D6-CC00B3E1DF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$3BB8A167-23D7-4F9A-8555-EB80BB02CE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$0307B8EE-E18A-44C6-ACBF-4F31786F745B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918933$52EAD249-8C82-4852-A77B-7468EC16AC8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d36cb4949b6efaca2c7a0781d7a13032838fcf59","datavalue":{"value":"https://doi.org/10.1007/bf01214916","type":"string"},"datatype":"url"},"type":"statement","id":"Q1918933$AD602346-526D-4F0A-BF89-5441CF60B8C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ad7d4d7cafa09ae0f41972a9737e05741900d05","datavalue":{"value":"W2066972783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918933$23921C0C-89F6-4C80-A5F5-4AB7F2B4D10A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee3a3403892b4f66e652e5a89a91407811a4734","datavalue":{"value":{"entity-type":"item","numeric-id":1605176,"id":"Q1605176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127c1a9f3ead412bd8b28a7ffc99aa5709084ca1","datavalue":{"value":{"amount":"+0.812410831451416","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":"Q1918933$9685F51F-B9F5-4004-8E11-C795593B1A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242cf683288af100827015f68ac43b1efdb86b09","datavalue":{"value":{"entity-type":"item","numeric-id":5096247,"id":"Q5096247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7861c5744314807840c2fc707dd4a70a62c03d26","datavalue":{"value":{"amount":"+0.7889440059661865","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":"Q1918933$02405B3D-D32A-497A-8BC7-0803FB550E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc84c98ecb8d20117ac3288cc27c98c898b554d","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88929a7eec5b5c1046397b4cb9651bac8dc6072a","datavalue":{"value":{"amount":"+0.7836517691612244","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":"Q1918933$EEF0B094-A34B-4DDE-9A9F-7D3B55D82E8F","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":"c383ccbcd5460e00071c9de8b6863746a36b2f2c","datavalue":{"value":{"amount":"+0.762036144733429","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":"Q1918933$2791F176-53D2-4711-87AE-DE50BA357AD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1918933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1918933"}}}}}