{"entities":{"Q5897062":{"pageid":7937635,"ns":120,"title":"Item:Q5897062","lastrevid":50898701,"modified":"2026-01-15T15:50:13Z","type":"item","id":"Q5897062","labels":{"en":{"language":"en","value":"An optimized symbolic bounded model checking engine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667299"}},"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":"Q5897062$FAC16CA8-F156-4C09-8673-FB7FDB0692A1","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":"Q5897062$485F8977-0A31-4E13-9334-7393D72F0CAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f629b68741fbf9f1d95fd458915ee4d838429168","datavalue":{"value":"1179.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897062$6C539ADD-C202-4601-8C34-91F3E92160E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"568b0ad64491cafeebacdd612b177850f7ecb220","datavalue":{"value":{"entity-type":"item","numeric-id":2848681,"id":"Q2848681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897062$7956EAC2-AB87-4E0A-80A8-FC77ED99F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65500b01c42f9ee2c6f064e2d04f265fd4e81e41","datavalue":{"value":{"entity-type":"item","numeric-id":3404116,"id":"Q3404116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897062$29AD7A8E-1728-488D-B5DB-B93EFE47B6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a8555b67c6b23fa0b4b81d144fd117edd2c5b2","datavalue":{"value":{"entity-type":"item","numeric-id":186190,"id":"Q186190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897062$AD2009A5-81A3-4B73-8CD0-F21F3E62CB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2acbff7b1d6009a8470ae19fa83f8b1a847cd289","datavalue":{"value":{"entity-type":"item","numeric-id":202471,"id":"Q202471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897062$2AF564C5-D60A-4128-9744-5ADB7AE59528","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":"Q5897062$C05E0D8E-017B-4BBB-9498-43640C5D75A0","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":"Q5897062$B0654D0C-7EB8-442E-8598-E45122FF82EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897062$0C5114D3-DB9F-4C8E-9F97-2097741912E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eed1e44c49e134acc685acad7c3818a7a1d49b76","datavalue":{"value":"5667299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897062$2E3A05F7-3023-42FC-A5B7-22AE493F82BF","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":"Q5897062$9F74DB73-CC5C-4EEF-860D-115C137C8C45","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":"Q5897062$1094A5D6-6384-476B-A096-10FAEC04A877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897062$C268198F-FCCC-4828-B2DA-5891D842BCC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897062$1B5DD579-C7A5-4E72-AE4F-CE30A544CAFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dabf82fe2d173ab500b18811e1462925b93ed43","datavalue":{"value":{"amount":"+0.8217431902885437","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":"Q5897062$84D4CBA0-2926-4DD6-BCE0-E672F2B736CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61aafd589eba481f4936f41074692025bb21a72","datavalue":{"value":{"amount":"+0.8190133571624756","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":"Q5897062$ABCB6D7C-D8EE-48EB-BCE0-0540C2AA762A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602a9828c57934aaac1b721f067d50ad094b5a34","datavalue":{"value":{"amount":"+0.8022777438163757","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":"Q5897062$F8896C68-019B-4AA5-A06C-F5D0BC0F71A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dade4585760ac78825fd0050bd0942512e34972e","datavalue":{"value":{"entity-type":"item","numeric-id":4804902,"id":"Q4804902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602a9828c57934aaac1b721f067d50ad094b5a34","datavalue":{"value":{"amount":"+0.8022777438163757","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":"Q5897062$D2E7009B-E243-4B47-9090-BB39CC2EC57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167b3eab88d6da85ac7333f808f5446f5613c138","datavalue":{"value":{"entity-type":"item","numeric-id":3512438,"id":"Q3512438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbecedab05d87eabafd96f3dd75c5b17cce744a","datavalue":{"value":{"amount":"+0.7987568378448486","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":"Q5897062$850C7D9A-2452-4837-AF63-80B80595BEDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897062"}}}}}