{"entities":{"Q1314344":{"pageid":1325094,"ns":120,"title":"Item:Q1314344","lastrevid":46301499,"modified":"2025-12-24T12:55:40Z","type":"item","id":"Q1314344","labels":{"en":{"language":"en","value":"Formal parametric polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501162"}},"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":"Q1314344$C9AE6672-0678-4944-A256-4BD03C835D5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff798c6bfb7c952dfec9d756a60704eb3f09f7ee","datavalue":{"value":{"text":"Formal parametric polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314344$0F4BA756-813B-4943-BCAD-C29A25DEEDEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5e8a6aba4147a821d888cc209de7dd263c387bb","datavalue":{"value":"0801.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$0843260C-5CB6-4513-98CD-B6D8F1BE22F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45fcaa612b73f64366afbe0335f576b394e9ced1","datavalue":{"value":"10.1016/0304-3975(93)90082-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$1737B9E6-EB9E-4A55-8485-FC0EBCAF2F73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$70FBDBD9-C601-4011-B482-8985949DD46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$8169F27C-89EA-4C63-9C81-9228F672CC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$022BBB9D-E685-43CA-AFD0-A31802915F6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$6375FD0A-14B9-4E32-B4E3-80AA0A01666D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e26b88711e08010d610855bece2ce31f95b0ae14","datavalue":{"value":{"time":"+1994-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314344$2FDAD7BA-08FF-41B7-9C6A-61057DBBE38D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$D0EC9572-968E-41EC-9436-812D2DBF9665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$3617F607-A936-45FF-9B68-B78D9510E99E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4e2e3198331ccb9ecd10b768eff7f61f9417a13","datavalue":{"value":"501162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$8FBF059C-DCB1-4855-8CF9-EA60341DCCD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314344$5B057447-68EF-47BA-B1BD-89FE9E40F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d6f36fa249e745b7e0e96f5fa3e6101c3f737b","datavalue":{"value":"theorem for free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314344$BD5BB572-358A-461B-AC8E-0AFE76C349AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"017da2b4ec7dd1bdd47e18f24aff2d3dcea5bf9e","datavalue":{"value":"Q56982232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$3C6A58E6-1407-4694-AF07-1CA65F318D12","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":"Q1314344$13679C71-66C0-4327-AB4A-08833A440B55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57c2994b9f669e6b4e98565baaaba65929424987","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90082-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314344$1B46A922-5BD5-4BD9-A6E9-7CB158156E97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f5b4256749973ae844da17b3bd8ea0997e06ec4","datavalue":{"value":"W4210653864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$B508CF5B-9FA2-42F0-B29A-932D2676AD78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1146bbc5e086759e31519ce524dbf829161b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$E0ADB8C8-2112-4103-8E8F-1E2945A45381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$FBA21004-62FF-4DED-8DF4-4A258B39A701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$1196D74B-133C-4323-BCBB-EA0866768F44","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":"Q1314344$35DE976B-B701-491B-A9A6-A438B33A4CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$22A5A4C6-7E89-4857-9A83-9F6B90A7022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$84201CAE-ECFF-4216-907D-C034D0F9E9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081bcad9c917e2fcfb23bfa4c1fe0f98bd51e16c","datavalue":{"value":{"entity-type":"item","numeric-id":5096235,"id":"Q5096235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$3588CAFF-4907-467E-BC75-AE4A991D48D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$EE5B56E5-9602-492C-992D-619C38731905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80be655ea2068c75ffb129d49e2a04a12b4cd9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1314360,"id":"Q1314360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$76ADB9EE-9AE2-443C-92D3-988A155FD5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$E273D69B-B55B-47C4-94C1-9C06D1BA101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ece9f88a5860d659787874ff1cb3f2701585e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4283246,"id":"Q4283246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$EC9B66FF-77D4-4D48-B278-081C7681E88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314344$367A1271-8F44-4EF2-A6E0-C09F9B77A01D","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":"Q1314344$E1D9F0B0-35B8-436D-AB85-A65EC322E9CA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9cc3e34d0d6e801ab9044f73a0077f7cb73a1294","datavalue":{"value":"journals/tcs/AbadiCC93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314344$35FD96A5-FB31-433E-A5FB-6D63AA83D175","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a061e610919ba6bc7f9f27dd8908e5a300c976b5","datavalue":{"value":{"entity-type":"item","numeric-id":3024821,"id":"Q3024821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52ff04b99a5ae678633460a04daa35dc1132975","datavalue":{"value":{"amount":"+0.8447846174240112","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":"Q1314344$18094A83-632C-4302-B44C-BD65DF6003AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f18797958507bb2e43a1c60582934bf69c5d06a","datavalue":{"value":{"entity-type":"item","numeric-id":4327831,"id":"Q4327831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59edf0c98e3ad6f7ef13af6e35cada3f262187d","datavalue":{"value":{"amount":"+0.8376474976539612","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":"Q1314344$7FF6C788-E064-46D3-AECA-BA1D069B83F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2abb4885ce5579a73015daf710cbb21059ffb8","datavalue":{"value":{"entity-type":"item","numeric-id":2947462,"id":"Q2947462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd33b0507ccce29a22958f684d75f45b955d3dc0","datavalue":{"value":{"amount":"+0.8325806856155396","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":"Q1314344$C325BAAD-44DD-45C7-9DA9-54C042159C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e36620af32cb2a8ddf42bcbfdd33d4f45b8857","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2c2c64067b7d1041e5f22387248cd3f33109ee","datavalue":{"value":{"amount":"+0.8322691917419434","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":"Q1314344$3DB876B8-260B-427E-9E35-416C24605EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1314344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1314344"}}}}}