{"entities":{"Q6661153":{"pageid":14272310,"ns":120,"title":"Item:Q6661153","lastrevid":42412766,"modified":"2025-06-15T15:46:26Z","type":"item","id":"Q6661153","labels":{"en":{"language":"en","value":"GADTs, functoriality, parametricity: pick two"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965469"}},"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":"Q6661153$0A81C9FE-91FE-4C4F-8059-9F5B217EA05C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"112082575451b81fc13e8c62a5a2cca7986d9715","datavalue":{"value":{"text":"GADTs, functoriality, parametricity: pick two","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661153$78C808AC-7D71-4537-9280-4D0449EB4CE5","rank":"normal"}],"P16":[{"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":"Q6661153$C624B2B7-1F9C-43B2-B58E-9FD815EFDDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e495499d4030db8d03eccae8e42790588c021f","datavalue":{"value":{"entity-type":"item","numeric-id":2233417,"id":"Q2233417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$B83F33AB-5989-4DDB-9C24-50B0263F35C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c3db4a368d664adffb4fa038e5fc48138011b49","datavalue":{"value":{"entity-type":"item","numeric-id":2233418,"id":"Q2233418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$F6420D05-30D0-48DC-BE17-5E28B2420F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661153$A670A459-F556-43E7-BE16-0C8EC78EE9EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661153$37879768-D166-4B3B-9696-5F70A4208D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661153$C65C9E7C-2E3F-4848-994F-91912FE9D084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d250446feb5c2353bb62bc5ce5f6887f3020940a","datavalue":{"value":"7965469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661153$A472E516-1C23-4EAA-840A-09AB6E917804","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":"Q6661153$D254EE5C-AF58-4085-BDB4-FBE339F4D05E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$A71A5AD8-B150-43AD-8602-20A3B06A840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b56df43783f1ee1ac33ede87b59dadfc0b3214","datavalue":{"value":{"entity-type":"item","numeric-id":4649537,"id":"Q4649537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$B067C96D-2FB0-4CE6-B04B-05193E25B92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$4BD7F577-CE8E-4725-95FF-43FD573A6A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6053eb22764f67d3d4134eacfde50e305f8c489","datavalue":{"value":{"entity-type":"item","numeric-id":1426132,"id":"Q1426132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$21C498BF-2A0B-4D82-8728-532C3B2A26E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff33ec0f70d39b662faf6224db55ac78dbb9cc20","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$6ED5B4EB-5980-456C-83B3-931402E42253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$3DF7AD72-65D4-42B7-A222-D0D1435834F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83074479990dad65c5e60818ba761a1f044aaadf","datavalue":{"value":{"entity-type":"item","numeric-id":5408538,"id":"Q5408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$83D4C5F8-62B6-4A3F-A822-58DAE545AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c47b6de4ddb46a855e5259e83e7e909bcaf90","datavalue":{"value":{"entity-type":"item","numeric-id":1870296,"id":"Q1870296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$4D672C61-C1DC-48A6-AE4E-596064D572FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914c0c6edc5cdf0cde4428945012a8e1bf383439","datavalue":{"value":{"entity-type":"item","numeric-id":4461770,"id":"Q4461770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$E1D499B0-58AD-41A8-B826-F4D5A7B8D95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b51be60cee0eb6f5b023d5c08d16239999b302d","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$155E422E-70D8-4564-BFD9-424ED70B2073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a252b526bc772a05ed6b396a0ef133a1094504ab","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$9ABA2FA1-25AD-4F0A-831D-66CBB79380E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6463ebbab6e945cd99a24def897682b68934e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2233419,"id":"Q2233419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$9D228F58-7C3D-4F6B-9A72-69990F215C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0937081b7df35f0d3383c4d7d3191d7100aae60","datavalue":{"value":{"entity-type":"item","numeric-id":2200833,"id":"Q2200833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$88D60836-BC68-4A8D-A6BF-C505D9DF9173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$D5AA5EAB-E8FD-4A1B-8283-BA0D7AF59287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$7F482D27-B70C-4110-8F3C-56A7FC40F337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$CF3BF1FF-3EE7-443F-BAE1-76D9684ACDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7910c3c1fcb2b0e85336cf11117807f90b06f21f","datavalue":{"value":{"entity-type":"item","numeric-id":5348926,"id":"Q5348926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$133CDC01-033B-4F0A-8950-4765598F036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9433b77fd67c96fab7c401e42c7a40799c3264d","datavalue":{"value":{"entity-type":"item","numeric-id":2829627,"id":"Q2829627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661153$2B33E8F5-1EE5-4281-8A30-47E920C51962","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":"Q6661153$A0322B0E-75C2-4895-9F0F-ABD25AFD52BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"947815cc4c40d875b440064942c361b39b4b72fd","datavalue":{"value":"10.4204/EPTCS.357.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661153$E71C0B4A-636D-43BA-B35B-53471042F223","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6661153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6661153"}}}}}