{"entities":{"Q5897082":{"pageid":7937700,"ns":120,"title":"Item:Q5897082","lastrevid":50898752,"modified":"2026-01-15T15:50:17Z","type":"item","id":"Q5897082","labels":{"en":{"language":"en","value":"Improved symbolic verification using partitioning techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667321"}},"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":"Q5897082$5D55EFB4-E5E6-4D93-9BBF-3440564E6ED2","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":"Q5897082$19333D29-B238-4D5D-9D58-4304EA7574E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"364e7240c511e0d90497d4aa269dbe380fe9a891","datavalue":{"value":"1179.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897082$484BCEB4-8E43-490F-A117-2A883A81ED19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d591c222fbb2f0c9889be77fd69768e1bb695b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2848657,"id":"Q2848657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897082$AB10EDBD-0170-445F-A2B7-ABAB350EF3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37ff122a9ef1ebe05a8d5ca01082a18050f8321e","datavalue":{"value":{"entity-type":"item","numeric-id":2848658,"id":"Q2848658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897082$5F193667-661B-48F6-B61F-2A4FD32DBFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ad52044ca3478d78ff9d0e600857630ea16c62","datavalue":{"value":{"entity-type":"item","numeric-id":3404125,"id":"Q3404125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897082$FF3EC667-A468-45E9-A7BD-396109DBE6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f3ab7638d7f4e611e205c08ec844666287342c8","datavalue":{"value":{"entity-type":"item","numeric-id":3404126,"id":"Q3404126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897082$EA2E99A2-B11C-4F93-8F00-D806866C29EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ea4d300ae65ad1b522cf8654fbcb97fd2ceeea","datavalue":{"value":{"entity-type":"item","numeric-id":685116,"id":"Q685116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897082$F0D6E56C-A5B9-49E1-AC03-691954DF7556","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":"Q5897082$C7C5480F-FF7F-4E24-9CE9-2A2D88ACCED0","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":"Q5897082$664827C4-C328-4212-B1B3-22F64E0FC46E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897082$0954461F-1DA0-4D97-BD85-5F2E475430D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24bad8d2e1a3eaf7db2e980c097cd31c63b72816","datavalue":{"value":"5667321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897082$975EDEED-2C81-45AD-8304-6383C9F22D00","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":"Q5897082$B7DF3471-98A4-40A5-97C2-3374D0C9F802","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":"Q5897082$BEBEC538-7D4D-4CD7-91D4-E5578AB4D42F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897082$0C5710AE-1AA1-4F0B-A72F-3A760D82319F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897082$3C24D232-B474-408B-8C24-E445F6CDC911","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08b12e2e57d200144a65bfc6cd29d62405e5254","datavalue":{"value":{"entity-type":"item","numeric-id":5492995,"id":"Q5492995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164d266da322e28b7333a8ac6271ed389b890255","datavalue":{"value":{"amount":"+0.7717850208282471","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":"Q5897082$F2F41661-99CF-488E-B0E8-FBA2BD5BE84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009d89c1e8df11242ac1f30441d4b96692d552c6","datavalue":{"value":{"amount":"+0.7689588069915771","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":"Q5897082$EC39BBB0-3143-4641-B3DF-97155F52D3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f038f77b20ad7e8769b155fb14d5cdc70099ce15","datavalue":{"value":{"entity-type":"item","numeric-id":5716899,"id":"Q5716899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e107982cdcf84bd6cc73920ab819067c615e92b5","datavalue":{"value":{"amount":"+0.7615202069282532","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":"Q5897082$35CEB83F-2147-439F-BFA5-5F1FBF133AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455ace82d9abf7db918fae810eb6e0c41a71310c","datavalue":{"value":{"amount":"+0.7489641904830933","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":"Q5897082$2AABD3C0-AEEE-437B-98FE-F48B5285EC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d210d36c7dc6e38e51b92bce35d8c21d1829d0d","datavalue":{"value":{"amount":"+0.7438543438911438","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":"Q5897082$5E7675C1-620F-4E9F-98BF-3354960DD089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897082"}}}}}