{"entities":{"Q59242328":{"pageid":59148461,"ns":0,"title":"Q59242328","lastrevid":1352351903,"modified":"2021-02-01T01:52:03Z","type":"item","id":"Q59242328","labels":{"en":{"language":"en","value":"Validating SystemC Implementations Against Their Formal Specifications"},"nl":{"language":"nl","value":"Validating SystemC Implementations Against Their Formal Specifications"}},"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 2014"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"6af75a265ccf9d5f6e944f635adc008c1aba6d29","datavalue":{"value":"10.1145/2660540.2660981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59242328$6C872461-E0E5-4709-9F6A-09A77170D458","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":"Q59242328$AF4D8F0D-0260-49CD-96F1-A88B97303FA4","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"dfc0cd61c51bee6b7b3e86ee288e4b61d5d92dde","datavalue":{"value":{"text":"Validating SystemC Implementations Against Their Formal Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59242328$5ECC2FCE-F2C7-48C6-B88E-F9F004D4775C","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"778036c94bcd494bb7efdf84b69d7acef1d1dfaa","datavalue":{"value":{"time":"+2014-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":"Q59242328$5C8DF501-9E4F-496B-A5B2-5DD587CDBDC5","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"026d36d324e7c064ab9bc011c938e2dfeab4404f","datavalue":{"value":"Jannis Stoppe","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":"Q59242328$CEE40433-A2F7-4941-8BDA-DD10ABA211E5","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"ef91bf44d2cc55337d0b6147df962e27d57b31fb","datavalue":{"value":{"entity-type":"item","numeric-id":60013415,"id":"Q60013415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"71d46d1e195e66648e6f1397853314a9ba711057","datavalue":{"value":"Robert Wille","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q59242328$9002AF14-2129-40E1-9B16-89753EAB63DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"3108f601d0f4422b1fbdfd930c4a977c472c3b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1378532,"id":"Q1378532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"4990327be231f83ac48dbdf7aaa489bbab4def83","datavalue":{"value":"Rolf Drechsler","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q59242328$94B29304-8EAB-4B11-92E9-CC4CBB78C9FD","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"708bcd3bdf446d497a0ee58dcfde1e2cd56ae8d3","datavalue":{"value":"conf/sbcci/StoppeWD14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59242328$9F18C4FB-1EAB-4BDD-A00F-5717085D9226","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":{}}}}