{"entities":{"Q5899153":{"pageid":8002986,"ns":120,"title":"Item:Q5899153","lastrevid":50084221,"modified":"2026-01-12T21:58:42Z","type":"item","id":"Q5899153","labels":{"en":{"language":"en","value":"Formal Methods for Hardware Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148308"}},"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":"Q5899153$A967C1CD-5320-4E48-9CE4-4FC4723F8984","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":"Q5899153$B0D108FA-5D26-4F9E-8E3B-AC210B27D7EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d661881bc9531293122768520bc893c6b88014a2","datavalue":{"value":"1182.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899153$12F83717-0542-45F4-89A2-8E66407C85D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19712225bf722bc0d6e62ddb98dea1e66f61d5f7","datavalue":{"value":"10.1007/11757283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899153$355899DA-7AB5-4CA7-85BD-C91C8744C7D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899153$F3DDEA3D-D271-4FB1-8DDB-A2EF503DB1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3185e6c3501180d4202b7116e5d560d988a05fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3433808,"id":"Q3433808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899153$C92D316E-BCDE-44F2-8BE4-37E41AA4B933","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":"Q5899153$B1EDE5FD-33B3-4624-A828-65D418D59322","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":"Q5899153$09E6A5AD-0258-4C32-BC0B-4D4AE87A1D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899153$68BF561C-BF7F-4304-B5F3-1D06506341F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899153$21DFD9BE-8A99-4AE3-B3EF-1AA63259FDDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a615973b64b3636229e1b4e92057ca4d22e98cad","datavalue":{"value":"5148308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899153$ADFE2C8C-2525-48B3-A041-8240F7C770CF","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":"Q5899153$B6116C38-0EA9-416F-A5E6-63147FF8E51C","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":"Q5899153$A4C6BDD7-E7F2-4361-9A35-328A8759D60D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e43cd8e49607d60e53d774573ae4fe7054021e","datavalue":{"value":"W2475557998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899153$59CDDF50-8BA0-4FE4-85F4-D5176AA7729C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4407264dcf973a7a6165955b28c3e3cb06763b","datavalue":{"value":{"entity-type":"item","numeric-id":3176383,"id":"Q3176383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7a82669b1ba85c796db4099f7947acede4d77d","datavalue":{"value":{"amount":"+0.8538199067115784","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":"Q5899153$7B2AFEE3-6A3A-4666-BF38-76A41065C2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4e8c2438d542bcff482b7e899dda26ebe6eaf9","datavalue":{"value":{"amount":"+0.8052703142166138","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":"Q5899153$B9BEA26E-A1BF-48E5-A6AF-14DA84454C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49469a72f13947f8effb13d21fc0a782abc86ad","datavalue":{"value":{"amount":"+0.7946293950080872","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":"Q5899153$D5EC0F47-C2F8-4CBB-A718-0A16FA6EBEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ec228c34bdeef8c4b414019504719b98733a06","datavalue":{"value":{"amount":"+0.7911953926086426","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":"Q5899153$E70EDE24-0D52-4D0D-8569-75A84A55CB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d2069a29f78f85a2afe91af453f3f4d6ae04b8","datavalue":{"value":{"amount":"+0.7910187840461731","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":"Q5899153$A47BB471-A2CB-498D-B9CE-8266DA722A50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899153"}}}}}