{"entities":{"Q5899155":{"pageid":8002990,"ns":120,"title":"Item:Q5899155","lastrevid":101875763,"modified":"2026-06-06T03:03:04Z","type":"item","id":"Q5899155","labels":{"en":{"language":"en","value":"Formal Methods for Hardware Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148310"}},"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":"Q5899155$C7346222-2C1F-4034-B66A-05B0F983D827","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":"Q5899155$2461CB0F-0F1A-4E74-8BB4-F097F8AE1277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"819402a46fd6e5b400e4069d6b9f67e71772201f","datavalue":{"value":"1182.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899155$EB7DF24A-5A8D-49B2-AEB6-6882DA44F811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19712225bf722bc0d6e62ddb98dea1e66f61d5f7","datavalue":{"value":"10.1007/11757283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899155$F3784D38-B724-4CE3-9C15-A04198D6E324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899155$A16A72FF-E952-4129-8486-D94CD1C114BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899155$A2B45442-B2CB-4A25-A531-B8749BC7496D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3495207d1965356b5c09ec509a7ee4275d91cd14","datavalue":{"value":{"entity-type":"item","numeric-id":947793,"id":"Q947793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899155$C8ACAB70-CAB0-40C3-A9A3-54BE16326AD0","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":"Q5899155$FC955AFA-131B-44AD-B2BF-A9BE6E7A25B6","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":"Q5899155$4B154C90-2FE7-416E-B288-1DC3A132433C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899155$74FD6512-91B7-415E-862B-A1AE3EF70524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899155$93E7651F-7966-4E78-99A0-26E4503337AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8546be16c613673763f9abd6ee19b495c24bc216","datavalue":{"value":"5148310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899155$4621BA93-28AC-480D-BCD2-E859B61E5B41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899155$14E8048A-DD4F-4C08-93A4-1FD2F47EE2DC","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":"Q5899155$92D33FB9-7827-4113-9C5A-A7803D8222BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a9b1e91fd9379da1062a573b45d12616c47ead2","datavalue":{"value":{"entity-type":"item","numeric-id":14487,"id":"Q14487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899155$079ED7D0-B9E9-4800-A0F6-C27E96329B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899155$1517C3EB-E25E-46B7-A76F-6DFEFB412FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97c32dcb9fe52972c8c1162de3d932b70e48fbc5","datavalue":{"value":{"entity-type":"item","numeric-id":21577,"id":"Q21577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899155$7F6338E1-F5FC-4506-B563-1FA5C2A229DA","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":"Q5899155$7FE7E2FB-AA4C-4462-BFF6-7483AEC17CB8","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":"Q5899155$AD6FE688-385A-4732-B608-D3B08A7964DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e43cd8e49607d60e53d774573ae4fe7054021e","datavalue":{"value":"W2475557998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899155$004239DF-EB26-4F57-964B-49DAF0ED76EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee356ae861b9bbcfde7895c962ba1a94d08ccb2","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b972dc1cf5ce54553323571f61a101e88afb694","datavalue":{"value":{"amount":"+0.7970394492149353","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":"Q5899155$D9D04BF7-6558-4F6B-834A-9D6AAC15D8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0337eec65669bdb027f080d3087ed0d70cc9320d","datavalue":{"value":{"entity-type":"item","numeric-id":4738483,"id":"Q4738483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ac6f37699783d0b8c84c9b8f2f43f5f70145da","datavalue":{"value":{"amount":"+0.7943438291549683","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":"Q5899155$E7CA5B51-08EA-4D59-9D23-6BA6AFEE1EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05564e307a5083a6c81d193eb316b1f80be51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5493231,"id":"Q5493231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730829feac2e8bbd768053c01769b92df734039f","datavalue":{"value":{"amount":"+0.7841619253158569","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":"Q5899155$3B9CFD6E-EEB3-4D90-9E13-D3BE780DBC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167b3eab88d6da85ac7333f808f5446f5613c138","datavalue":{"value":{"entity-type":"item","numeric-id":3512438,"id":"Q3512438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9cea891697e41a93c74d59be7d68df4d2bb004","datavalue":{"value":{"amount":"+0.7775048613548279","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":"Q5899155$B0EB73D0-E970-4436-8700-E11CE9184581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88dd4ce56ee14aa879d8eeb184cb6108256c5c7","datavalue":{"value":{"amount":"+0.7725576758384705","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":"Q5899155$92F8A962-E739-4514-8B12-CCFA1F81FED0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods for Hardware Verification (scientific article; zbMATH DE number 5148310)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Methods_for_Hardware_Verification_(scientific_article;_zbMATH_DE_number_5148310)"}}}}}