{"entities":{"Q5377699":{"pageid":7407273,"ns":120,"title":"Item:Q5377699","lastrevid":53433308,"modified":"2026-01-24T23:07:15Z","type":"item","id":"Q5377699","labels":{"en":{"language":"en","value":"Universal properties for universal types in bifibrational parametricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7059222"}},"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":"Q5377699$2DBE9C10-9E9F-4564-993D-7E89606E90E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9053b466779435b28bdc56f5754f16f25456ab18","datavalue":{"value":{"text":"Universal properties for universal types in bifibrational parametricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377699$F48F840C-004E-41B5-9E2A-CD3FABA078E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29d49f823d70080e53fa4ee5341bdb28ea06f435","datavalue":{"value":"1422.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$C5D95B1B-9410-40F5-9B41-E97D74BB2FBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d7f677125c60f0c32819e7679eaa6ca43ef74e3","datavalue":{"value":"10.1017/S0960129518000336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$DDCB8F79-FCC1-41A9-B75F-BEA65C381F12","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":"Q5377699$AC7F8AE9-4EA6-41AD-ABD8-61DC318EC6EB","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":"Q5377699$FD06A050-E1AD-411A-96DF-4727B4FCF3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07821dd6d6dbcf9b87c02ee0c8c8faae186e4bac","datavalue":{"value":{"entity-type":"item","numeric-id":2947461,"id":"Q2947461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$578844F7-C6E7-4A88-BDC2-75A31F37A144","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$42E07699-1717-4A11-8B10-619B50FE80F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca1af7ab0f0fb74ee727ac8a7c46d285cfffbb17","datavalue":{"value":{"time":"+2019-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377699$9CA1CC63-8A44-4094-9609-2740D723450B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$2CAF7786-2750-40EA-9706-6619E6A74D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$9855E03A-2241-41CC-A2E2-EA443F6652FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$EE1BCC20-E6FD-4E9D-AC43-08D2E481C98B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf0c06ec7ef910182ef234df9d56db32167df4b2","datavalue":{"value":"7059222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$59288D4A-817F-4703-95DB-C3B4EE508596","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dd402c53205f69a542ccec90654cc0dfcada5","datavalue":{"value":"relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377699$9D3C3D66-65A9-4551-BBAB-091A8346EA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377699$C1C79C52-C377-4174-B1FD-3C90AE6C6A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bab6af65b9d66056518849ea855ad468f312e73","datavalue":{"value":"comprehension categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377699$4D13FA8C-72C7-4C37-AD5F-7780699666FF","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":"Q5377699$13484B4B-538F-4F9D-A5F8-6309075CF6C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c272cb77173dafb0d34de2cd274218a5d71b84e7","datavalue":{"value":{"entity-type":"item","numeric-id":5178761,"id":"Q5178761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$F26E2194-E02A-470E-868C-9BBC090E652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$DF79F520-5700-4A92-B21B-ED25959FADFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$28AEC72B-5A3B-4AD8-9247-E0C22FDE4E72","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":"Q5377699$8A3F0B87-F0C9-4FCA-87CC-87D4525A9042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$F0B0A45F-CAB5-41A6-92B7-C0C55738FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff33ec0f70d39b662faf6224db55ac78dbb9cc20","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$25EA08F7-2987-4EEE-8739-F09BEE9E78BD","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":"Q5377699$AA121920-71DD-4533-9FC2-0B3B9D8631F4","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":"Q5377699$2F5DF98D-5522-4F06-9F22-E17390FF6854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1635c8840ee2b32407ffa69fa66d8777db462722","datavalue":{"value":{"entity-type":"item","numeric-id":3188282,"id":"Q3188282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$D9312B7D-C23D-4F07-99A1-981987E53CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c6226af3837211e8096b333db0b0867301186","datavalue":{"value":{"entity-type":"item","numeric-id":2811329,"id":"Q2811329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$00BEBD10-AE64-4F83-8A59-BE21AEC8735E","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":"Q5377699$3AC09931-BA11-4469-B70E-0B1EC13E53C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83074479990dad65c5e60818ba761a1f044aaadf","datavalue":{"value":{"entity-type":"item","numeric-id":5408538,"id":"Q5408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$9BE88416-F188-4097-8289-44E50E6E4691","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":"Q5377699$AA585F65-E3D0-48D2-A78F-1F6E8466D9A0","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":"Q5377699$DFEBFC63-30DB-4CA6-A44E-E78D8D85B091","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":"Q5377699$636C43E3-FC3A-4463-A54B-D0A1C2D96F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$A406FBE6-C306-49BD-86C0-D0A63C10280A","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":"Q5377699$758F8172-51CC-468E-AA72-98554B37EA3C","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":"Q5377699$937DBE5D-9F4A-4BF7-96CE-2FF7104DEF2A","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":"Q5377699$1A06306C-BE7F-4075-AB6D-BBA7D2E05A1C","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":"Q5377699$950B2C66-C44A-43FC-A44B-33D6477E53B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fd6df7474fedd3d0d826caff072a546ebebb51","datavalue":{"value":{"entity-type":"item","numeric-id":5178029,"id":"Q5178029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377699$A9DDF19B-F1A5-44B5-A18F-1461BB580088","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ada0ce9cc84912da8d241e35a5c7086a65484c74","datavalue":{"value":"https://doi.org/10.1017/s0960129518000336","type":"string"},"datatype":"url"},"type":"statement","id":"Q5377699$47ACDA56-6758-4BDE-89D6-8E2D3E4BC05B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5a02d4909b5214d0252ad3bbc8432cf16ff95db","datavalue":{"value":"W2922774582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$FFAA6037-9543-49C3-8443-FA25AD1A3F30","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3cd70f0f51ea355534d4b428a3420bc7a46ab374","datavalue":{"value":"Q128207158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377699$7B0BF1C3-6D3D-4CA3-82F4-D40ACECB73BA","rank":"normal"}],"P1643":[{"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":"27c3f755cb203a4a7f547947f46f9f5dc1bb84e6","datavalue":{"value":{"amount":"+0.9346410632133484","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":"Q5377699$E6616594-2455-4BC3-AF98-A389102FBEA9","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":"06f5a1aaf073673c5309a76219fd75877901c9e3","datavalue":{"value":{"amount":"+0.8270508646965027","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":"Q5377699$346894FC-B052-4205-AC78-9595D07A800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0def169e864aa522a83e66cca1554b9e69b16568","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b62f3ba2c2c6bfb8cdaff4004bbe5b697c333da","datavalue":{"value":{"amount":"+0.7825945615768433","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":"Q5377699$353361D3-3C0C-4A9C-A7EC-6F4ECC4F83A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4116d7bb7083b191bc72e76ece0f0ff01486a31","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c859d74bf8740968ed57a256fc96cec5074545b","datavalue":{"value":{"amount":"+0.7803374528884888","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":"Q5377699$66CEF4F7-5A8D-4325-9B50-76B3929E6B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eea77c439a4c1346c74b01e65c1fd47b0e8276","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c859d74bf8740968ed57a256fc96cec5074545b","datavalue":{"value":{"amount":"+0.7803374528884888","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":"Q5377699$318979A1-CC49-4373-B362-039D005033C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5377699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5377699"}}}}}