{"entities":{"Q5505565":{"pageid":7535125,"ns":120,"title":"Item:Q5505565","lastrevid":40921130,"modified":"2025-04-14T03:55:22Z","type":"item","id":"Q5505565","labels":{"en":{"language":"en","value":"Reveal: A Formal Verification Tool for Verilog Designs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498353"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505565$37716603-3135-4A51-874E-34B961E97C64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0662ac2f2a3afc7e09450a6e2010c69c24650a4e","datavalue":{"value":{"text":"Reveal: A Formal Verification Tool for Verilog Designs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505565$BBC208F5-CB87-4913-995C-A7501A178B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"516891ab09af56e45507929bfd06aa58138ea1fc","datavalue":{"value":"1182.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505565$7632C261-E2B4-4208-A9AF-691E286E87D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb57adad67e8cda04f0369b7d10a62340790bca","datavalue":{"value":"10.1007/978-3-540-89439-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505565$1D896C4B-110C-48F3-B895-1EFDA1739035","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"630ca3960cc466dcf9601d2313ce5a15acdc4d40","datavalue":{"value":{"entity-type":"item","numeric-id":1037640,"id":"Q1037640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505565$7138BB4E-C79C-4ACA-9030-212C991F3454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"529723ee5f6982b56cdb7507d9245342c9f966b8","datavalue":{"value":{"entity-type":"item","numeric-id":272006,"id":"Q272006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505565$A3BF9DC2-C5FE-4448-A58E-02687A5E5F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505565$76D7CD06-9373-4076-A760-2AD5BB3F3EF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505565$2743A134-976E-42EE-B143-988971DF6B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505565$5A09AE8E-F627-431B-B1C1-072EB2EB35AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505565$CC089924-389E-47DC-BFB7-CC1DFD5BF9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505565$63C0B8E0-21BF-4CE6-80AB-76E27484F00D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebd6f25569c482437b2ff597d209dd88f10011c3","datavalue":{"value":"5498353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505565$C55DF2CD-82E4-4689-8717-8BF0703B5802","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505565$732EA28D-624C-43B3-B163-F23A3280634A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505565$A5DEA2CA-8167-4997-A74D-D6351F497249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5be54b2e215b7f0b01e73598508e10bf90884a7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505565$21B309FA-0DEB-4D32-9D0A-615A24109EEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed87c4e0e3fc6b33d3471af73c70a1d7903b9008","datavalue":{"value":"W1644782203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505565$8B05D16C-8864-4EA0-BED0-7786CF2A39C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964d2736c5c12e90505eef79ec0a222fe56e54a","datavalue":{"value":{"entity-type":"item","numeric-id":4028129,"id":"Q4028129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785820eeeed9a84de2bc6c5d37727f1056908569","datavalue":{"value":{"amount":"+0.85914433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505565$FA7DA0C1-5B53-461A-A084-320C32F2EDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca0bcb65b5468bbb13bd98ff48bab2b186bc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":2703694,"id":"Q2703694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be280f2619a03dd9d28391a60b24fe3404173d38","datavalue":{"value":{"amount":"+0.85399616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505565$3A188820-F715-40F2-AFE2-7D62846357A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd15e8197ca11b1d37ec403077d6448a76ccb50","datavalue":{"value":{"entity-type":"item","numeric-id":4948148,"id":"Q4948148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c247d5c27f7291bfa2d5dbea4304714706b446","datavalue":{"value":{"amount":"+0.8491628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505565$ABDA92D7-170C-4BC1-B390-F87984C82534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c65462ceba66f4461063591fe338308ce739c29","datavalue":{"value":{"entity-type":"item","numeric-id":3030255,"id":"Q3030255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f846eb362361934d1d16f775bd9dff557e1e582","datavalue":{"value":{"amount":"+0.84707487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505565$40065C8B-019B-4254-9FBA-09D41AC23CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14893a3b21685dbf997904367ad45de227cd399","datavalue":{"value":{"entity-type":"item","numeric-id":4028137,"id":"Q4028137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b925450ffef21b0b888fe22d9b65f75793002e","datavalue":{"value":{"amount":"+0.8449655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505565$297F2911-8074-427B-8CBF-FB2FFF1316AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df996a015c72c92968b46d3f9226a119a80bc67","datavalue":{"value":{"entity-type":"item","numeric-id":1870230,"id":"Q1870230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b724bbde32db17befcd72ed872a9016f5afc5de4","datavalue":{"value":{"amount":"+0.84307915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505565$9C7FF4A8-5464-4C41-A5DA-F5120083B6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce8899498be69add981628146ffdf73a2521bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5222992,"id":"Q5222992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3551971d84b8619fee9bcdb96b9cc7706febe9db","datavalue":{"value":{"amount":"+0.84199834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505565$B910B4C2-4EF7-4955-8E3E-D43F1EA34228","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505565"}}}}}