{"entities":{"Q5408445":{"pageid":7438019,"ns":120,"title":"Item:Q5408445","lastrevid":51972113,"modified":"2026-01-20T16:09:25Z","type":"item","id":"Q5408445","labels":{"en":{"language":"en","value":"A relationally parametric model of dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282447"}},"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":"Q5408445$E7131FA9-D4D3-443A-A128-9B68AD32BBCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109329f6a323992aee57ce87ee2630ef5c00c32b","datavalue":{"value":{"text":"A relationally parametric model of dependent type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408445$E7028965-904D-494B-9521-5CF65551BB5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69e71509d168c19c79393d300de3863bb2d895ab","datavalue":{"value":"1284.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408445$D774CB6C-B795-4D22-9570-E815F042BF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d46cafe4f610ce9e7890e9882d891dce1e05a99a","datavalue":{"value":"10.1145/2535838.2535852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408445$20C329E3-ABDF-48D0-A765-84B9D9B0B4BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408445$C8F1069F-108E-4A18-9894-82DC21C246EE","rank":"normal"},{"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":"Q5408445$66B2DD59-D544-4420-9F10-1F9B5A158C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408445$DDC00F67-7D59-4D02-A832-FE986FC9AE0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408445$DC34250B-007B-4CC2-8529-5642983EB689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408445$6AAD1F68-4CA3-43E0-90F2-721DCA9D57CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6af766e470e8d526f0621be971a6ea84909ca66c","datavalue":{"value":"http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2014_A_Relationally_Parametric_Model_Of_Dependent_Type_Theory..pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408445$0F8E9B4C-3405-4415-9D6F-5B9AAC4952D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408445$5B7C7AC4-01CC-4429-BD49-7DE088543EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408445$E7EC5716-526D-4E81-9480-E09EFEC7FB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408445$581B2D0A-AD98-406C-B34A-8E0F7E523FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78c408b1fb8e63c6eaade017bc9caff2fee6b1d7","datavalue":{"value":"6282447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408445$231FD338-0B56-45B4-B6A0-0B9E7FFE7028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408445$347C1164-8BB0-4667-BB2B-79E439147B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dd402c53205f69a542ccec90654cc0dfcada5","datavalue":{"value":"relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408445$448EEF88-DE82-4151-8FA9-E9EA1327133B","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":"Q5408445$FA21901B-9362-4467-BE2C-B75A63AA967A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d63bfdc7df4a41eefbcfd04ae6d85d0b6768879","datavalue":{"value":"W2042204873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408445$044E4694-30FC-4656-BF9A-C65ADD45AC8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c99fafefed5f427dbf8de1b21b6bbe0d923978","datavalue":{"value":{"entity-type":"item","numeric-id":4649537,"id":"Q4649537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3afb3c4a3af14de885b288f488f0ee14f578b74","datavalue":{"value":{"amount":"+0.8394022583961487","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":"Q5408445$8BD26F94-4C77-4BE4-8F02-7FD4625D18B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9759522ffc25a12796d2730f608250c2d0f706","datavalue":{"value":{"entity-type":"item","numeric-id":5145366,"id":"Q5145366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba558c4b1f7d2666c2a1ad5abdce4bc54e0ef86","datavalue":{"value":{"amount":"+0.8373961448669434","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":"Q5408445$FD8FFD5B-113C-4DC8-A964-7E986923DB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb381b6af1e3fd2d657724aa53760020e11c80e1","datavalue":{"value":{"entity-type":"item","numeric-id":2811329,"id":"Q2811329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4d57a9f4996578aec778dfbe1bb6cf81621af8","datavalue":{"value":{"amount":"+0.8144987225532532","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":"Q5408445$131AA18C-FCCD-496F-92ED-24FA7175CE35","rank":"normal"},{"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":"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":"Q5408445$3004B2DA-BDB0-4F5F-A4F3-ECBBF3AFAEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5632702bf3390b03ea1bb4daaa31ca609d002f89","datavalue":{"value":{"entity-type":"item","numeric-id":5145355,"id":"Q5145355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113668b0a2005be189eb84bf1232da361a15b869","datavalue":{"value":{"amount":"+0.8103766441345215","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":"Q5408445$98D8860C-09FA-4527-8AD8-AA82C952509B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408445"}}}}}