{"entities":{"Q4466897":{"pageid":6496496,"ns":120,"title":"Item:Q4466897","lastrevid":48280639,"modified":"2026-01-04T05:26:52Z","type":"item","id":"Q4466897","labels":{"en":{"language":"en","value":"Hardware/Software Co-Verification: Models and Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2070619"}},"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":"Q4466897$95020C72-B6FC-4ADF-98AE-ACDBAE2B0844","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e52f3b363ad8dad11e9ea3e76450c5d9d7fb2ca","datavalue":{"value":{"text":"Hardware/Software Co-Verification: Models and Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4466897$23AC2583-65FC-4F3A-A39A-5F2CB2EF0824","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db0d72ffed388101a5e4f99f305866ed089e1fb4","datavalue":{"value":"1091.68548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4466897$14A64F98-7D93-49EE-A04F-F6AB56C1B6E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3685fadd55db07134dcfce91f875a84fa7055a8","datavalue":{"value":"10.1080/716067216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4466897$FCDC080E-FAA8-4A20-8F48-3AB062C98251","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43172503c14d4f2e98bd75fc4f0e73b3719e323","datavalue":{"value":{"entity-type":"item","numeric-id":4466896,"id":"Q4466896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4466897$7733BE38-7039-45F3-801D-71D9DFB9DDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"334542ec9eb5befadc43a181ef9c81a5211a4720","datavalue":{"value":{"entity-type":"item","numeric-id":524690,"id":"Q524690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4466897$76549E8A-300A-4339-AE31-6AA44A3EE8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc19a63860210f31da27cdb4df43bc13424e8c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2254268,"id":"Q2254268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4466897$633FD4E3-5E6D-463A-9470-7C6319378C8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aac3fa77d2952b18b72796008e8e1515875be3cb","datavalue":{"value":{"entity-type":"item","numeric-id":4464465,"id":"Q4464465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4466897$9A387493-2D8A-4B88-A8A7-E41B103E2AB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1561a8a1c31995ad4e0498f417e8efaeae365f6","datavalue":{"value":{"time":"+2004-06-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":"Q4466897$FFDDA969-326A-4466-AD05-B6FB4F9CACD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4466897$70CAA5C1-FC44-49B8-BDAF-CAE63FFCEB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4466897$032607A7-C5E8-45F4-BCC7-93CE0C1EE793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c7c879263ed96c73418c1fb75ebb210850ba0b1","datavalue":{"value":"2070619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4466897$950F3AB8-558B-4D95-891D-2D819BCC81E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4466897$EB8D41CC-72C3-4D33-A1C2-68897D493EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0656da14a97c229e9a621c273031d923f4572597","datavalue":{"value":"emulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4466897$6478AC57-9D66-4B1B-9756-775E13F3594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4466897$D4A555D2-B209-4124-9C60-BC683093B100","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":"Q4466897$C4A6B172-B889-4554-A5E0-DA022F3EF248","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf9a3060c9d1cecdce5ef7565e97fbf21c2a7c48","datavalue":{"value":"https://doi.org/10.1080/716067216","type":"string"},"datatype":"url"},"type":"statement","id":"Q4466897$10A56F6E-9463-4AB1-8BF6-7A43CE63E0B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b0f4d1ba34d06f92872e6c5d9f7e3697215a51a","datavalue":{"value":"W2041277225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4466897$B53E84C7-6C7F-4FFC-B1B3-117FD2E91A02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d431fc2cb0384d2000b501ff0beef73bfeca2a7","datavalue":{"value":{"entity-type":"item","numeric-id":5899151,"id":"Q5899151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b918a675307278b4c1b69954aaec9c83c38c923","datavalue":{"value":{"amount":"+0.8218385577201843","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":"Q4466897$3349D613-FDB9-45D5-B370-BA673F6F4E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40da4572ce8bda8c360880f7bd68bb875bec0f38","datavalue":{"value":{"entity-type":"item","numeric-id":3522907,"id":"Q3522907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49e95d427cae520bd57e93f360c10924f0d12d9","datavalue":{"value":{"amount":"+0.7818458080291748","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":"Q4466897$6630F27E-C2A3-40A4-8A41-86DC5FAF7977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c30802321f27bf8e1023d8344dda6c1e55c2c7","datavalue":{"value":{"entity-type":"item","numeric-id":3559700,"id":"Q3559700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72085b382ae7e98ee6d95bc25390e236551f7b97","datavalue":{"value":{"amount":"+0.7798511981964111","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":"Q4466897$1DD75403-8611-423D-80C9-9C9E1422C2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b506016fe33607fc35072ff26d96c32aa5e15157","datavalue":{"value":{"entity-type":"item","numeric-id":1871861,"id":"Q1871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f874549053c06b8e44eef489ea6ff49cfaf41e6f","datavalue":{"value":{"amount":"+0.7712832689285278","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":"Q4466897$A3068E4E-E067-463B-83CD-C480FCC493BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306a0576d9f933c27e1b8f8280320d0b1c282a77","datavalue":{"value":{"entity-type":"item","numeric-id":1865036,"id":"Q1865036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97df84b454a44a08a0f7bc370c04821399ee51c2","datavalue":{"value":{"amount":"+0.7594950199127197","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":"Q4466897$A1195362-ADE4-4AEF-B874-7CFD27B6F04D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4466897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4466897"}}}}}