{"entities":{"Q5899152":{"pageid":8002984,"ns":120,"title":"Item:Q5899152","lastrevid":101875736,"modified":"2026-06-06T03:03:03Z","type":"item","id":"Q5899152","labels":{"en":{"language":"en","value":"Formal Methods for Hardware Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148307"}},"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":"Q5899152$D7F617D8-7B3D-4B48-81A8-91905C9FB3C6","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":"Q5899152$64EF086D-8900-46A4-806F-763891976147","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ceb824bffac748892cff84362b14b0e54a0d55aa","datavalue":{"value":"1182.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899152$B0C12852-CCBC-4DC4-9AC0-A32721C1A1BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19712225bf722bc0d6e62ddb98dea1e66f61d5f7","datavalue":{"value":"10.1007/11757283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899152$D5B248EA-C248-487D-BE76-4A144633CA94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$BC641971-C7D9-49CB-9384-E487BF9165D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0684207c00193d0694cadf2f41eafecf41dbde08","datavalue":{"value":{"entity-type":"item","numeric-id":2280223,"id":"Q2280223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$F3580C9A-15C5-4486-8EF7-AD6E8FDF10C0","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":"Q5899152$7BBC1CAA-EDD7-43A8-BB50-61639C7BE3C1","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":"Q5899152$3C6857DF-C5FA-438C-83D8-EAF38E89C2F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899152$B5D729FB-813B-432D-86FE-91F46A8F3E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899152$47753C93-3533-4A09-B89B-CBEC760DCF01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5fb7f4d2722176b469ef733e77b2e7993b66e9b","datavalue":{"value":"5148307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899152$FBF4A4EF-2633-4C51-B8B9-0EFB4036A282","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"062708eac0855ac292bafeab4450f99dacbff29b","datavalue":{"value":{"entity-type":"item","numeric-id":12897,"id":"Q12897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$9BA685D3-71B1-4A1C-98CC-9B728ACB97C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$D1A2B2CB-43F1-4D0D-81B5-C6981F637950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"721cd3f771a73322a1a8673acde2a092cdadd158","datavalue":{"value":{"entity-type":"item","numeric-id":22040,"id":"Q22040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$C15538C1-F4F9-43D8-AB1F-087D9CA60807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$976081C4-3E2F-4DBC-BC45-92A0A571008C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$6777DE23-AED7-4B34-B762-2EBD03C248C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b21250d116ea30e7a4597f4db660a3e6b3564a3f","datavalue":{"value":{"entity-type":"item","numeric-id":22041,"id":"Q22041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$A9DCBF61-D6E7-4092-9D19-022AAAABA757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8b4bcce0bedb5dd3a5621bebec610f891871b90","datavalue":{"value":{"entity-type":"item","numeric-id":22042,"id":"Q22042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$CED7E63A-FA5D-4421-B35F-6D966F27803F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76a090bd25567d75529282ef9f1b88de42501411","datavalue":{"value":{"entity-type":"item","numeric-id":22043,"id":"Q22043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899152$0BFF4B27-5304-4E94-9122-1E7E0D5C9A9C","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":"Q5899152$F1D1647C-91B5-499C-A20F-73C3BC61015C","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":"Q5899152$4F406F58-FDD1-47C1-B2FB-29BA121B33F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e43cd8e49607d60e53d774573ae4fe7054021e","datavalue":{"value":"W2475557998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899152$738524EE-A7BC-4A58-9298-22613DBE975C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121e5706cd924fc931393e0d32be01ebcce2254e","datavalue":{"value":{"entity-type":"item","numeric-id":3631306,"id":"Q3631306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43a3171ff494fa6a0c93b4020ba1c2dd72fd3a1","datavalue":{"value":{"amount":"+0.8261600136756897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899152$C4C34CF8-90D5-49B4-996C-1DE6F09678B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a822f01e007cd2d3bc53b9da36d030057de18c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3106263,"id":"Q3106263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997ddb783851a6d359bc59c7ec677137d06ee42b","datavalue":{"value":{"amount":"+0.7804564237594604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899152$6EAB1676-D585-4160-B295-B39A24B9E9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c79abbdf32360e2135ac8af6ec43e8264520ab","datavalue":{"value":{"entity-type":"item","numeric-id":2786909,"id":"Q2786909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9126dd9fd4aa98ea499a0e4d897b37cd969878a7","datavalue":{"value":{"amount":"+0.7273518443107605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899152$3711DE9D-9F11-45D6-958F-3854C480B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393a078aefcf34f5d71fe674a7dc8e06e1cfd75a","datavalue":{"value":{"entity-type":"item","numeric-id":3335684,"id":"Q3335684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e163e98b8b743ab11742ccdba9cd4e09944517a8","datavalue":{"value":{"amount":"+0.7233317494392395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899152$F4157EE6-75DF-4BB1-9820-CC1971602B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92e4a1537a6a0c5aeffe5f1d32c0ad88124031b","datavalue":{"value":{"entity-type":"item","numeric-id":3126029,"id":"Q3126029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678498bbf0ad992e2ee234f6725f4e2762537964","datavalue":{"value":{"amount":"+0.7185807228088379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5899152$26EF8747-919F-48AB-A201-C512000F086F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods for Hardware Verification (scientific article; zbMATH DE number 5148307)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Methods_for_Hardware_Verification_(scientific_article;_zbMATH_DE_number_5148307)"}}}}}