{"entities":{"Q5493253":{"pageid":7522813,"ns":120,"title":"Item:Q5493253","lastrevid":96302744,"modified":"2026-06-05T10:54:04Z","type":"item","id":"Q5493253","labels":{"en":{"language":"en","value":"Correct Hardware Design and Verification Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065752"}},"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":"Q5493253$3DAE649B-91A9-49D5-9A85-35E9BC340695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c8f2d2ec76da52bc4ad5fba0da16b149a776d5","datavalue":{"value":{"text":"Correct Hardware Design and Verification Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5493253$47F4A13E-0C61-49EB-9397-107AB6D1F22A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45ca5c90fb8cb3e505e04033e67808f76eddbaea","datavalue":{"value":"1159.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493253$AA4514E5-5FD9-47A8-B9A8-EC10B29D6FED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62abd0c38cafeca09a5e8aa8b2918a4446d89f8c","datavalue":{"value":"10.1007/11560548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493253$566F4D04-FD10-42E7-8875-556BD2B552EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a316cccdf4b8e802318cfa8475f4a158766ebb","datavalue":{"value":{"entity-type":"item","numeric-id":877829,"id":"Q877829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5493253$C1956D3A-2220-4187-84DB-5528B69E595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4988851e188f3c37af47500bd4c4d38a4b366e25","datavalue":{"value":{"entity-type":"item","numeric-id":362564,"id":"Q362564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5493253$62DA4175-2CCE-4137-B4B5-F2DC4ADA05A8","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":"Q5493253$092CC86A-8B05-4D03-AA05-DF690093F7D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d8047ef91e7ccd7af1b39494c1aad77dacfac1","datavalue":{"value":{"time":"+2006-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5493253$CBECA893-F14E-426B-8A50-57FC228CD172","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493253$06413732-FBA5-46BF-B4A1-4D7675C84459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493253$2667E204-44BD-4451-AC10-638746208F3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7da8e0ca1a46dcc0e713c0daba366f25bbe9eea0","datavalue":{"value":"5065752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493253$A684AD30-91AF-4B42-A62E-A02D356BBC13","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":"Q5493253$5431CB22-2C88-4FC3-8875-6C75F4841212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28caeba631dbf50c61e15cd0971e07f8ff6f895c","datavalue":{"value":"https://doi.org/10.1007/11560548","type":"string"},"datatype":"url"},"type":"statement","id":"Q5493253$103D4AAA-BDEF-44AB-904C-FBBF2BDCD4C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a20a5df159a27a4c66ad4e0438123a85fa8523a","datavalue":{"value":"W2483257485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493253$7778E1B3-E6A9-4075-A51A-3E6BE8A17F24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519aff4e4b980199e4b7dfa73de3afdeba5a8a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2949203,"id":"Q2949203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543f55a79bfdaeb5f22eed6f23a05b7785adf7ab","datavalue":{"value":{"amount":"+0.6750255227088928","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":"Q5493253$E9CED326-493B-4BA7-A2A1-611674DA2CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7223b983011c9fd679feee854963c6147ea7b8b","datavalue":{"value":{"entity-type":"item","numeric-id":5178909,"id":"Q5178909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0242312dd293ec1ed5ff61bb1ec2250a0968d81","datavalue":{"value":{"amount":"+0.6348624229431152","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":"Q5493253$E48FC886-9B5A-4A05-9DD7-317F8EFA1B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbfa16fdd5061786ea870f01821880e254c29e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1350740,"id":"Q1350740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d159f98e7108b89ead063b5c10dbc46c54631566","datavalue":{"value":{"amount":"+0.6336028575897217","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":"Q5493253$5BD23BB6-E7FF-4F11-9E97-9E385583C321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec078045241b76378443871480db39de7113a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3992232,"id":"Q3992232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859a220c357e640942330f2a4af7354d9455bfc0","datavalue":{"value":{"amount":"+0.6320094466209412","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":"Q5493253$A730248B-42FF-4D74-8DEB-1925980ABCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1d693ede0292cd3f4a921a8c37f98e81015bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1330435,"id":"Q1330435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1e24f337800cbfde2008cb1e519128ed8f7359","datavalue":{"value":{"amount":"+0.6309228539466858","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":"Q5493253$E943AF1E-38AD-458B-BC5A-A109B3D7B070","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correct Hardware Design and Verification Methods (scientific article; zbMATH DE number 5065752)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correct_Hardware_Design_and_Verification_Methods_(scientific_article;_zbMATH_DE_number_5065752)"}}}}}