{"entities":{"Q4583845":{"pageid":6613430,"ns":120,"title":"Item:Q4583845","lastrevid":53191082,"modified":"2026-01-24T10:29:12Z","type":"item","id":"Q4583845","labels":{"en":{"language":"en","value":"A formal verification method of error correction code processors over Galois-field arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930546"}},"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":"Q4583845$F54E72CD-283C-44AC-A085-55E9CE69FDC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48a3ff3bb850a35999d301806737b7540940b02c","datavalue":{"value":"1395.94355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583845$160091BC-1EE9-4989-A15A-F65A9D485396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f937098e96a1825d79c2dffcfe3ac4bb93d82bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1695847,"id":"Q1695847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583845$F4400180-06E7-413B-ACED-33423A40882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e146003b3c49b353f5517b3606bcc3e23485a93","datavalue":{"value":{"entity-type":"item","numeric-id":704631,"id":"Q704631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583845$64801651-0C75-49FC-A5B4-372854A9BA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e664ff8b6a888c445c5fb4139f3c6ba140d28068","datavalue":{"value":{"entity-type":"item","numeric-id":1695849,"id":"Q1695849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583845$FD71BA14-1FE5-4CE0-A1FF-138202F572CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583845$4AB11A6E-9729-4A13-996F-E53BAAF34E58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"071e225ffc67dea7e804d7f4ac8aa450844f01a8","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-26-number-1-2-2016/mvlsc-26-1-2-p-55-73/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583845$68ACEE66-3AFD-4F02-9C6F-3196CD3E084F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c3cdafa68da1cd8441c02cae1d4f7b344a92c14","datavalue":{"value":"94B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583845$C3741071-7B69-4D5E-B6C8-0078C2C2B9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583845$D9EBCBE4-EFEE-4361-88CB-9340C09247F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583845$92C1CC53-D9D5-4BC8-8E0A-591D41A8F22B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faffacb0c72bc3e32eeaafdb6fd89833b02f6429","datavalue":{"value":"6930546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583845$8634B6FE-B020-4CDE-975E-9F12810ECD11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583845$CF803CCF-04C6-4CBF-AC32-C8AFDCFDEC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad64aa27d720302efe4ce0ffffb821821b3e3d79","datavalue":{"value":"design methodology for arithmetic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583845$A01D4B4E-1125-4B7A-8E0F-93EF381F4BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5beeb83afb00324a21987479f4de4db58e303a","datavalue":{"value":"Galois field","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583845$4F023A0E-FE5F-4769-96B0-0D538B59CC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ddae0727ac3639d8f0aea87d0b0ae867cfa3cb","datavalue":{"value":"Reed-Solomon code","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583845$EE20321A-964F-4207-9C9C-43D3B1C3DE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583845$5A831B1D-82FA-4F20-81E3-59F14B4AAA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583845$97DA4677-E835-477D-9159-78903A21343C","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":"Q4583845$299DDA40-80CE-45D9-8C31-277C24DD3B9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef82822cada26de9eaa9bfc6b6e6f231c308a95","datavalue":{"value":{"entity-type":"item","numeric-id":4551178,"id":"Q4551178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452897c41a1570991c9891c2d7f47f660458b57f","datavalue":{"value":{"amount":"+0.8299600481987","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":"Q4583845$1E9E1614-A035-479C-9448-74640403CF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756797bfca648822d824b66261d88aab1ad6f9b3","datavalue":{"value":{"entity-type":"item","numeric-id":2209551,"id":"Q2209551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488cdf9d4e0497704436ec91815f7c1b16f251e2","datavalue":{"value":{"amount":"+0.825939953327179","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":"Q4583845$6BC857BD-9EF4-4FC2-9EE7-8108EFFDEF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb5877ca3940624b9379387b5128eebb1d2e23f","datavalue":{"value":{"entity-type":"item","numeric-id":479832,"id":"Q479832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb605aeaac84e7f174d034ccbd0ab1c14db804c","datavalue":{"value":{"amount":"+0.8212965130805969","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":"Q4583845$673175ED-5C7B-43B3-B0F7-3909AFCA9B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8b021e3c809e504c58ab555a4b955def6a85e3","datavalue":{"value":{"entity-type":"item","numeric-id":4583790,"id":"Q4583790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886c268d38622eb4291cd45ee2d0bcbc4492cd72","datavalue":{"value":{"amount":"+0.7232987284660339","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":"Q4583845$B649489B-0DCF-41DF-858E-660C7910359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71608317c16e9580097a9782ade9a0b7d243f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":2263280,"id":"Q2263280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c5fbc822dbabfa849db17db96909fd59a41440","datavalue":{"value":{"amount":"+0.70720374584198","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":"Q4583845$F90BDA4C-01CD-4509-B766-CD38ACD00D19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583845"}}}}}