{"entities":{"Q57400570":{"pageid":57317077,"ns":0,"title":"Q57400570","lastrevid":1352526484,"modified":"2021-02-01T07:19:10Z","type":"item","id":"Q57400570","labels":{"en":{"language":"en","value":"An Isabelle/HOL-based model of stratego-like traversal strategies"},"nl":{"language":"nl","value":"An Isabelle/HOL-based model of stratego-like traversal strategies"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"en":{"language":"en","value":"article"},"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 2009"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"4fe66162d95272981fbfd0164093d8630a3b2229","datavalue":{"value":"10.1145/1599410.1599423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57400570$B64F48BD-B318-4927-9E27-4B712E3196AF","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":"Q57400570$DDC83D23-7B10-46E1-8059-593928426B42","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"53971d198f67720d4976c991361dcc2fa38bd24e","datavalue":{"value":{"text":"An Isabelle/HOL-based model of stratego-like traversal strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57400570$5BFFEA2A-CCA9-452C-9846-501D4A789360","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"d0b146732c08215a0fe1c09ff9481930fbba797a","datavalue":{"value":{"time":"+2009-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":"Q57400570$90C66876-EC5A-4ED0-91A8-96ED4658EC84","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"4634467aac601dd81d822df2fe9748b87840d102","datavalue":{"value":"Markus Kaiser","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":"Q57400570$48FAD9C6-3B1D-411B-97D1-FADCF0BB7870","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"f5005eeadfa4c0b2fc7c076c7f0de8d8981b2cb6","datavalue":{"value":{"entity-type":"item","numeric-id":28009024,"id":"Q28009024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"38c8c367e305f73f402db96125b0b03df82c1e86","datavalue":{"value":"Ralf L\u00e4mmel","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57400570$61786C04-11FC-4B1C-8539-072BD92096A0","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"3a9160d1a717d26c0d281ca98ecdf3f10740238e","datavalue":{"value":"conf/ppdp/KaiserL09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57400570$82B68483-9411-4D0B-9DDF-DB151B095888","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":{}}}}