{"entities":{"Q2914745":{"pageid":2925465,"ns":120,"title":"Item:Q2914745","lastrevid":51558125,"modified":"2026-01-18T18:56:31Z","type":"item","id":"Q2914745","labels":{"en":{"language":"en","value":"Formalization of Shannon's theorems in SSReflect-Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084492"}},"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":"Q2914745$060BFA34-6D41-436C-A734-8E9EB3FBEBF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"474a4abb242837382ff05bbd1fdb1e0625588a51","datavalue":{"value":{"text":"Formalization of Shannon\u2019s Theorems in SSReflect-Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914745$982F5CB4-696C-4FEA-A826-44263CD26C0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cc9b1f048c6fb60e260d340ec640f75e8900546","datavalue":{"value":"1314.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914745$2F279DAB-12A3-44FA-939F-B1EE2EE50251","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27379cd6373567205d52d15e8ab586f67b2736c9","datavalue":{"value":"10.1007/978-3-642-32347-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914745$3D98F3AA-1127-4ADB-AF1E-B5B0E377159A","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":"Q2914745$AD5A3175-2D30-454A-9A2B-FF3ED06F940E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"306429ddd9478de1007d2a74d16d1cd52203e681","datavalue":{"value":{"entity-type":"item","numeric-id":735035,"id":"Q735035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914745$455A14CD-C721-41F3-8DD7-7E492CC372F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914745$6E9A46EA-418A-4E8F-9B33-D0873F9087A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914745$7B61549E-2082-4455-806B-D7D3B5103D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914745$1C6AEE5B-0309-49E2-AD21-B4599739F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914745$4975EAAD-F37C-4C22-8E0E-CA4959CE852A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23eabea2f37667b79d34f4282bba7b6c227abf51","datavalue":{"value":"94A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914745$88C8C80E-C690-4827-A83F-1175081FA8BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f01695a4a27c6861cbbec0b0e968ff658aeb81b","datavalue":{"value":"6084492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914745$6227A205-ADE0-40DD-BB26-DD306C4FC0D2","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":"Q2914745$1B150598-6D61-4F07-98A1-432C5B273155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914745$304FDAB6-0A59-4610-97B9-782417806BF3","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":"Q2914745$2065AE22-33AB-4A68-B1FC-6192AA433B98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"011c2f167e1f407f0b44f10085997cd3c184c5d6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914745$22ABE102-26D6-4F00-A889-B1A31C9534D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45bc3bc9d9f32c46ca0638750de0526fe55ae754","datavalue":{"value":"W2099474694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914745$0F1474E3-3583-4BD3-A97D-A8891533717A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7356e2ee5dd228b3b01cf53bc249f3cd3599488c","datavalue":{"value":{"entity-type":"item","numeric-id":2352494,"id":"Q2352494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c066daf3697fa2de4723945639b57246e5cf713","datavalue":{"value":{"amount":"+0.9749580025672911","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":"Q2914745$DF8F63C2-03A6-4055-A6D4-8B591AAEAB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f292f547aefc3e600785a7840114d7a8eb4b49","datavalue":{"value":{"entity-type":"item","numeric-id":3088009,"id":"Q3088009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c267dadb43ae7ab0420fc7478b0d1dd13da6574","datavalue":{"value":{"amount":"+0.7893655300140381","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":"Q2914745$E8B1C6FC-5252-4BC9-9CA7-7EE396A5A50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e24734ec59e20cf6f18207d2e492e48b2eb6a3d","datavalue":{"value":{"entity-type":"item","numeric-id":5187196,"id":"Q5187196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7faec14a7177b3af5d4091735a86cb9516bc9f0","datavalue":{"value":{"amount":"+0.7139731645584106","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":"Q2914745$48747241-C42E-4ADF-B628-603759CD8074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf0c0aaac25790a5f61c6a62c479f69532c5128","datavalue":{"value":{"entity-type":"item","numeric-id":5045392,"id":"Q5045392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ca8e9b0bb519d8025e046337da00f37d7218a7","datavalue":{"value":{"amount":"+0.7034898996353149","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":"Q2914745$4AC9233A-2BCB-48A4-8BBB-BE28D90FEC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3344ba07dd71e494d878ae55648e83c4fda25b3e","datavalue":{"value":{"entity-type":"item","numeric-id":797562,"id":"Q797562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bebc4df4339ffa067104d1e2ad6e41ce550f70c","datavalue":{"value":{"amount":"+0.7028266787528992","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":"Q2914745$B95B096E-3682-49FD-A16B-D67FAF00785B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914745"}}}}}