{"entities":{"Q57006413":{"pageid":56923334,"ns":0,"title":"Q57006413","lastrevid":2048574152,"modified":"2024-01-08T07:18:18Z","type":"item","id":"Q57006413","labels":{"en":{"language":"en","value":"Games for Dependent Types"},"nl":{"language":"nl","value":"Games for Dependent Types"}},"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 \u0443 2015"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"88f0b7e6801f0e33378d0abdc2bd739bbe8fb2cf","datavalue":{"value":"10.1007/978-3-662-47666-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57006413$F7855E39-1017-4250-B92E-F45DE7717B24","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":"Q57006413$722BD16F-B324-4A60-83FA-0E1EA3EF7951","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"dfa01450e5e2b74313951570e75c93927eb9527c","datavalue":{"value":{"text":"Games for Dependent Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57006413$B396D965-61F8-438B-B97F-FA2A751979E0","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"003488f8f2942777b9092c67a746750e3ac13a6a","datavalue":{"value":"31-43","type":"string"},"datatype":"string"},"type":"statement","id":"Q57006413$C1141D8B-059E-4EB6-B930-192FF7762E66","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"ef9b9a6daac4a31e2cdcce4da9254ff869aab999","datavalue":{"value":{"time":"+2015-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":"Q57006413$AE9DACA2-2C8B-4601-94B1-F17D57DB0635","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"3015693f9abc71841a3bdca0db9bc5206d5c0b4c","datavalue":{"value":{"entity-type":"item","numeric-id":924044,"id":"Q924044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57006413$5B4CCF71-03C3-465C-830F-5BC0824FE6A9","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"83ad6c7e61e9b03ec29d7dea7d0424b3cbf4baea","datavalue":{"value":"Radha Jagadeesan","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q57006413$0F5E6E14-88BB-49A6-83C9-5550E10C5062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b2d3bfcd02d8a92c8dbe28919766194c5249369f","datavalue":{"value":"Matthijs V\u00e1k\u00e1r","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q57006413$7A9EC56D-31D0-4CF1-9661-D98CD6AE2E2A","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"ae12896eb7c67d6a9ab542fb426bd3f94ea53017","datavalue":{"value":{"entity-type":"item","numeric-id":7410357,"id":"Q7410357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"895a33104ad2e85069d64bfe38a614f64c478447","datavalue":{"value":"Samson Abramsky","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57006413$B605077D-D3BB-44E7-B035-6E692644AE6D","rank":"normal"}],"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":"Q57006413$C5D8DCDB-F098-4029-BEC0-F72D3211FC51","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"34ef590cf5bb3a9a42da125bf55d4187409f2256","datavalue":{"value":"conf/icalp/AbramskyJV15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57006413$87742078-52C3-4EAD-8EAE-083E5DECF100","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"]}]}],"P1104":[{"mainsnak":{"snaktype":"value","property":"P1104","hash":"8b8f39fa8fcead73382ba8af8af91da8dafb2e71","datavalue":{"value":{"amount":"+13","unit":"1"},"type":"quantity"},"datatype":"quantity"},"type":"statement","id":"Q57006413$0580A39C-3613-44C7-9393-63EEA44F61A6","rank":"normal","references":[{"hash":"40fce3ab36b4480c47d9e8bc986521996506f2dc","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"82cfe67f9f867837ae01ad53eb2ec999c910cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":110768064,"id":"Q110768064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"c032a292ada4ecc1dfe63d522e2b4610ecbff0a7","datavalue":{"value":"1395.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57006413$6F74E6D6-6480-47C8-821B-7BDFAF2656BA","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57006413$8252E96A-8E3E-4C4B-B693-775E4C15FFEE","rank":"normal"}]},"sitelinks":{}}}}