{"entities":{"Q5096235":{"pageid":7125811,"ns":120,"title":"Item:Q5096235","lastrevid":54381899,"modified":"2026-01-26T17:53:24Z","type":"item","id":"Q5096235","labels":{"en":{"language":"en","value":"Parametricity of extensionally collapsed term models of polymorphism and their categorical properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572015"}},"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":"Q5096235$81F3B562-562E-4F06-A6A1-B008A481AE7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb1be48ac75cc41eb07355357c3fe9b7031cb078","datavalue":{"value":{"text":"Parametricity of extensionally collapsed term models of polymorphism and their categorical properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096235$BAA98A58-E6D6-423A-9AF7-3C5D789B3EEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52a8806c43e4bf798ab305071c04ce57838eb6c0","datavalue":{"value":"1493.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096235$50A9B25F-EFC7-4670-8872-A11463F246E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8198d80ae24d34873e7730ea3d8f846fda8f50b4","datavalue":{"value":"10.1007/3-540-54415-1_61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096235$0C474C79-BC48-41A3-A5E0-D1320686D303","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991f99b314ef46390c1639de77b60a5bc5cfd477","datavalue":{"value":{"entity-type":"item","numeric-id":235606,"id":"Q235606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$D1E66E05-7235-41D1-87E4-B8F05E96A6A1","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":"Q5096235$9503CAB5-93CD-4871-A987-7304C61A336E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096235$42E12E9A-5439-40C1-BCED-78C8DDDB398F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096235$F01EDE1E-7F70-4194-92D5-7A7F93926E60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ca01e536d84d5a0e7faf275be26f648a7389d51","datavalue":{"value":"7572015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096235$10FC64D7-E7FA-4116-ACD9-752EA0457258","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":"Q5096235$6AB4848A-4452-4BD5-9643-E167473DA85F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98d207043ef3f08c4fb064ab71080419ab0f4e49","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_61","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096235$B95184B9-A1E4-4EDC-B8B7-4C619C9FA71A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98e25d6ab499d0b29d4769cc7325ebd7ff6f6a10","datavalue":{"value":"W1488646136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096235$AC6A37C9-59FA-45F9-8005-E056B323A4B6","rank":"normal"}],"P223":[{"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":"Q5096235$A42AEA66-1816-479A-9C81-33E147C4CF79","rank":"normal"},{"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":"Q5096235$3D9735CD-CACF-45F0-ACBE-50A338500DC7","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":"Q5096235$CF85EDE2-86E7-42FA-A8D8-96E65438F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$C4DEAAA9-F001-44F4-9478-CB3C0B20AEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$AADEE063-F4B9-48E5-B115-E1F59AF54583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$C92EF326-4924-44FF-B0E0-5DFA5A818899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$AF675868-411C-4D63-95F6-AE22BB2C549A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$1B41D882-3F7D-4F31-8C0D-8C75A7F27A08","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":"Q5096235$2A5CD7DE-30AA-4E1D-AEA5-21DA54F047F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$083B8BDA-650F-47FF-8754-4990AA410C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0442b615058ed1e151b3bf3d76d6cbfd1237be4d","datavalue":{"value":{"entity-type":"item","numeric-id":749648,"id":"Q749648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$9EAFF474-ABF1-4E43-8C41-6AF3F5410F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$E5874FAB-114E-419E-8A22-3C65E00F7290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd3a8ba48ee34d922f75db8eaff1b1a239078a","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$7571734A-F01E-41D1-B8B5-DD1F0CFE226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$D1F833CB-FE87-44EE-A954-8F1101A0D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$790E5AB9-1449-4014-9D15-DFBBC8FE9D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481f5099a98f54fe4780c855a7f8b1692d0b248c","datavalue":{"value":{"entity-type":"item","numeric-id":5096255,"id":"Q5096255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096235$17006B6D-AB4A-4213-BF7C-3AF1135381E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a370f0307523df0138265d55df81165dfdc2a27","datavalue":{"value":{"entity-type":"item","numeric-id":4286531,"id":"Q4286531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb1d1d7d02bd388f2247a940d814b258d981abd","datavalue":{"value":{"amount":"+0.8273475170135498","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":"Q5096235$375E0BCB-43E6-4ECC-A4DD-44E554079433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b517eb73a756be4cef0b2ee897531f77d18ef807","datavalue":{"value":{"entity-type":"item","numeric-id":1346668,"id":"Q1346668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b545d01864461acc78041b20f07be4d3cacc3a2","datavalue":{"value":{"amount":"+0.7670491337776184","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":"Q5096235$B7D9B8A3-4F84-47E4-84C2-B3EF892C484B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cd57c82c60cbe3146ea63845048e4dec840307","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b545d01864461acc78041b20f07be4d3cacc3a2","datavalue":{"value":{"amount":"+0.7670491337776184","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":"Q5096235$2EA5C391-C2C0-4A93-A503-D69A7FA8D17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb405f35fb9a6db152361f28f9823429a28821c","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7258d39d16e923d9d0b243349181c02654d5631f","datavalue":{"value":{"amount":"+0.7653346061706543","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":"Q5096235$3B0D48C6-590F-485E-A3A8-05BDF0A2DADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75ff79826f366e1cf01ea7d30a3f7ddbb8ec5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3775518,"id":"Q3775518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d16ebd4a63c1e078152e7d31a94bda108dce17","datavalue":{"value":{"amount":"+0.7624362707138062","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":"Q5096235$C1A0C93A-AF0E-457B-B8E9-A1F4FF7D037C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096235"}}}}}