{"entities":{"Q59859569":{"pageid":59744342,"ns":0,"title":"Q59859569","lastrevid":1820089802,"modified":"2023-01-27T01:25:23Z","type":"item","id":"Q59859569","labels":{"en":{"language":"en","value":"Symbolic Model Checking of Analog/Mixed-Signal Circuits"},"nl":{"language":"nl","value":"Symbolic Model Checking of Analog/Mixed-Signal Circuits"}},"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 2007"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2007"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"3158c0cf9756c8cd79047d86e05dfed6ec34d919","datavalue":{"value":"10.1109/ASPDAC.2007.358005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59859569$7B9A928C-1976-4E7F-8909-AF2D8CA80D74","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":"Q59859569$323F059E-5D2F-4CDA-BF86-F49D5A162B2C","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"edc7d5aa9150022c05139ca584cbaa375f41a7fe","datavalue":{"value":{"text":"Symbolic Model Checking of Analog/Mixed-Signal Circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59859569$E51C8B17-EAC0-4CDD-9F5F-C3230C55095B","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"055113d1d56ec6d6d6ecc4b1d92d05a43083706a","datavalue":{"value":{"time":"+2007-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":"Q59859569$9E0E554D-7C7D-4B3F-B3B1-898DDDA1D3A3","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"36300d5694b81bef36eb44eca5c7a1ed72aa9e40","datavalue":{"value":"Scott Little","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":"Q59859569$25C888EF-DF83-4E79-882C-EA104C6D83BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"c7ec7e88d0df38a06a33efb847ad913b452331d7","datavalue":{"value":"Nicholas Seegmiller","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":"Q59859569$4920A6A2-D6BA-4ABE-ADE0-AFB935EC65BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"2a114a0142818f2fe3ad43445a2e044aba94027b","datavalue":{"value":"Chris J. Myers","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59859569$E96B8B7E-99B9-4E4B-98F1-59EEA4E6A916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"f94dad122b129aaa8ae9c9dbaadb60104065b199","datavalue":{"value":"Tomohiro Yoneda","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59859569$BFC2BE77-3246-483C-820A-E0D8A152AEAF","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"2dc2160cf5130bac9b8e34886b997219c8f231ad","datavalue":{"value":{"entity-type":"item","numeric-id":59860741,"id":"Q59860741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"17fb41e718535e5c082e56a8dfbc806476cca3ee","datavalue":{"value":"David Walter","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q59859569$F35E019D-8B4F-456B-9464-25F30A663818","rank":"normal"}]},"sitelinks":{}}}}
