{"entities":{"Q6282147":{"pageid":13418738,"ns":120,"title":"Item:Q6282147","lastrevid":58915611,"modified":"2026-04-07T01:17:41Z","type":"item","id":"Q6282147","labels":{"en":{"language":"en","value":"Parametricity, automorphisms of the universe, and excluded middle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900304591"}},"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":"Q6282147$8B9D5360-0D30-4516-B77D-0A4A4DB937C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-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":"Q6282147$FEC6D1A4-91B6-49CB-A075-F5EF1F127628","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51eac1aa4f724cfb2c1ce4bbc3bcaff8dd00507d","datavalue":{"value":{"entity-type":"item","numeric-id":6282146,"id":"Q6282146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6282147$653BECEB-0374-4F03-8393-BB9EC5670275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6282147$CA7D32A8-D3B4-41BB-AC33-2FCE846F2A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e0837564dfa9a6596ab14ab5ec88f3e83b3911","datavalue":{"value":{"entity-type":"item","numeric-id":1785778,"id":"Q1785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6282147$30A1F194-E056-4DC5-B8CD-3771702F4D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6282147$3AA0A70F-A043-4C8A-9317-723D532ECE54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b283baf32a6b9ac764ec82fd97d4cf52d2a7c7d","datavalue":{"value":"900304591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6282147$B11DCDFB-EC2A-4219-938D-DE9E68C76DB0","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":"Q6282147$0AA9F77B-FD5D-4D6E-8823-A42F9A207627","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"eb49df98417c6b99c86da8583184326e08e6144c","datavalue":{"value":"https://github.com/abooij/parametricityandlem-agda","type":"string"},"datatype":"url"},"type":"statement","id":"Q6282147$39ED3D8A-4E31-4FEA-A470-B5E1AF5118FF","rank":"normal","references":[{"hash":"8ff80f3a8be8f84d1060e01c035159895e19b439","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"1d867fafeb179f4ee16203fd9475179e7433ad70","datavalue":{"value":"https://paperswithcode.com/paper/parametricity-automorphisms-of-the-universe","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6282147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6282147"}}}}}