{"entities":{"Q2209551":{"pageid":2220294,"ns":120,"title":"Item:Q2209551","lastrevid":71553282,"modified":"2026-04-13T23:01:15Z","type":"item","id":"Q2209551","labels":{"en":{"language":"en","value":"A library for formalization of linear error-correcting codes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268896"}},"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":"Q2209551$D55FC599-8943-49C4-B91D-57F92AE527F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b233e7fee2e13ec0528c5307d2c8770ffd981f5f","datavalue":{"value":{"text":"A library for formalization of linear error-correcting codes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209551$CD00D72B-9787-48F6-A567-974628E3E7EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf0c0df32c910d6832f0c36f26d467fe6798eaa","datavalue":{"value":"1468.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$25AE6712-580A-4CF0-AB2E-92CB9B72A342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$230B0415-4B96-4039-A544-54C9C5C67C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4fe5739bc92b9b7dd1c7e60f1d057a2d93c386","datavalue":{"value":{"entity-type":"item","numeric-id":1350340,"id":"Q1350340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$795ADF4E-E428-4CDE-835F-74CA7B5FB4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"983cfb37f70d08a317b16d177b21808cd2975933","datavalue":{"value":{"entity-type":"item","numeric-id":2176679,"id":"Q2176679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$24B78C88-83F9-4013-9C9C-1C9FF406827D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$707F90F6-FF4A-4466-991D-17237604E921","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209551$705390C0-31BA-475F-99E5-CFBD34B0BA66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$BC26CD8F-4F75-4CB0-A35A-89EBBCA02F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$EDB904C8-E5D5-4812-BB4A-92EA93AC6045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ccbe597853b179311d5638b907d4c28c9d67538","datavalue":{"value":"94B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$33306595-5B41-4D33-AEEC-44791FA82ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4430c94528f7856126af01b3ac6ccc7f8c77602b","datavalue":{"value":"94B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$D21A5870-84D6-4498-B544-710B3BB1F37A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69e467997930225f8d4d9be48e86911ee53fd0a7","datavalue":{"value":"7268896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$11C98A78-D24B-48F3-9FCA-CEFEF017567C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209551$EB8A139F-9EA6-4E02-B07E-4C431CB38F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d9f573a03b34587dd626cf386eea3e8629f75b","datavalue":{"value":"mathematical components","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209551$85FBC7F9-AFFE-462F-B8FB-57C694E638D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4771e87024379a127eeb5cb825da92270294fe37","datavalue":{"value":"error-correcting codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209551$0F4419E3-62A0-4C0D-9D09-F28E0108DCC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$F53CD717-8A25-4E3A-89E1-12C76BB36C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$7CAB0759-5CD7-4734-9122-8ED5DB069311","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":"Q2209551$78E6D558-C2A0-4714-B6DD-9F02F4513820","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72db0b36e2a9fb76cc1546a8c7847ba17114d7f9","datavalue":{"value":"https://doi.org/10.1007/s10817-019-09538-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209551$EB868C40-DE6A-41A9-AFEA-0EC772CBF59B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b32741168ec47944cf6eeff52dd9a8bee673cfd","datavalue":{"value":"W3000218028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$EF747B45-B3F3-4944-8F42-826D5D699F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"822c74711eacf096585ccccb1980eb895b28e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":2945620,"id":"Q2945620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$CB29183B-A6D1-489C-92CD-29EA1038AB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb21a49f130376afad51708fa20a730cc6a313b9","datavalue":{"value":{"entity-type":"item","numeric-id":2352494,"id":"Q2352494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$8FB07E05-1B82-4FA9-9F3A-ABA73690E147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcefa04102d3bbf48f0b6b000cb1091353621c42","datavalue":{"value":{"entity-type":"item","numeric-id":4934138,"id":"Q4934138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$5A274DDC-FCBC-4637-A0E4-2672E66BEA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930f9d0f3fd9834e5e3d47b4f9b791439137a6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3289412,"id":"Q3289412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$609691C8-4807-4D60-93FA-4241083778A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cd1da45186da6ccde35798bd1e0298d4a2b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":4674525,"id":"Q4674525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$257C160A-C498-474B-AC2E-027793FDB6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928a0b05491028e43541cd88586ff36d79e5a049","datavalue":{"value":{"entity-type":"item","numeric-id":4503390,"id":"Q4503390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$91EF4E1E-34E5-4AC0-8ADB-7743F454B781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf76f397cd0da9a5fa67a02622e20265124f551","datavalue":{"value":{"entity-type":"item","numeric-id":3293678,"id":"Q3293678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$37DF1693-46C3-45B0-987C-6C8AAF354A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$F486919A-E7B9-4FE9-896F-B06DEFA7C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b5d1183976f6263d66a5cb69205b5fb64c5683","datavalue":{"value":{"entity-type":"item","numeric-id":3533739,"id":"Q3533739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$94DDDEC1-9E90-4112-AA79-2C1131D11531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be763789fd72e609999f480300f4bf96b8e3b577","datavalue":{"value":{"entity-type":"item","numeric-id":4611066,"id":"Q4611066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$70BE86FA-623A-4300-81D0-C5630B9CD1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989d7ebf9c23c7c625b8baa9890975651830cd80","datavalue":{"value":{"entity-type":"item","numeric-id":3265111,"id":"Q3265111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$E7755E07-622B-4D87-8D98-FCF8B9875845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67c7aecf8d2d468cb0ce3b29f05de7d679a446c","datavalue":{"value":{"entity-type":"item","numeric-id":4544503,"id":"Q4544503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$FD5DA18C-368D-46F7-8937-B4F009B705FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f268ffdc24678cc4482761cbf87b339c73899eb","datavalue":{"value":{"entity-type":"item","numeric-id":4146667,"id":"Q4146667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$296B5F0B-41A5-48A2-A7A7-1D11C546A906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9562cdaa65d08c5c0a83e8483e16ad5e8ba1ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":4529546,"id":"Q4529546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$C68E68E4-03FD-4009-8311-7EEE5C89F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7ff9ea2224d9ecb102a146915eb17b6e367fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3280459,"id":"Q3280459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$853DE2A4-58CD-4D32-B2B6-D0E5F7645713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39db246bd359f3695f9989644661cb049465c3ba","datavalue":{"value":{"entity-type":"item","numeric-id":3503427,"id":"Q3503427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$91587C60-3D33-49CD-9393-73B33B047768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dac13e1fe77b1e8ec849c00b8d24a2d6dbe2ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4544509,"id":"Q4544509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$F9C4624D-66A2-40DA-8F96-F3740A0B3E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03270147bfca180590e32a9a0ce338abf249e31f","datavalue":{"value":{"entity-type":"item","numeric-id":4045944,"id":"Q4045944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209551$24B35A25-A88E-4B28-8604-956F2128D9A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4cf760c235a57045f24678bb3bce81329f8d4d6c","datavalue":{"value":"Q126406119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$186499B9-330A-4514-8F5B-F8E4C5890C60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ca39fbc3c793d5a735a7a8dfa28bf2d8121d3d6","datavalue":{"value":"10.1007/S10817-019-09538-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209551$D03A0E28-ACD8-4CBE-874F-DDC11777A9C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c70f467f0dad0bdfd6396976df289e51088e923","datavalue":{"value":{"entity-type":"item","numeric-id":2945620,"id":"Q2945620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bcd6d6e9900130fb24442bbda77691e5d7b8e9","datavalue":{"value":{"amount":"+0.8632925152778625","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":"Q2209551$D0CD1B1D-39E1-46DC-93D4-8B9E043B4ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbc4f297a6129db75a327371c617dfe5650585b","datavalue":{"value":{"entity-type":"item","numeric-id":6487340,"id":"Q6487340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476b87b37b6bb110789c3dfe8c09ffb571c454ae","datavalue":{"value":{"amount":"+0.7879271507263184","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":"Q2209551$2F3C7F4C-948E-4526-B689-EE10C9FA3DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e81ea72b288119a86b7de474b6f0a8fc664f273","datavalue":{"value":{"entity-type":"item","numeric-id":3348854,"id":"Q3348854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191c1948cc4719643500ec350a431d85e94164ed","datavalue":{"value":{"amount":"+0.7237781882286072","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":"Q2209551$2BA70249-1390-4E34-93E8-AD6D849CC076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05913c5b0bdbc29fc1bc3cc8501efeeab1d4a24","datavalue":{"value":{"entity-type":"item","numeric-id":1327871,"id":"Q1327871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279fda933d1a60035993d9150e1e513d00571843","datavalue":{"value":{"amount":"+0.7165833711624146","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":"Q2209551$ED71431A-EECE-4224-876B-AB61E5505B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b913f456df040441a96ae887ed77678c9e9850f0","datavalue":{"value":{"entity-type":"item","numeric-id":5197785,"id":"Q5197785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c597f795e0abd56112d3ce817777ac6637e3e43","datavalue":{"value":{"amount":"+0.7105405926704407","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":"Q2209551$9400608E-D008-4521-A8B9-B1C7ED6EF58F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A library for formalization of linear error-correcting codes","badges":[]}}}}}