{"entities":{"Q56851516":{"pageid":56769109,"ns":0,"title":"Q56851516","lastrevid":1831514569,"modified":"2023-02-11T05:34:00Z","type":"item","id":"Q56851516","labels":{"en":{"language":"en","value":"Theorems for free!"},"nl":{"language":"nl","value":"Theorems for free!"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 1989"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 1989"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"5893b4082bf15386cff7e1d234042de9921f573d","datavalue":{"value":"10.1145/99370.99404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56851516$9C3F71FE-C617-4868-911C-C67B8748C591","rank":"normal"}],"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":"Q56851516$A56DAC78-D834-4DA7-92BB-22A63ADFCB40","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"b0c4acb16f6694e394396f38d58f51dab8ccbceb","datavalue":{"value":{"text":"Theorems for free!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q56851516$AAD58306-68D9-41DF-BD5E-7CBE82BC19B2","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"698a962f7c382c390636eb547dcad88106f8109f","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q56851516$12D108A5-F536-43CF-B919-244040868696","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"19e059a7da30c74fe6644f94e32d41006be50602","datavalue":{"value":{"entity-type":"item","numeric-id":3379094,"id":"Q3379094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"ee9daab50dd0c76c3197c6d50f7ef01573cf59f5","datavalue":{"value":"Philip Wadler","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q56851516$3E296A6E-CB20-4DEF-97A4-4C6BA799E24F","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"b951164615e3e633ca9a7c1c3703a971fc38d2ae","datavalue":{"value":"conf/fpca/Wadler89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56851516$658524A2-2924-46C1-99B2-CBE73EE8865E","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}]},"sitelinks":{}}}}