{"entities":{"Q5897058":{"pageid":7937625,"ns":120,"title":"Item:Q5897058","lastrevid":50898692,"modified":"2026-01-15T15:50:12Z","type":"item","id":"Q5897058","labels":{"en":{"language":"en","value":"A hazards-based correctness statement for pipelined circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667294"}},"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":"Q5897058$1453EA58-F966-4819-BB7E-C0A70160F093","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":"Q5897058$B576532B-3E56-4C5E-A87B-DCEC885C0371","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f0ff4e3e707cb9667f52675c176c8ca40b6e498","datavalue":{"value":"1179.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897058$AFE3B8CC-C65A-4FE1-A8EF-06718B31C490","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":"Q5897058$899B01C5-678D-4544-8B4D-CD1CAAF938D7","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":"Q5897058$5EDEB6FB-C839-4D1B-A225-B86F5F31A0C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897058$E0784C59-7790-42C5-A0DA-3186AA27FE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897058$CC49ACF8-51D6-4518-8F35-692DEF8E4586","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b6b4e97fa7d53a31fa5d1950b449480b8338432","datavalue":{"value":"5667294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897058$4531B37A-0D1D-46D8-A316-35DCFB35AA2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88fa5b35dd907e817d6aba4af46a1dfc0b4f6ec","datavalue":{"value":{"entity-type":"item","numeric-id":1695877,"id":"Q1695877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897058$CB542A88-1CA6-4BC7-916D-D5C0B7A62491","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":"Q5897058$13A3CB51-6798-44CF-A8E8-DB26ADEA51E3","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":"Q5897058$6F838619-EE08-4EC1-87A3-F67F4A824822","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897058$F7FC4C4F-4BD2-466C-BA4E-2D1A55624541","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897058$8B7FBDA2-F54E-4163-94A0-ABF9846C8BCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b97148ac17a4158636b28a0c57c327ff2aabd3","datavalue":{"value":{"entity-type":"item","numeric-id":1426941,"id":"Q1426941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07aaa93ed1fd8675a14028b86519842857fd94e","datavalue":{"value":{"amount":"+0.7426345348358154","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":"Q5897058$28B35E6F-EB31-4501-9440-A28B1435C5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4876b22b06dd4879be8da6d870de585435bc36bb","datavalue":{"value":{"entity-type":"item","numeric-id":5492973,"id":"Q5492973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b29e63811384be96938234cca0c02e76f74942","datavalue":{"value":{"amount":"+0.7416311502456665","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":"Q5897058$E9DE8DDA-DA88-44D0-A5F2-84B86E7D3666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97a045a9ae8b979b91ad86a6b165d944935a3c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503963,"id":"Q4503963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241b605e9ad07e581b5bb195f449a8f1bc73bd0b","datavalue":{"value":{"amount":"+0.7335473895072937","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":"Q5897058$AB7C5801-255E-42B5-A803-207456C71656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2ab0491b7d9816433afa6b5506c16c1350e0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1426058,"id":"Q1426058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d525cfbdc0aa39218727b54a84d25bf020053b","datavalue":{"value":{"amount":"+0.7301769256591797","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":"Q5897058$98A62EC0-AAB0-447F-A5BE-5187CF74D8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb3b9789482b83087cdb149204af539eb74811a","datavalue":{"value":{"entity-type":"item","numeric-id":2864521,"id":"Q2864521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ab0c8fc6426f3473fe74aea750eb7c824ebf5e","datavalue":{"value":{"amount":"+0.7243316769599915","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":"Q5897058$3C8C423C-87FC-4CFA-A0F4-EFF4D726831B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897058"}}}}}