{"entities":{"Q3172884":{"pageid":3183594,"ns":120,"title":"Item:Q3172884","lastrevid":51341891,"modified":"2026-01-17T20:25:31Z","type":"item","id":"Q3172884","labels":{"en":{"language":"en","value":"Expressing polymorphic types in a many-sorted language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954763"}},"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":"Q3172884$3804C33A-DA77-4B19-B60E-DD38268E0561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82626f68224f0f5eb637808ba7d463e743f82acd","datavalue":{"value":{"text":"Expressing Polymorphic Types in a Many-Sorted Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172884$D73646E6-F7AC-455E-8D05-F9EEBDE8D42B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f610993a59b7f3685e232534a47de4e0f1bd319b","datavalue":{"value":"1348.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172884$681BBA1F-BF7F-4892-B8FD-A62D52B1E428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8e3e1e0f1f5c69c2c24d352f36e030902af78ca","datavalue":{"value":"10.1007/978-3-642-24364-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172884$9CF308A5-1460-4DDC-888C-F0A1892B4A15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bcd23e543e08f966aec0710196e31d611d478c4","datavalue":{"value":{"entity-type":"item","numeric-id":2011566,"id":"Q2011566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$73CE44E6-080A-42BF-A9D7-0FD1362572D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec54547b4f5c25170660bf9ec332f673814ae34c","datavalue":{"value":{"entity-type":"item","numeric-id":287383,"id":"Q287383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$47EDC0D7-F35B-4597-B419-1E1ADE28C70B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$F82CE61C-FDD1-4AF2-AF46-E26BF51CB37C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172884$534AF6D3-1FF1-4F98-A436-3750CB89DEEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172884$D478F816-5CE9-45F7-97BE-3F3D1AF3A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172884$FCFD1CFB-A5B3-406D-8565-595B99860D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e37da3cfe2b17cf424e15af48dd1c1472ad6c3d2","datavalue":{"value":"5954763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172884$732517C4-C61B-41D8-A4A4-92EAA634F9D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$09E1C4BC-B633-429D-847D-F606B622D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$FAFA7FB6-1B77-4E2E-9C42-E5A4D73794EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$FB1419C8-259D-4649-9ABC-7BC7473365DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$8D8A66D6-0A9F-4122-80E9-BBF5B479287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eeeb3c8b51df8c956e8f61f416fe10285628064d","datavalue":{"value":{"entity-type":"item","numeric-id":34510,"id":"Q34510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$C1C7E4C8-F739-4AAC-A240-1F6B15357675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$731660DC-00A1-48F5-AF25-16395C83F690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$72C79ADB-71BE-46A6-9A46-A9E0068DFB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$E86A29AB-F945-42E9-9832-4AA28BDBB535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$1E65BBBD-00FD-49AA-971F-29262542ECD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$2998C100-5AD5-45B0-B1AC-A533006DCBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$98D57D18-374E-4D86-924C-C39669C80E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$BE032658-C187-4861-836F-1B790BB7AB7F","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":"Q3172884$DA3CE15D-C368-4C0E-B90B-88DCAD474DE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"923c3cda9b58a073809f2941751ac7f89fc3fde1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24364-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172884$AA8A1B6F-4A67-4FBD-8108-6AF6E3E6225A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4068b32c835e7aa21d9a319f9b0e30decf3664c","datavalue":{"value":"W1566741425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172884$C2BC195A-D909-4ED1-A30A-E6F8920D83BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"777fbab1eaa15a06783a0bbd465c24796c8f6e48","datavalue":{"value":{"entity-type":"item","numeric-id":3172884,"id":"Q3172884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$787A1C10-6D6E-4B7D-9E47-AAF1AEC9C022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f1717f46bdfdc7bc447b889dc7ab017c418d4a","datavalue":{"value":{"entity-type":"item","numeric-id":3608778,"id":"Q3608778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$DC4A75C1-E171-4A93-9EA7-7A3AC923054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a693c10013eb7bffb7ffbc0c1890644cc6a21fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4809048,"id":"Q4809048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$C8EEBC22-6D54-4D3D-B670-51922861AA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d05406c8520c743824ba3092f3947dc01da67","datavalue":{"value":{"entity-type":"item","numeric-id":3557085,"id":"Q3557085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$EE19DEA6-2D4F-4013-92F9-536EF2BEF195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$2C8B9C42-7A02-4A4C-B046-CDD8FECEF11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$1B8D1C4F-E45C-4CE5-875E-84A52EA001C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172884$63A347A7-15E2-48E7-AA5B-15173FA1809D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea000d3615c6b775706e346ed59ee0af8a085d92","datavalue":{"value":{"entity-type":"item","numeric-id":3608778,"id":"Q3608778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff1524c658c446a55fec34e8f4459f26789ef4a","datavalue":{"value":{"amount":"+0.8179858922958374","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":"Q3172884$1C2DB06B-7623-4592-82AD-295F54C9DE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062a7b7580365074b64d54fe631d8b6c277e8274","datavalue":{"value":{"entity-type":"item","numeric-id":2974796,"id":"Q2974796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8adef7442936bf72e73bef9bef31671b5e1981cb","datavalue":{"value":{"amount":"+0.8122811317443848","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":"Q3172884$007FE64D-2C5F-4915-B80E-F8F564E1F841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5e8c09986f82cf1dc15265a33a380b34037d33","datavalue":{"value":{"entity-type":"item","numeric-id":5326348,"id":"Q5326348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5430c8110c50f49f7e5561ae40de33e5fb4113d6","datavalue":{"value":{"amount":"+0.802179217338562","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":"Q3172884$28FA60DE-230E-47A4-A9C9-D29D34E36922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6eec5e1dfab4c15ac908d538c9b377c76aa133","datavalue":{"value":{"entity-type":"item","numeric-id":5200026,"id":"Q5200026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c52ab6bfc507dd90ffb8c9b68bf7e092ab97cd3","datavalue":{"value":{"amount":"+0.7573359608650208","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":"Q3172884$55720F51-4D65-4FBC-A25B-BFD837A7DEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1db4af125d566e403445f17eafb15b0313b7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4647585,"id":"Q4647585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c39f133dd94bfc84d58e5aec61bfde701e9f58e","datavalue":{"value":{"amount":"+0.718224823474884","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":"Q3172884$67598028-3FA0-4558-831B-B9E3C148FB90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172884"}}}}}