{"entities":{"Q5899154":{"pageid":8002988,"ns":120,"title":"Item:Q5899154","lastrevid":40921131,"modified":"2025-04-14T03:55:22Z","type":"item","id":"Q5899154","labels":{"en":{"language":"en","value":"Formal Methods for Hardware Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148309"}},"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":"Q5899154$C8DEABD7-10F8-439C-8D1A-0565E14EAB2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388cd52635f520daf7b232c2404643e9184558c4","datavalue":{"value":{"text":"Formal Methods for Hardware Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5899154$F078B2EE-85D6-4E15-A3E1-D0861167F0B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cc0abcc054a3033fd17d15e4adca6c33bf82f31","datavalue":{"value":"1182.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899154$D0FF7A57-C79F-491C-8532-03E6750A4BB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19712225bf722bc0d6e62ddb98dea1e66f61d5f7","datavalue":{"value":"10.1007/11757283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899154$364D036E-D5EB-4291-9A2A-21EB8A152523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ba453704ed3d872eb3c4e12877bf750b115031","datavalue":{"value":{"entity-type":"item","numeric-id":453481,"id":"Q453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899154$8710A25D-2454-4C7B-A93E-89AAC51BC1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934a5008a0a746b16b7d44c41176cad8b07185f4","datavalue":{"value":{"entity-type":"item","numeric-id":3433809,"id":"Q3433809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899154$007634AD-113F-40AD-BFB0-2353BEB2D6E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899154$93A41F33-EBD8-4EA8-BEA7-7A416047C17E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5899154$9DE672DB-6785-4465-8FB1-A48B1D12F134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899154$88181A70-B835-4FE2-AE28-C5510D6498A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899154$49C334D9-D603-44A9-934B-BF38BF111144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93a9bf80e84d362522b4ea10247d3df7ef792f5e","datavalue":{"value":"5148309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899154$CBF30194-DE86-4E83-997C-54D4B953ACB4","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":"Q5899154$51ED1B6C-3B52-443A-A74F-59215D3B52AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8540e93ee52c4af80e8b8028a54a5ecb39538123","datavalue":{"value":"https://doi.org/10.1007/11757283","type":"string"},"datatype":"url"},"type":"statement","id":"Q5899154$5483AA19-5315-4F7A-8A0F-980320CEBD3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e43cd8e49607d60e53d774573ae4fe7054021e","datavalue":{"value":"W2475557998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899154$F7111270-E753-4669-A18D-8572958AB849","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0975799ea3d65375943392517d8861f155fea4f","datavalue":{"value":{"entity-type":"item","numeric-id":5953449,"id":"Q5953449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2d62726e3d70ee3bb36f50c5f4a0a131479df7","datavalue":{"value":{"amount":"+0.871504","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":"Q5899154$99692A09-2A10-4044-980A-036522C75F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26cd0e891713bbf5a87fb4c8ab0bbcebc1cb665","datavalue":{"value":{"entity-type":"item","numeric-id":2751751,"id":"Q2751751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5b86810bf81777ee2ed5cc027728a4926df72b","datavalue":{"value":{"amount":"+0.8684211","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":"Q5899154$D78D3EF0-6CBD-4511-A0FA-68B2BD8A6030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe1a39d1cf757713a218f0e2aca1d8d05e81ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9fb10e982e275e1db863f7d6a065fc8cd77d19","datavalue":{"value":{"amount":"+0.865204","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":"Q5899154$5DDE8271-63CF-4B9E-91B0-3E34A1277305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0530bea71112c476c23c796e4d2638b586ea42fe","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86455fd8a08b1623e7eced4dbc5f082f695fef4b","datavalue":{"value":{"amount":"+0.8632277","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":"Q5899154$5A3CE32B-FF8D-4E54-95CC-F67A7AC49E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca5cc289be4a8a1a484d5edcdbaeb09301b7f64","datavalue":{"value":{"entity-type":"item","numeric-id":4302838,"id":"Q4302838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248e607aef137cae70e88022da50ea072f8db0b5","datavalue":{"value":{"amount":"+0.86322546","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":"Q5899154$7C2D6D27-5DCA-40F8-B8D1-3BBF94C88C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2c64ccd62c5b7d5be36bad70e40e75676affc5","datavalue":{"value":{"entity-type":"item","numeric-id":3840902,"id":"Q3840902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692302d1714b6076be177b27baf86f7a41cc6e76","datavalue":{"value":{"amount":"+0.8629859","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":"Q5899154$A1B142CD-E2AA-49C6-8B17-B6A09487D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6bebccc958738c8b65edf07dd6e24bfa03ab58","datavalue":{"value":{"entity-type":"item","numeric-id":4251914,"id":"Q4251914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557c587f77b9e08c179890cec6a008e4ae786a0c","datavalue":{"value":{"amount":"+0.86085266","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":"Q5899154$3D2044B5-CB3B-446A-BC4A-8546B96E3230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56bbde94c33e6eb106ba5424f7d5b687491b5cda","datavalue":{"value":{"entity-type":"item","numeric-id":1721242,"id":"Q1721242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc12041fd1ef06223844c23d190ddfb89476950","datavalue":{"value":{"amount":"+0.85952115","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":"Q5899154$8EA7781D-28B0-49ED-AEF8-90D4371EC3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899154"}}}}}