{"entities":{"Q5953449":{"pageid":8130251,"ns":120,"title":"Item:Q5953449","lastrevid":102107792,"modified":"2026-06-06T03:29:57Z","type":"item","id":"Q5953449","labels":{"en":{"language":"en","value":"A light-weight framework for hardware verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694303"}},"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":"Q5953449$78E072D4-9E91-4138-97E9-5A3D4B3C0BDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9604949cc7412707205dc21de719d45ea0e3d2aa","datavalue":{"value":{"text":"A light-weight framework for hardware verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953449$238CD456-EE6A-4768-8B86-324B337691EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9b7877a0470127389a9f374ed7c2cb285230ea3","datavalue":{"value":"0991.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953449$077223EE-0A82-4DF7-81B8-7BBC06D2D981","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf5c74890872d06a44cd4c805d1aed281147d559","datavalue":{"value":{"entity-type":"item","numeric-id":225067,"id":"Q225067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953449$C0013AB6-F5F4-4380-BE14-5750E0EFDB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d68fe601e2326e2c93a1cc7ce1650465c19143ae","datavalue":{"value":{"entity-type":"item","numeric-id":225068,"id":"Q225068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953449$7EC0704D-651F-47A3-AE24-3EF0189A127E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e531022a890ff698e0b1823a8a7836a70cca6012","datavalue":{"value":{"entity-type":"item","numeric-id":225069,"id":"Q225069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953449$4F0655EE-DD05-4108-BDE7-D39B7D5C3100","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953449$FD01CA93-09F3-47BE-965F-2B9F72ED5695","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e50aedfef1e85fc4665e8a822897c0b5cc3f690","datavalue":{"value":{"time":"+2002-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5953449$8171EBCF-B282-43DA-81DA-4DDAA20FC072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953449$6E8727D1-9CC3-4718-8C7F-B398DD26B913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953449$423AAEFB-E5A5-44D4-A37E-237F77BF7413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ac7ebfc0ddea6920cc2f37352686a6c42a4add","datavalue":{"value":"1694303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953449$1D7E5233-7525-45B1-AA72-5FABDD5AF72D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"265f7bd644bb53d570e98e390cd1fd4473fafa0d","datavalue":{"value":"switch-level models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953449$02872B12-6F63-4E27-BDC1-D1AD6602243D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953449$2FE07C2A-0B56-439F-8784-0F7656C43E4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953449$6A9E80E3-9562-4C49-A338-F3EDBB7835D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953449$7DA97A63-3F88-405E-BFA1-629B4C42D78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953449$604EBA23-26AB-4D6D-BD99-4D97F76923C6","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":"Q5953449$078C24AA-38B5-4840-A3DB-8EB44158B361","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f18561f1bb5947e59555e10f152ea0e1d95e78d5","datavalue":{"value":"https://doi.org/10.1007/s100090100043","type":"string"},"datatype":"url"},"type":"statement","id":"Q5953449$C0B1C106-C5EF-45D5-99F6-8DC135C80722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"439402f94a840f19cc6fd491d6cbecc3bf6b6452","datavalue":{"value":"W376991050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953449$404C406C-F430-4613-868B-37939720FDD9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8d0d4403b84d7a459e35d4e5327e98e869a93ff","datavalue":{"value":"Q126578418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953449$85841CA2-AF2F-4173-A067-E7660F6854BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39dd87730b6768f3486d11ebf72849d8b13d5707","datavalue":{"value":"10.1007/S100090100043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953449$0E698E55-913B-4F7D-91B3-8C16580757B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4904f65067261fad8cfa8f0d5f5ffb880b12c94b","datavalue":{"value":{"entity-type":"item","numeric-id":2754053,"id":"Q2754053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c76e7c93ab6f923b2749ecfe00f3237e3c2345","datavalue":{"value":{"amount":"+0.8133113384246826","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":"Q5953449$28DEC079-CF8A-442D-B61E-F78DA153DB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3320d2109578c47d0aaaa2f9f9a21e0e10eb9554","datavalue":{"value":{"entity-type":"item","numeric-id":1702892,"id":"Q1702892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c76e7c93ab6f923b2749ecfe00f3237e3c2345","datavalue":{"value":{"amount":"+0.8133113384246826","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":"Q5953449$ABC9B998-45D0-4FD1-A9D6-1DC29572B393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085d01fd3d5b64326f9bbba67b5309731c5b996b","datavalue":{"value":{"entity-type":"item","numeric-id":1856145,"id":"Q1856145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d26e7b3cda3b41265174adadcc9ca42fa63f47c","datavalue":{"value":{"amount":"+0.7543949484825134","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":"Q5953449$9097B5BA-C843-4636-88BA-BE67619695DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e08d4c1b4a36ec698bdc3aa8756e9e8896d4ff","datavalue":{"value":{"entity-type":"item","numeric-id":4787230,"id":"Q4787230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323bd4d24ee9b9b60027539f1fd619ee81867ad8","datavalue":{"value":{"amount":"+0.7466944456100464","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":"Q5953449$C46CFC49-9495-48C2-9151-4C0DC91B9E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1713e077168612cfd590e0feccdc76fe119d32ff","datavalue":{"value":{"entity-type":"item","numeric-id":4692769,"id":"Q4692769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f429a355223492762ddf424addbf4f36a9f82f13","datavalue":{"value":{"amount":"+0.7445710301399231","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":"Q5953449$F9A6B604-559E-4CEB-A4DC-9E9C6ADDABE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A light-weight framework for hardware verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_light-weight_framework_for_hardware_verification"}}}}}