{"entities":{"Q1250704":{"pageid":1261454,"ns":120,"title":"Item:Q1250704","lastrevid":68450064,"modified":"2026-04-12T23:47:21Z","type":"item","id":"Q1250704","labels":{"en":{"language":"en","value":"A theory of type polymorphism in programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3604316"}},"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":"Q1250704$98BD6014-9DBE-4B41-B269-B762288BEA48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1119f504976a805f64a164c36d3ab7e9a6e192d9","datavalue":{"value":{"text":"A theory of type polymorphism in programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1250704$336D0C32-4AC5-479F-BD89-FFC445604F60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e310476349114756c8eef0f9d629fbf7bda3302","datavalue":{"value":"0388.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1250704$9BF3B9C6-DBA7-4798-948A-D0194DCCF38C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81656a8133c273160877579a68fa1373261b8bd6","datavalue":{"value":"10.1016/0022-0000(78)90014-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1250704$D3FFF016-8DBF-4813-848E-B4660BC6A9FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$77CAA777-8416-49E3-8E7E-179FB491BEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1250704$5B33E3F4-A5F2-4EE5-8786-0C2AEEB63C03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13b80c89a183af24fa68ab612cf18caf96ed41e5","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/15143545/1_s2.0_0022000078900144_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1250704$67B53675-6F8E-461B-98D4-7683E35D4CFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1250704$2431B5EC-2562-40C7-AF6B-0BEEF2B872A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6141d0a333ce8e811ce7519319119d5c334a2d9","datavalue":{"value":"3604316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1250704$BFCB6971-54E3-4474-BE56-B4B1B612CCBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$B102954B-96B2-46F5-8D53-21E0B7D6F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$D3420FAC-F1B3-434B-8476-0F4AF6B0A711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$28BE8AF5-DE6C-4D5A-9275-054363306F27","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a9099ce8cbc838794764de25ef129805f9913fb","datavalue":{"value":"Q55881388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1250704$CF977954-79D3-4D67-ABBC-715EAB7C8FEB","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":"Q1250704$8E528762-C88A-4C9E-9DB0-D6E66BDA5EA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efdbf8da4cefa9e58f22bc9fa8e502f6a21debbb","datavalue":{"value":"W2166822586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1250704$47F4AECE-8009-47E0-82E7-4FD25789FDBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28df2712119352cfc70833dae3c4445fb4c54d0","datavalue":{"value":{"entity-type":"item","numeric-id":4082975,"id":"Q4082975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$C89EDBE9-9E53-4F1E-A2B3-B11A41ECEDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$212E61AF-E30A-4E36-9ACA-AD326D0C1B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be6e89b1ab79158b9f17604b3428fc2a3e7f728","datavalue":{"value":{"entity-type":"item","numeric-id":4130984,"id":"Q4130984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$015D45E5-119B-4CDE-8187-62276B38E499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$5347E1F6-6A84-4E73-9985-F0B6CE57AF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9630e5a18b59a8960f03358199f44f0ae45a2563","datavalue":{"value":{"entity-type":"item","numeric-id":4184271,"id":"Q4184271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$93ECA53C-B583-4D3F-8D47-BA405A469654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$D50B8BE0-AFA6-41C6-8E89-A6956AF0F065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ab95fc01be767d90b6bae3c34156c6a4fd62a7","datavalue":{"value":{"entity-type":"item","numeric-id":4138713,"id":"Q4138713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$99868131-C04E-49E6-BEE4-294C870098B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$AB0C261E-7AAF-4B44-9BFB-E6AA90DEECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$B25240C4-2D87-4450-B9F7-AD052C45DFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$291B828E-C1DE-4ED8-A160-0464326BBBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$D2B3B0A7-D3A4-4B04-8E3A-795709B6BFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$58399D4C-7ED7-417B-B598-5F6E5DBA0DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2901249b551485960836e9a991cdbf958abb55cb","datavalue":{"value":{"entity-type":"item","numeric-id":4124312,"id":"Q4124312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$E4BC41D5-F392-4469-8B28-1492918C4D12","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":"Q1250704$406C0E27-8BAA-44B1-AD80-06B6C9D67CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81eeb945842044b96c7ba1b990c839c947635ec","datavalue":{"value":{"entity-type":"item","numeric-id":1234589,"id":"Q1234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$ADF0E089-E6D4-487E-AC64-A755A966BCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b15c3f6fe148a7e07f992bce5fb93cace9e0144","datavalue":{"value":{"entity-type":"item","numeric-id":4401557,"id":"Q4401557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$B95C4CAC-3504-4110-A844-1159D07C64A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd392fe331dddb0c8c57afb213ae49737005525","datavalue":{"value":{"entity-type":"item","numeric-id":1222015,"id":"Q1222015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1250704$9A692D05-CCC4-45A8-8C8F-E4F8D7913EE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of type polymorphism in programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_type_polymorphism_in_programming"}}}}}