{"entities":{"Q127149005":{"pageid":121149555,"ns":0,"title":"Q127149005","lastrevid":2372087209,"modified":"2025-07-02T15:11:43Z","type":"item","id":"Q127149005","labels":{"en":{"language":"en","value":"A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille"}},"descriptions":{"en":{"language":"en","value":"scholarly article"}},"aliases":{},"claims":{"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"3a034738654b53243c4dc0c2b0fdb7dc020618bb","datavalue":{"value":"307","type":"string"},"datatype":"string"},"type":"statement","id":"Q127149005$F82F44D7-F49E-4FF2-8C17-6F6F68F723DF","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"c3d1e2360745f9da0856ad9d799b0cc17e83845d","datavalue":{"value":{"time":"+2019-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q127149005$1CD023FF-3E1B-4C8B-9208-3D7A38F8F9D2","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"92d54555b12ed2e0120ec8702d45890219cc3b6d","datavalue":{"value":"10.4204/EPTCS.307.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q127149005$70190C03-77DB-454E-80E3-ED13330E8F55","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"a338546eb519fc230ef25a36a93b12a7c5afc776","datavalue":{"value":"55-67","type":"string"},"datatype":"string"},"type":"statement","id":"Q127149005$BA589DCD-5E52-4901-8C1B-0B32CDF15FF1","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"a8e9da5e7f96f3a915ba830b2b6b386b5499b824","datavalue":{"value":"Aaron Stump","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q127149005$9718A111-F873-4CA8-B320-A33EAEA4533E","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"98378a8ef04bbbdf30bd1e5d2ae71a02b6ae5a1b","datavalue":{"value":{"text":"A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q127149005$817391CE-6507-4D7E-AE23-CCB20F9C1BDD","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"ed6008be916bbd396ed7fa680fc91528706c420b","datavalue":{"value":{"entity-type":"item","numeric-id":5358295,"id":"Q5358295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q127149005$B7C7FED6-85C3-47FE-A7D1-E8B1E6EB9C51","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q127149005$91A72838-1655-4433-9D98-17CFAB37F0FF","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q127149005$86247B17-45FD-4C08-9CE5-5F1A0120A6FE","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P818":[{"mainsnak":{"snaktype":"value","property":"P818","hash":"1ba959c4204c389e9042194b0a8b03252a6a3268","datavalue":{"value":"1910.10851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q127149005$e2873889-d1e9-4f27-be48-eeb500bc1913","rank":"normal"}]},"sitelinks":{}}}}