{"entities":{"Q5897064":{"pageid":7937640,"ns":120,"title":"Item:Q5897064","lastrevid":50898707,"modified":"2026-01-15T15:50:13Z","type":"item","id":"Q5897064","labels":{"en":{"language":"en","value":"Semi-formal verification of memory systems by symbolic simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667301"}},"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":"Q5897064$45965166-4DB2-42E5-ABFA-AE3C0B1896D3","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":"Q5897064$BE3F631C-60A7-469C-8353-8E49BEAB92C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"009645da43ec26450a4219ffe1938c0df94c0dd7","datavalue":{"value":"1179.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897064$F215378D-171B-45D5-B7AF-53478A96EADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"771e582fe5625b6635c8174bac9c42c0787e74dd","datavalue":{"value":{"entity-type":"item","numeric-id":3192071,"id":"Q3192071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897064$50BCA234-7E0D-4F32-8F13-05423EDB5488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec93cda931f97e37754e70e706d16c8dbc572422","datavalue":{"value":{"entity-type":"item","numeric-id":1604723,"id":"Q1604723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897064$1EB7C99D-0DCF-483B-847B-D61EAF894E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897064$07C444B9-544C-4E3B-8681-E0478FEF05B2","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":"Q5897064$AEB1D42F-51DA-4BD5-A76B-C8EBB79B6766","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897064$0DA718AE-9518-42CC-B64F-2005294B4BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897064$9B357487-B568-498D-9726-7745B87603EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897064$3EAD69BC-5470-4B75-8DA8-E742E02157EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21fd54dd3d53a251d4227cc9fae9fa2c997d0ea6","datavalue":{"value":"5667301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897064$3375CC31-3573-46DC-9546-E93B616C14F7","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":"Q5897064$55658F4B-9DFB-4AEA-A8A4-E64DFB5C450B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8c5cde1231ec6becb5c8cd63c3722e801c9211","datavalue":{"value":"https://doi.org/10.1007/b93958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897064$A98F8B00-81C5-4B37-970F-D67C8C60D013","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897064$9C867372-21F3-4CAB-9722-EF224BAC00DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897064$2D833C36-29FE-4895-A811-B28721299D52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df996a015c72c92968b46d3f9226a119a80bc67","datavalue":{"value":{"entity-type":"item","numeric-id":1870230,"id":"Q1870230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35580d2b4f77c728c6e0877d5913df548671cb16","datavalue":{"value":{"amount":"+0.7127674221992493","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":"Q5897064$E24A9095-6F3B-4A5E-AC56-10090F113F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb60a0589e3145ee53246d279020708b3691ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5900702,"id":"Q5900702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f69b90d915eb7c60c037b3d06a9fa63c5772097","datavalue":{"value":{"amount":"+0.7121768593788147","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":"Q5897064$C3F61E7D-4792-4DF1-99E8-73AED86DF8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bcdf4fdb7ab27b54011d22e0425631c3033ea7e","datavalue":{"value":{"entity-type":"item","numeric-id":4787239,"id":"Q4787239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b255e04071e0de16cdd35a97c8d6f196fb8ef51","datavalue":{"value":{"amount":"+0.7107241749763489","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":"Q5897064$2F0BF528-B6CC-4F10-922D-786FB2952656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b3672cc96864b7e62405e27802cdee7a9bde9a","datavalue":{"value":{"entity-type":"item","numeric-id":816213,"id":"Q816213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90cb07df135ccb3c7d94b30f81456d1dcb01880","datavalue":{"value":{"amount":"+0.7032116055488586","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":"Q5897064$E5773D23-63B8-41BB-A208-854BC6406789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b003eeb83bdb18fcec0ec8771fb609de3a99890","datavalue":{"value":{"entity-type":"item","numeric-id":5716553,"id":"Q5716553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdf17830ed6a154e724e0bb03297219812271dd","datavalue":{"value":{"amount":"+0.6907188892364502","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":"Q5897064$C0D2D1EF-FD28-4360-84C2-EC2CC895C844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897064"}}}}}