{"entities":{"Q2958537":{"pageid":2969256,"ns":120,"title":"Item:Q2958537","lastrevid":79804910,"modified":"2026-05-06T14:44:49Z","type":"item","id":"Q2958537","labels":{"en":{"language":"en","value":"Internalizing relational parametricity in the extensional calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680151"}},"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":"Q2958537$59BDE3B3-26E7-4C77-AE82-33AF69CDB3B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4999c5f71f0dfde7e629b8c462cb595f73d06809","datavalue":{"value":"1356.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958537$9B5105CB-7BFE-469D-A0EB-4967F363B057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958537$26E254C2-D15E-4B57-B31B-F21421EA0288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958537$9F11FD2E-6749-4687-A72C-1DD1795E677A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958537$EFD0AF39-B145-4322-9235-A9411AADBE98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958537$C0B399C3-5755-4C37-A34D-D56702554E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958537$B53BBD01-02E9-4A56-88AC-233E877BD2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958537$075AE6A2-6DAF-4F58-9266-2C5AA702195D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958537$12E04205-FAAA-437E-85D8-34767B4ECE54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95330291a9cc44c34a2c99003bfa70c97da0c47b","datavalue":{"value":"6680151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958537$D37ACEE0-641F-4F29-8223-821064C6E184","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dd402c53205f69a542ccec90654cc0dfcada5","datavalue":{"value":"relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958537$C87F5135-829B-4A6C-BA35-138E0F3FA265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958537$E580560B-38A1-4317-88FB-1130BB1B9C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0150735c780bbc3208c40d5178a4b735b707a3c","datavalue":{"value":"quasi-PERs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958537$37B406AC-4D24-47E5-91D6-B6EDA7D59A46","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":"Q2958537$9B3666F5-D381-456C-9209-D339B70537FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e8b839aae0f152e6755d07be8ceac2d92acb89d","datavalue":{"value":"10.4230/LIPICS.CSL.2013.432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958537$E3BB53E3-1A68-4342-BCE2-E39F7CA7B30F","rank":"normal"}],"P1643":[{"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":"9423afeb4c558d36b3308d95f4c192a39afff507","datavalue":{"value":{"amount":"+0.7956328392028809","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":"Q2958537$B89045FE-B8FC-4DC7-B76E-846EFA1607D9","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":"3407970d1c67a650477482f93cb6aa3ccb9dfa18","datavalue":{"value":{"amount":"+0.7837790250778198","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":"Q2958537$01AAB900-9F76-4898-BDF4-4A1E0DAFFE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645ad25b577ad22d25dff575938608584a841b56","datavalue":{"value":{"entity-type":"item","numeric-id":5028425,"id":"Q5028425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfc1cb610bced1ffb49b0533559a5469181eb04","datavalue":{"value":{"amount":"+0.7670130729675293","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":"Q2958537$5090AF78-5BB9-4174-BC4B-29BF3D4AF89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c0d21a1cfa74dc8262124eefe008f7c90b99e5","datavalue":{"value":{"entity-type":"item","numeric-id":5971392,"id":"Q5971392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff45700103e74361a27ceeb7deb2e923c171f747","datavalue":{"value":{"amount":"+0.7568314075469971","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":"Q2958537$0AEDF761-6816-469D-BD91-B46F68B28196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239e0ba13fb7a5c8241b9150312ee6f49cfbb32d","datavalue":{"value":{"entity-type":"item","numeric-id":4649560,"id":"Q4649560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f045fca7c3bbe15f31e379b8ab8be67750bc3287","datavalue":{"value":{"amount":"+0.7514605522155762","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":"Q2958537$6DB590F5-82F2-497C-8FF2-5887244E724B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internalizing relational parametricity in the extensional calculus of constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internalizing_relational_parametricity_in_the_extensional_calculus_of_constructions"}}}}}