{"entities":{"Q2844694":{"pageid":2855414,"ns":120,"title":"Item:Q2844694","lastrevid":51802202,"modified":"2026-01-20T03:03:35Z","type":"item","id":"Q2844694","labels":{"en":{"language":"en","value":"Proofs for free. Parametricity for dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199310"}},"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":"Q2844694$DE10E999-E7BF-4CA1-A2DB-C5DF3C10CE5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdac4ad8b61ad255f326ea93f44f19ea956050e3","datavalue":{"value":"1271.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844694$D6467058-AA57-42C0-979F-16FCD7E4C460","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb6e6add7740be2965b28d9fe19f70f4839c714b","datavalue":{"value":"10.1017/S0956796812000056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844694$76FA2189-4C79-44BE-AAC3-DFCDE71A5653","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":"Q2844694$AEE21369-899B-4158-AD12-641FB7DA7C61","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":"Q2844694$821228E6-7103-4AE6-9524-8A994BCBF953","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":"Q2844694$F403BE17-515C-474A-AF21-3CFD8962FBF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$585E7B10-8964-4C84-8245-79CC381EEF17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844694$B7556E63-F265-4E9C-AF20-7C861B1F7A5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844694$B9834C88-6897-461A-96A8-F718A82D6AA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d8e28a693ca5bf78745d9df3f228eabbc4a9d30","datavalue":{"value":"6199310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844694$58070868-2184-4C8E-8755-4F40B3A32B36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844694$6CF22BB2-7AFA-44DF-931D-44AFCFDDDE3D","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":"Q2844694$EE8412B4-6377-4B1F-8348-874325428CF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d684058f89a07ea799f6cc42f304669df6352c26","datavalue":{"value":{"entity-type":"item","numeric-id":879366,"id":"Q879366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$3D8321BC-A365-4AC4-881F-911DDF49AC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cf8f49df7978acba8f7c2863cab894e107fce8","datavalue":{"value":{"entity-type":"item","numeric-id":3564921,"id":"Q3564921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$B7B2DF5D-3419-4EEB-BB14-161502AF5403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$69E1B402-2A51-41AA-A134-07EB686A8433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$6440041A-FE96-4CAA-AC4C-E7E5E11EF372","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":"Q2844694$6DAD2753-BFF3-45B4-9A69-9EC750BC8C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$BFF45259-BF70-4DC0-9A37-1EC4015672B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d4471d7c84c4c613578df596ce30f1e5b4b0a3","datavalue":{"value":{"entity-type":"item","numeric-id":2936814,"id":"Q2936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$2914A553-863B-4ACC-B431-DDB00AD82E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa702d7d109a22b360d5066a3e267a9b5cb26b6","datavalue":{"value":{"entity-type":"item","numeric-id":5176983,"id":"Q5176983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844694$72CBCE4F-0E62-4BB5-81B7-41D8E8C1BE71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1b517e2092721b35a1941db973545455ab3b773","datavalue":{"value":"https://doi.org/10.1017/s0956796812000056","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844694$CA675FD4-4615-445F-8109-4FAC10C8595F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c99b610947f7e375754618dae4dc13c77c44b70e","datavalue":{"value":"W1664326696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844694$652A055D-A23D-4018-A359-BA34D6835BA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beb646f222b9e83af4626ac783eb622d9de3c9bd","datavalue":{"value":{"text":"Proofs for free. Parametricity for dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844694$BCFFAE63-7A44-4324-A507-6AFE1CF9B8A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59780e1bc88df251db34eaae7866da9dea12755c","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"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":"Q2844694$755AC31A-9693-4762-8F8A-2B3CE013D9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0224674db9ac2e0533bf3f48a0f5366ef72f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3000602,"id":"Q3000602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e1fc770f6fd221bbd2305aa039841e42b16033","datavalue":{"value":{"amount":"+0.8330709338188171","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":"Q2844694$35139FEC-05EA-462D-9C5A-0F9AE3312A34","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":"c819535b2d41a794fd26296bc628016a35f6cfad","datavalue":{"value":{"amount":"+0.8248221278190613","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":"Q2844694$E609EFE7-341C-4AE2-8CC3-01C3DA0C0020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e36620af32cb2a8ddf42bcbfdd33d4f45b8857","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c912e3ed9a55eb6a4507414cc96d1af98e3c3517","datavalue":{"value":{"amount":"+0.8120872974395752","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":"Q2844694$BF69C549-95AA-415D-8EDA-422653DEE5C5","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":"a10a3363177ee6688a121190bc3e74f1de2dc3d7","datavalue":{"value":{"amount":"+0.8108915686607361","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":"Q2844694$B3082162-418E-49C3-B7A2-C3FDAA885696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844694"}}}}}