{"entities":{"Q481104":{"pageid":482871,"ns":120,"title":"Item:Q481104","lastrevid":52157486,"modified":"2026-01-21T01:34:25Z","type":"item","id":"Q481104","labels":{"en":{"language":"en","value":"A pipelined multi-core MIPS machine. Hardware implementation and correctness proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6379801"}},"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":"Q481104$4A229111-1A36-435F-A44C-981A5C1138D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eaeefb8e3d85c27abbd31c31f851c17295fd4de","datavalue":{"value":{"text":"A pipelined multi-core MIPS machine. Hardware implementation and correctness proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q481104$E4789F1E-501C-4C03-A92D-DF8FD1F11335","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e1426b9367b91015d9d8279e78b0eeef5b104cc","datavalue":{"value":"1304.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$4C25E1FB-0082-433B-A053-9EB7233B1FF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d2380aa6512b027677dfa89300a9f36b8e30920","datavalue":{"value":"10.1007/978-3-319-13906-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$4F857F12-DB5B-468B-B7EC-2AA90E90B154","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481104$3522C766-A245-464A-B210-CD5E9FB38E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481104$F27BDE9C-A111-4F72-A3D8-C2A7732398BD","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":"Q481104$161D6744-C552-4C1D-A438-FB93324211A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b018cbac5547fb2c3603e0460b3a7fd61aed741","datavalue":{"value":{"time":"+2014-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q481104$837AA25A-530E-4C6B-8665-C9C34C614962","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ccc6159b147060e364827a3892766b36e018b7e1","datavalue":{"value":"Proponents of software verification hold up complete end-to-end verification, from hardware, through ISA, assembly, programming language, operating system, to application, as a tenable, but yet unrealized, goal. This monograph contributes the crucial first link in this chain, viz., the first complete (but not yet formally verified) ``correctness proof for both the gate level implementation of a multi-core processor and of a cache-based sequentially consistent shared memory''. This book is a welcome contribution to the increasingly important field of verified multi-core hardware.","type":"string"},"datatype":"string"},"type":"statement","id":"Q481104$54E596FC-0D92-44C8-B25D-48AE8170AD95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$03D9F705-27C5-4041-B8B3-E0CC7288A8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$9A7E908B-3684-45D9-97C1-EB243154C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$51B54077-522E-4A5B-9474-4E6AEE5259E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$BAC3F10C-9FCC-4A9F-BFDC-58DE3EAAE3A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ed2d7dce7a667e9e244f5a96dbcede415517a28","datavalue":{"value":"6379801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$DE7D19B7-08F8-4CFB-B95B-A570FC665C29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e634ac60c989b0da26c5d4a1a4e9e7acbbc435","datavalue":{"value":"correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q481104$C4ADE375-AECF-4276-9060-4D1D0A63C595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2939eb6fadb03f4efbe832039560827cecb3710b","datavalue":{"value":"hardware implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q481104$3B43CE6C-DFF4-4B9F-8EC6-645EAF7F9223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30040f8217d08a09f8644c1a91e67baf0a3efbaa","datavalue":{"value":"MIPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q481104$8152C3C8-7E5B-41BD-8D8E-376311683843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35cde08080b118962795b3cf4a116225906e18f8","datavalue":{"value":"multi-core","type":"string"},"datatype":"string"},"type":"statement","id":"Q481104$D871C3BD-6270-4D01-A3C1-5D8EAEE9A3D5","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":"Q481104$0052C56D-25F5-4DD7-ABCC-856CB20F8D41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e8caed3bb6893c16c1a75dcaec3e38415f796f9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-13906-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q481104$B8294A9F-D12E-4833-87FF-7F51FF321BFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7adb020274ff90c716117c04fbc5db445d1519a7","datavalue":{"value":"W2493981662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481104$5E6587DF-40DB-4E86-AB6D-53E48AC0CFF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3320d2109578c47d0aaaa2f9f9a21e0e10eb9554","datavalue":{"value":{"entity-type":"item","numeric-id":1702892,"id":"Q1702892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fa683b91060ba361bbcf4fd6fa1f91115e14c2","datavalue":{"value":{"amount":"+0.7790140509605408","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":"Q481104$311CE0E7-6653-44F9-93DB-66BD1C9C4252","rank":"normal"},{"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":"3c2e1b22e5b8c9cf9588c45585cbf809388c8810","datavalue":{"value":{"amount":"+0.7668160200119019","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":"Q481104$16737210-2003-4FFB-9A90-384CBACDAD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21618c33755d34119c83c7d442dd2530ec4786f","datavalue":{"value":{"entity-type":"item","numeric-id":4004176,"id":"Q4004176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ea9f7fd6c4aa55a384d29be9a13fe133802acb","datavalue":{"value":{"amount":"+0.7407484650611877","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":"Q481104$E7448428-4619-4BDF-B28C-355C11AC50C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f366e5466d4b0621aaf9bb2b1370668cd91fe511","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ea9f7fd6c4aa55a384d29be9a13fe133802acb","datavalue":{"value":{"amount":"+0.7407484650611877","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":"Q481104$4F821585-AD62-4F02-AA0B-AC21F2597857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a86794cf4076c68faa757aa8a6ee19590f4c951","datavalue":{"value":{"entity-type":"item","numeric-id":1122998,"id":"Q1122998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdb38beafd6e00e6768fabdea7c70289ef48a3f","datavalue":{"value":{"amount":"+0.737377941608429","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":"Q481104$1B526B17-8919-4C60-98F2-BC80544E3498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:481104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:481104"}}}}}