{"entities":{"Q5897068":{"pageid":7937650,"ns":120,"title":"Item:Q5897068","lastrevid":50898719,"modified":"2026-01-15T15:50:13Z","type":"item","id":"Q5897068","labels":{"en":{"language":"en","value":"Executing the formal semantics of the Accellera property specification language by mechanised theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667305"}},"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":"Q5897068$10596797-7FBB-4F9D-8184-69A9C4FE4D2D","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":"Q5897068$4CE5F480-ECAE-4A31-959A-818EA8820C30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94a3503be1609a9b15557bd57586266e8b0cf8ca","datavalue":{"value":"1179.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897068$55C676AF-E26B-4689-8CDE-FD799762A81B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae59b8d5f9d02ef4cf33abf637ff500edd878cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1566865,"id":"Q1566865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897068$656A05AB-E390-4F2B-A725-BB3B4B034FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d9476515afef7e6c60583e2e3e73e4a129ab00","datavalue":{"value":{"entity-type":"item","numeric-id":1400287,"id":"Q1400287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897068$7D3F86B2-4544-4C0E-825C-940C21465C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897068$DE200F53-0257-40E9-8DA2-6FF26221F1CB","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":"Q5897068$AD0CC0EB-0196-490C-A49F-C50B535C1660","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":"Q5897068$D0E000D0-192C-4704-A61A-4C772E6A1531","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897068$F09E20B7-A3D5-47D6-93A8-2B8E3ABE0E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897068$A5A780D0-E9ED-40A4-A373-4CACD8FB3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897068$713996FF-68EB-48E5-8659-D5A70C5BF5AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8808b776865c95d17232bb20494471dc8f6d5ac9","datavalue":{"value":"5667305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897068$0E1FA319-FD71-4C7C-B2EC-2880182D9820","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897068$87C2DA70-9893-4F7C-A0D9-068A30765F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"731a53205dace117eb99462ae8f39dbcd7e59eae","datavalue":{"value":{"entity-type":"item","numeric-id":14297,"id":"Q14297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897068$502BD7D9-84A5-453D-A3F0-CB86EA2ABC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897068$20A8DEAD-8672-4393-88BC-E23C57768934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76802187a7905926b2a38ec174758f899e34b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":22347,"id":"Q22347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897068$3B3746F6-C230-47E6-BD85-40634BED97E2","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":"Q5897068$436FA401-EB88-4D2B-A165-3FB0A2550A5B","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":"Q5897068$5364888E-2795-4770-A7A7-E101C411F910","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897068$48803C90-E87F-48CF-A987-7B3C03726471","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897068$85AB0A97-5748-4E80-912E-74E2D0AB7589","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9fb97579de598878a5dd2719f58b4388cf7a39e","datavalue":{"value":{"entity-type":"item","numeric-id":706502,"id":"Q706502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254a26471cc87f9dcd860aa284df7e14423b5809","datavalue":{"value":{"amount":"+0.8171803951263428","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":"Q5897068$03741BD8-55D5-4A5C-807D-AA683EBC80F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de965f1da72db0c9b679c42d7e886c7b4dfbdc18","datavalue":{"value":{"entity-type":"item","numeric-id":5477666,"id":"Q5477666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afd75d5f7fb6a75be94cbd876e708125a014e73","datavalue":{"value":{"amount":"+0.777340829372406","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":"Q5897068$F9AA2632-A840-4D6C-8FB4-EB4358883BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a684aa861896d9cd6b6d7d74ff9eb380deef8790","datavalue":{"value":{"entity-type":"item","numeric-id":5493213,"id":"Q5493213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a18ca283d6f1da0fdf663099d8c77a2fa5ad6d","datavalue":{"value":{"amount":"+0.7099669575691223","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":"Q5897068$41DCCB94-717D-419C-B67B-5799B317220F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891ae8751f711d6d8c39ee3a07afe57aad179800","datavalue":{"value":{"entity-type":"item","numeric-id":4231169,"id":"Q4231169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371643280a11c09214eb117a88c62ec01e1ced7a","datavalue":{"value":{"amount":"+0.70688396692276","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":"Q5897068$BC6C6F83-C2A8-43A3-B9CB-7C9E461DAB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d757373e5b77d1a36fa1275c0c27637dcb7d2a0","datavalue":{"value":{"entity-type":"item","numeric-id":2783114,"id":"Q2783114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c99f6ef6872ad4705ddfefa577500de3f0fc9bb","datavalue":{"value":{"amount":"+0.7058010697364807","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":"Q5897068$B96FBCC6-4568-4B0D-A47C-1EBAEE64552C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897068"}}}}}