{"entities":{"Q62513198":{"pageid":62326527,"ns":0,"title":"Q62513198","lastrevid":1785825614,"modified":"2022-12-07T01:32:51Z","type":"item","id":"Q62513198","labels":{"en":{"language":"en","value":"Digital System Verification: A Combined Formal Methods and Simulation Framework"},"nl":{"language":"nl","value":"Digital System Verification: A Combined Formal Methods and Simulation Framework"}},"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 \u0441\u0456\u0447\u043d\u0456 2010"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2010"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"440cb9f9781749f437f16547836cdc2e63c75f04","datavalue":{"value":"10.2200/S00257ED1V01Y201002DCS027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q62513198$048A9A64-6E5A-4113-AA99-C9B94A68D0DC","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":"Q62513198$49354195-885B-414C-9AF4-FCFA1B877039","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"df478680cb673e3375052869345bff5e8b522d61","datavalue":{"value":{"text":"Digital System Verification: A Combined Formal Methods and Simulation Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q62513198$95D19A07-2516-490C-AEAE-E72F1D106689","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"962ed10012ef254020e2a8c8a6c8ba7647d35a12","datavalue":{"value":"1","type":"string"},"datatype":"string"},"type":"statement","id":"Q62513198$76CD20B9-879C-4074-B52E-7DC148108577","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"a567fc94ce67deab28247d8fb128b03896abebed","datavalue":{"value":"1-93","type":"string"},"datatype":"string"},"type":"statement","id":"Q62513198$C732045B-72BF-4C31-8DBE-10DE66930326","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"ab49dc08d24a45b6e4ca6b5613d63a1756aa3d7f","datavalue":{"value":"5","type":"string"},"datatype":"string"},"type":"statement","id":"Q62513198$3E5083F7-FD38-46E8-9B4C-129F98D12BE3","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"aafa792efd73405891bf4244d3b20cb28b005eac","datavalue":{"value":{"time":"+2010-01-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q62513198$A6270A04-9A6D-4472-A332-068915A83D83","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"7f3a1e5a870a2795ede0b8a107da193409c4ec87","datavalue":{"value":"Lun Li","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":"Q62513198$EC4A6885-D289-4BAC-A9BB-E9A6FE8F62C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"7e5aa54248053107132adb21d547ca9473b973d1","datavalue":{"value":"Mitchell A. Thornton","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":"Q62513198$CA75DDDE-0728-4D20-8E05-2B57E5378688","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"99a286f86e70be159294cac7aa2952a1eb23d71b","datavalue":{"value":"series/synthesis/2010Li","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q62513198$45AFD008-C5F2-4A97-8B5F-E7B0AD8806D3","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":{}}}}