{"entities":{"Q2487686":{"pageid":2498429,"ns":120,"title":"Item:Q2487686","lastrevid":48526399,"modified":"2026-01-05T02:58:45Z","type":"item","id":"Q2487686","labels":{"en":{"language":"en","value":"Using word-level information in formal hardware verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193772"}},"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":"Q2487686$BF046A72-9818-49AD-A938-A3DF439D676C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b26354a9a081455f3f6b846787f981de0331fa8e","datavalue":{"value":{"text":"Using word-level information in formal hardware verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487686$0699DB47-641A-4634-8707-ADD7ECD53C8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3c7f1369c9d97309c4bcbe63bbf2dd89fdb9f09","datavalue":{"value":"1073.68539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487686$414AE08A-7089-48CD-95A2-BB988813618A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c791f5345548952ae78196f8430c889fc1cec02","datavalue":{"value":"10.1023/B:AURC.0000030907.28679.82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487686$608D509F-07B6-4A1E-8D93-1D0684A63863","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487686$11202049-5E8C-4306-B249-59889FBA5494","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487686$6B48048A-E588-46C9-81E8-FAAD6C4E95E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d08af34c50c1ecb57586757091dfb63ac0c2a0","datavalue":{"value":{"time":"+2005-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487686$E328141F-76B8-4C62-AD99-D8AB1B8E83B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487686$F46C6AD3-C449-4E41-8155-72A5F2946994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"834c646cad0ad28cd8a178d1a3c116fd10618802","datavalue":{"value":"2193772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487686$D5427671-C044-4594-8C00-092BB2B6DB42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4df6e815739920e261fb23930ba3d70e2764c9","datavalue":{"value":"register-transfer-level specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487686$2C0A47EF-4B7F-4D79-8065-56A93BA88A54","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4610b16e8ca11e3a33348fa07e6ec824d6a2b997","datavalue":{"value":"Q59242893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487686$0404CADB-4D03-46DF-B72F-079B84B7F83F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487686$74828DAE-27FA-4BE2-ACA9-B7AF6427C45E","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":"Q2487686$C17A1FED-DFEB-45B5-AED8-BD7EDE73B4B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21e97faba9d36587232d0e5e87e70b3c944a341","datavalue":{"value":{"entity-type":"item","numeric-id":4504717,"id":"Q4504717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110565fc6b54c4622edf2daafb8d90cb44a43821","datavalue":{"value":{"amount":"+0.7953481674194336","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":"Q2487686$59DB389D-B383-4B3C-8CBC-506220A0F6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390c4c8cd97de36d7c60315f0dc1490f9fdaeed2","datavalue":{"value":{"entity-type":"item","numeric-id":4551167,"id":"Q4551167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606ae8c3d3ed1552d12adc2ae887989c33eb7c14","datavalue":{"value":{"amount":"+0.7816554307937622","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":"Q2487686$0D8C5B4C-0E17-438D-BC38-88AD15F4C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ce1097c6167bdccb5f2d7cbdc69f8c9f518514","datavalue":{"value":{"entity-type":"item","numeric-id":1039855,"id":"Q1039855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b2d19065ed45e284395bcee2fe276898c0ca95","datavalue":{"value":{"amount":"+0.7745543718338013","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":"Q2487686$AAFB9A20-A824-4961-BDEF-5C65E0DC5CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcf807df78e3781a32ac88bcb6c5304358f8e24","datavalue":{"value":{"entity-type":"item","numeric-id":3512509,"id":"Q3512509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be488c24bce2ab3a5646212ae708292eaf496f1f","datavalue":{"value":{"amount":"+0.7677076458930969","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":"Q2487686$4AC78890-E360-44D8-A135-78505608D12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1129ff0b010a4a504e3137d8b4eee2c6c49ff94","datavalue":{"value":{"entity-type":"item","numeric-id":4824978,"id":"Q4824978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5adef94032eaf6d98969581bd5f53701aa679d","datavalue":{"value":{"amount":"+0.7653207182884216","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":"Q2487686$D60C10D7-2CCF-488E-AF1D-978D15DAD1EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2487686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2487686"}}}}}