{"entities":{"Q3522907":{"pageid":5552811,"ns":120,"title":"Item:Q3522907","lastrevid":50446007,"modified":"2026-01-14T01:59:40Z","type":"item","id":"Q3522907","labels":{"en":{"language":"en","value":"Compositional Reasoning for Hardware/Software Co-verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321059"}},"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":"Q3522907$2409236E-B02B-43AC-BE29-6D5EE465B7FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb263f0bf458710068eff0d82ebed0043e2d4cb5","datavalue":{"value":{"text":"Compositional Reasoning for Hardware/Software Co-verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522907$A0FBD363-8CD1-49DA-9FFC-291007CD1721","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a797fd2a1e1e2ad423ecbbd14a64ab5dffc96fc6","datavalue":{"value":"1161.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522907$B7B1DD6B-71ED-4C09-8104-F32881E7275B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92cd19dcede442de372b4ab4ff7e0e5a3cd801d2","datavalue":{"value":"10.1007/11901914_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522907$7979E337-FC9C-4C5D-B477-27338C60D12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e389dfa882f18930f6b07636104d71ee6cacee9f","datavalue":{"value":{"entity-type":"item","numeric-id":283169,"id":"Q283169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522907$0EBB069E-3BA4-4ED9-BC90-39EFB2629C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"919e6c3d25d4b31af34f9da4d9d9f2b8c84ebfe3","datavalue":{"value":{"entity-type":"item","numeric-id":293936,"id":"Q293936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522907$92C8BB34-450A-4C3A-BA69-C167824C0862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522907$02D1CF27-D574-4389-AA23-8A7FC5CFE4CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522907$4E89FCF1-826C-4C59-A79F-101D88B96B33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522907$7ADFAF52-9093-4872-9D27-2A11D0545D3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522907$4A038C55-2911-44C5-BA52-CE0206902622","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf18a0dcd7daef811136cef215058b0cf252d630","datavalue":{"value":"5321059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522907$5EA6D8C4-3396-44EF-8BF2-236CF76169A1","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":"Q3522907$717298DE-C0BF-46AA-A907-ED72B514E81A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99ef66304a477e8de65f52ae85e69a29416e4b1f","datavalue":{"value":"https://doi.org/10.1007/11901914_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522907$4A3DBD26-7348-460A-8A8E-D49C80FD5FEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfdecd9c702291cfc00b12315d7389f4807726db","datavalue":{"value":"W1481333873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522907$36878782-68B0-4E56-9674-E08704FEEBE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17990905318a2cf219eb53488a81848beba5e37","datavalue":{"value":{"entity-type":"item","numeric-id":4466897,"id":"Q4466897"},"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":"Q3522907$6B5199C4-D9CD-408C-A1EB-648C9B50CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0530bea71112c476c23c796e4d2638b586ea42fe","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9eb4f05ff7c0bc0b6e6746855b95a2c7bc6dd7","datavalue":{"value":{"amount":"+0.743116021156311","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":"Q3522907$E5B6729E-764D-4AB0-BF14-6E42A7D5E3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897e8bca700a7c3295ff5e52f0ca6f9e5e3906dd","datavalue":{"value":{"entity-type":"item","numeric-id":1859164,"id":"Q1859164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66af3436d6ebfd7d0831227d4d19e4974466460d","datavalue":{"value":{"amount":"+0.7389575242996216","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":"Q3522907$C1D6CF3A-2CFD-4D4B-9538-F4AD81979C9A","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":"65974f4831e5223108e3b0889698d0f7dc0fb0cb","datavalue":{"value":{"amount":"+0.7299226522445679","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":"Q3522907$5E7C8DB8-5F17-4E6B-976E-04264395E5FD","rank":"normal"},{"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":"c6f2f0899abd911b4927f4a3fea674cfe0d65f53","datavalue":{"value":{"amount":"+0.7145617604255676","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":"Q3522907$3CD5A68B-E867-4E68-A3E1-806C8B23BAE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522907"}}}}}