{"entities":{"Q4649560":{"pageid":6679141,"ns":120,"title":"Item:Q4649560","lastrevid":58321452,"modified":"2026-04-04T17:25:36Z","type":"item","id":"Q4649560","labels":{"en":{"language":"en","value":"Parametricity in an impredicative sort"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109846"}},"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":"Q4649560$FA978B38-10E0-42DA-AF1C-3CBF5DF311AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc0e85bcea92479f6e44e452763b0e352d5f21b","datavalue":{"value":"1252.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649560$83FCD33D-3784-4FE6-8EDC-2364604B0021","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e50206a6040e5309045ac8ce1bd781dc58d9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1683462,"id":"Q1683462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649560$F14B1D01-F43A-44FD-9349-F3F9DD640328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28e4cb3fd4ccb8acd371da62d132ddb40e7ff41","datavalue":{"value":{"entity-type":"item","numeric-id":283744,"id":"Q283744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649560$EBD09414-7DDA-4235-8FFF-2B6683AC21A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649560$028D38B5-8E88-416A-9AFD-DA2D0D2B5122","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04591e8a0a268742d794eb5cd45f74f386100238","datavalue":{"value":"https://arxiv.org/abs/1209.6336","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649560$796B82ED-FCA0-4946-8E0B-1D19C1C0917B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649560$48FE6E4A-A536-43EE-B4A0-9DDA61BE1B85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33199328c5c74aa12bde3684a255f72b1739a04e","datavalue":{"value":"6109846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649560$A1AAE5DB-2B44-41B9-AA6F-AADC1B18726D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee22a16b68ff7690ced49d39b0f7a8a6db96b60","datavalue":{"value":"calculus of inductive constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649560$08312C6F-4C7D-42EE-872D-6E847C8BC9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649560$20BF9766-602E-471A-9DA3-69C3C60E5A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649560$A522269F-3809-4A88-8E07-2F9C5B20F9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649560$19480348-E628-4971-8295-02991904FB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8ff27bbbd9959dc9d199dde836f711285242b5","datavalue":{"value":"universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649560$D5034E0A-D58B-4F00-B611-744DB8F490F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649560$5DDC31FC-5AC1-4269-8F3C-B928D422978E","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":"Q4649560$03F74CD4-B1B2-4C48-B4A0-8CE0F473D02F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fad3e5a2e17ab6801ecfafcd3cecc2e1bdda7fcb","datavalue":{"value":"10.4230/LIPICS.CSL.2012.381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649560$E027476B-8F43-4EB1-B96E-33409398D36D","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":"595283ef476086242164b174124b8fab4bf9e149","datavalue":{"value":{"amount":"+0.8058751821517944","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":"Q4649560$5F0B868A-9BF1-4066-87CA-AFBA73119324","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":"78846587c97e01f194a64f5c9992c1d8a0696a61","datavalue":{"value":{"amount":"+0.7988668084144592","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":"Q4649560$6950BAF8-B65A-4AB3-B518-B90E173D4BF1","rank":"normal"},{"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":"fcfb04f53c8377a8ed10d7d578613dc55f25dd32","datavalue":{"value":{"amount":"+0.7918654084205627","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":"Q4649560$49428BB4-C394-4613-BFB4-6BD835C43A98","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":"581ce88c98a2ab2e44102a307f48c8b1a66deb26","datavalue":{"value":{"amount":"+0.7729378938674927","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":"Q4649560$1809EDDF-54D1-4267-A3CA-A57DC5A18ECC","rank":"normal"},{"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":"ac6439ba64044d20bfc652323cd04b09eca8318e","datavalue":{"value":{"amount":"+0.7623294591903687","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":"Q4649560$228ED519-A9D8-4D2D-8705-9DBC4A40EFF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649560"}}}}}