{"entities":{"Q2811329":{"pageid":2822067,"ns":120,"title":"Item:Q2811329","lastrevid":44696091,"modified":"2025-11-25T04:08:04Z","type":"item","id":"Q2811329","labels":{"en":{"language":"en","value":"Comprehensive Parametric Polymorphism: Categorical Models and Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591810"}},"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":"Q2811329$268BE3F3-6714-4F3E-8FA9-71B057C0D6D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a87b868e7e73c56812f77349af7e60ff2887aa2","datavalue":{"value":{"text":"Comprehensive Parametric Polymorphism: Categorical Models and Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811329$0A78ED4B-E6B9-405D-842D-E57CFF9FCE33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2408d908a9cdace015bdb56f11cf61bdd52ccf4e","datavalue":{"value":"1475.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811329$DA82B3AF-7CF2-4C4F-8F81-4E9A73EF83E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6001b31518ca1ed0166d2294530182e83aa8781","datavalue":{"value":"10.1007/978-3-662-49630-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811329$9DD0C0AE-AE06-401B-82BB-31CF1DA6D488","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$908703FA-972A-4083-824D-997142CDACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bdf3d36e9ce42e8810d203cfcd2e72a91b62c0","datavalue":{"value":{"entity-type":"item","numeric-id":724936,"id":"Q724936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$2D419417-A295-4F29-BEA5-19187BD9E078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$8A190D1B-04C8-4B92-A845-B8F116927D0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$31AE6626-963E-4678-85F7-26DC2E42FEA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811329$422699C8-BA61-4E1A-8FEC-E03EC6F329D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed1979d60a5fef39ec16a10359a13c9313926dc4","datavalue":{"value":"https://strathprints.strath.ac.uk/56242/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811329$659F85C8-DAE4-4114-B9D8-064E20C5EED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811329$772DE7FD-2514-45F3-A63E-F419B8786676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811329$27CA26D8-B8B5-4164-8209-2D11ECBBC469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20b94102d06154e63ee5db84dd49162ca6e6e797","datavalue":{"value":"6591810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811329$EDBE84EF-ED4D-481E-86D2-408C05263CB7","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":"Q2811329$D4E6B83E-3AF9-4851-9B31-38C98D2B25D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"724797f5c5e68408d3321044226850ef11c2c744","datavalue":{"value":"W2342903762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811329$7B3B851B-1EC7-40D9-B350-2399C1D96CA2","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":"Q2811329$4650F729-818C-4EE8-9D7F-F26E619B795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$A31FCF34-69EE-476A-AFE3-28744B60D684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$F7B1E8CB-0B28-4E44-B980-002E6863141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a24fad2ff9db69533d40041ceeea69bfdb0cd26","datavalue":{"value":{"entity-type":"item","numeric-id":5971392,"id":"Q5971392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$627A74CE-2ED5-4A54-BF60-BD95A02B5CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$B2A3173D-C829-4EEB-987F-80E11BC0411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a84670e1043abc01048ef4420e31272ab86a57","datavalue":{"value":{"entity-type":"item","numeric-id":5697712,"id":"Q5697712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$7609AF62-5D54-42FA-BB40-519E6B31BD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1be44fca92651157a6f097c2181a77e2a6d5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$AA9C85EA-6942-4793-90C9-285727A7FB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849a5d24298d5fafacfb54dd2578e6f846c4b45b","datavalue":{"value":{"entity-type":"item","numeric-id":2947462,"id":"Q2947462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$797F3E43-8760-4EDE-AE65-A18096ACFC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0960af88a219be75a74665ab7538b65eed52d581","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$7544B93D-C7D2-41A8-82AC-45926FAEBE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$2E27535C-57FA-4EEA-962D-0E243252B8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$48FFD188-2C29-42BF-828B-CCAF7F396B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1450bc7cd4d509650f7b3190828dcb8ef308fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4364388,"id":"Q4364388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$FB6D928E-573C-4EA1-A7AF-D3D3E53945B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad5201318f40b2ac033a107b17bfa5759808384","datavalue":{"value":{"entity-type":"item","numeric-id":2958537,"id":"Q2958537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$E9863D67-180C-4D66-B240-C05205ABD216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$7D238BD9-E37E-46BE-A32F-D86A10F974B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3683459034a240002f90c09e2ba2fe76d0cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4369880,"id":"Q4369880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$60B1D276-E3F5-4451-A6B5-9AFA87ACA223","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":"Q2811329$56AB93C7-F654-46C3-857C-51B2E94E9A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811329$9C6462D4-432D-4633-9146-472288F905BC","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":"Q2811329$E0549ABB-B318-4532-BA31-F245EC9B96E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97b09ac175782b74e5c460e9ac9043f72027e2d","datavalue":{"value":{"entity-type":"item","numeric-id":1193592,"id":"Q1193592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfad60eadab92f6b4f1aa3ad29201cf2988a8d6b","datavalue":{"value":{"amount":"+0.9040021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$CA444A36-C814-4052-8970-34E4113978BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550d54184ea83c9346e30dc61728c5e3874bd97b","datavalue":{"value":{"entity-type":"item","numeric-id":4035653,"id":"Q4035653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e068004fc1fa3ecd0aab525352c95a71536112","datavalue":{"value":{"amount":"+0.90193295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$3AAE50DF-2869-4ACE-AB87-AEDE6AD2375A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a91cc1d182e9944d5936b6a2e2755856fa52c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25370400a6a31d345b5db5ac3614bc1ca45c54aa","datavalue":{"value":{"amount":"+0.89943975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$EE8178E9-7A27-4F7F-A3DC-DEFE3D0A46B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0da1773c6a64d989062f1e55d81ec87afc7482","datavalue":{"value":{"entity-type":"item","numeric-id":2464940,"id":"Q2464940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eb664ea14e21d95806794e91f6031a365edc56","datavalue":{"value":{"amount":"+0.8974635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$0E77BF39-2E43-4240-9A8D-A409C49452A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6003e8091414effcc419aefaf84cc0455d59dd12","datavalue":{"value":{"entity-type":"item","numeric-id":2726286,"id":"Q2726286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b5f58510d38c857471deb212e6ad22284d87db","datavalue":{"value":{"amount":"+0.89338267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$61D12523-94B1-4B82-83DD-FFE87425C15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42dcb24ab2a07d91d02ef91aaa1dfcd2863bb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5501458,"id":"Q5501458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c78752c15bcfecbd1899535f6f401921a6bb90","datavalue":{"value":{"amount":"+0.8928862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$64188099-50BC-457F-AD81-7FACA9D9EF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8257e5831ed415993c130a06a609850731ebaa","datavalue":{"value":{"amount":"+0.8914649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$B5DA82E3-0896-41BF-8BA1-9F5820D09C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c783e2727009d866bde892b8ca0b54437cad2ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5096235,"id":"Q5096235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af75b396cccb6e3769d30c1b31e3fef684626eb","datavalue":{"value":{"amount":"+0.8900875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$806B918B-AF4A-4582-BA98-0A8AFA595C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831aa2c14449bcdc0b75723358de372704b3053f","datavalue":{"value":{"entity-type":"item","numeric-id":5950500,"id":"Q5950500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c823ff76b47c47929132f3d8c1cfe0caa60595","datavalue":{"value":{"amount":"+0.88977826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$2189BBB2-2EF4-426C-BDE1-E77290B0B07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21acb6c8caa185bb57bba66738c8702c7cfaebc2","datavalue":{"value":{"entity-type":"item","numeric-id":5176966,"id":"Q5176966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e68602054ad6adaa107fa90da6f9f31d9a32c8","datavalue":{"value":{"amount":"+0.8890133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811329$21481F54-DE57-42CB-B2F6-9D59FBCDE7DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811329"}}}}}