{"entities":{"Q5176953":{"pageid":7206525,"ns":120,"title":"Item:Q5176953","lastrevid":52217291,"modified":"2026-01-21T04:31:05Z","type":"item","id":"Q5176953","labels":{"en":{"language":"en","value":"Parametricity and dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411522"}},"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":"Q5176953$5AC2B255-70F3-47D8-AF3F-3CE19BEBC787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d7787c397e1d206e4b68a31a39c4d48867fc712","datavalue":{"value":{"text":"Parametricity and dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176953$83C0FD9A-A3D6-4184-9957-3167EC811D74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"137c8b0c93f636265f97a4c5167c348f5ca56c4c","datavalue":{"value":"1323.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176953$39943076-C763-4E4C-AD40-0477A2423016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad34ffe68f09c332faa24a1ba3579fbb3b3e7b5e","datavalue":{"value":"10.1145/1863543.1863592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176953$1A8DC690-3747-46D4-8793-F37767999508","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9790df0214dc74b7e290106888ab3b69984bbcfd","datavalue":{"value":{"entity-type":"item","numeric-id":2035842,"id":"Q2035842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176953$669C2100-133A-49B6-BB06-3C55FE493210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6b49a79ddd8f1eec318f733110278cbf98781e","datavalue":{"value":{"entity-type":"item","numeric-id":1347991,"id":"Q1347991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176953$85811662-CFF3-4CDF-8B2D-20E728E1C63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca5d33590f3a7946d98f239b5b02d96122ccf11","datavalue":{"value":{"entity-type":"item","numeric-id":1965248,"id":"Q1965248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176953$06A76654-F552-410F-8B65-608CF20EC0EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176953$A1F7C107-6282-43C5-8707-BD8E2A109861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176953$532319A8-FEAE-44F7-9CB0-26EA49208B6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5803b7a09b5a09b0d02b9f8bedc2027ab5e676cc","datavalue":{"value":"https://research.chalmers.se/en/publication/118913","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176953$08E43A79-C4A4-4987-806B-22EACAB806F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176953$82BB9F22-04E4-4B2B-B099-C368F8BE6AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176953$A62E3F63-CD97-45AB-ACA5-02AFD3B8C90A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04115dd054fc952c9b2bd00d430afd08b6b3d83d","datavalue":{"value":"6411522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176953$16B978FB-786D-4E27-A14B-AC2AA78D8680","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb3acbfdd9139fc9fe09d62e4f1efe0fa884fcf","datavalue":{"value":"abstraction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176953$8EA26F43-015D-4725-9C24-204B29F706DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573dd28224472be702c32f92d9f2e6fd28822f8a","datavalue":{"value":"free theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176953$FD71C155-8573-479B-BEC4-3BA5B7A5D265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f383f0654f5901fb84059190f1909ba97246c04f","datavalue":{"value":"pure type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176953$DF67CB6B-0E2E-4305-B247-C6D734788354","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":"Q5176953$97A78B06-832D-47D0-85EE-E338EE56A016","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dea1a9032460b90db7cd04fe062bc4e8a33b1583","datavalue":{"value":"W2019626268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176953$BFB0C41E-6C85-4360-AFC4-F5B1744F1957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292c44aa865b5f70e8c78fb6355ff97ace67503f","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669008d6c039397d6057b5f5df064bca3cb2c4e1","datavalue":{"value":{"amount":"+0.90398108959198","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":"Q5176953$4BF78EE3-6508-42CC-841F-EF3F771E232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ac623f8164632ca736cced5382c948cc6e5cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2986790,"id":"Q2986790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bea574fcae0d939277a26bb0bab309e42173a6","datavalue":{"value":{"amount":"+0.8409684300422668","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":"Q5176953$8DD9E7D2-8683-4B45-9036-9F72C22D2367","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":"02a4c061d4627137923372e523c8278552ddcb71","datavalue":{"value":{"amount":"+0.8101904392242432","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":"Q5176953$901CBA42-21C6-4BAF-AA44-52053E5BA577","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":"9ffc45175d124ee8a37183275aa0ed4bb4a066a8","datavalue":{"value":{"amount":"+0.7922770977020264","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":"Q5176953$0056B3C7-99CA-4410-AA6F-3D473C2E8FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1b9b4f29300650dae7041c96a64ca37efa446b","datavalue":{"value":{"entity-type":"item","numeric-id":6171748,"id":"Q6171748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffc45175d124ee8a37183275aa0ed4bb4a066a8","datavalue":{"value":{"amount":"+0.7922770977020264","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":"Q5176953$6072F54D-3452-4BA2-910C-2058D34F479A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176953"}}}}}