{"entities":{"Q21343":{"pageid":21399,"ns":120,"title":"Item:Q21343","lastrevid":56248311,"modified":"2026-03-13T05:44:34Z","type":"item","id":"Q21343","labels":{"en":{"language":"en","value":"Coq/SSReflect"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2280beefe19e86eb83446ed67bacbebbb488935d","datavalue":{"value":"9360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$3FFE997E-A821-4EDB-B9C6-14C6A124B205","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$216D44DC-5E58-458A-AFDF-C052EB5F8CB6","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"0fc4eecc40fc1e69cf2971306c00829213b47b77","datavalue":{"value":"http://coq.inria.fr/announcing-ssreflect-version-12","type":"string"},"datatype":"url"},"type":"statement","id":"Q21343$A9B1D436-37D5-40DA-BB07-DB0A36F4D5C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$96FEF1BD-E85C-4D72-8FD5-2277FFDCE187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$229F06B4-C37C-448B-8D44-ADAC77A944A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$F688358B-5835-4E87-9B25-2E478599E0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$8EF3C882-F5E9-48B8-9BED-B466E1848EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$D84C9488-5F72-4495-AB6F-1DB58D59E4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$10ED075D-D9D5-4831-B113-FB900FE5478C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$155DF041-19B0-4E12-B693-14F63C1F2D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$DDD947E9-CA3D-4274-8C27-D6E0EF939715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$31EC0ACA-E915-418C-AA11-1BB60D30FEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$1C0BAD83-3919-4458-8B19-D591BA57F6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$5093AE33-1CEA-40FB-903E-9C6BE9747700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c6cc7c76b3cafafac08dd013fc5ce16db183bb48","datavalue":{"value":"16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$38C9B9E2-9D95-4604-9A8C-0C9E31708FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$473D573E-BED0-40D2-BFDF-379A62640122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e33fec5b481f44b815f9ae45229505143d48ec4","datavalue":{"value":"33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$CDEB2303-3F64-43BE-95F2-F629D5199069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$AA67561C-C457-418D-B67F-6F6572447445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb0bb3315ea6d324166d2a3b9e8cc481541ca3cc","datavalue":{"value":"57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$2F01BF08-C096-4ADF-BC2D-AC8560DC709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$2D26CFC0-CE1F-4238-95E4-B057FFDFC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$2A442539-40CB-4CEF-A3A5-350842C68631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21343$790112D3-06FA-40AC-8C66-36A751AE0235","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$DDBCFA1A-1A8A-4C11-B2AC-5549950A72B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$7658576A-E134-48B8-A7EF-3F9A628D16E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$CD75B03A-C0D8-44ED-9199-84F46AA79E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$39C6F7A4-CDD5-4DE4-8727-67B0A0655D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$AACBD8CC-A35A-4796-82E3-F79B758BB764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a871b3ade6a3a4d6fad6f20bd646081952400c4","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$793DF5D3-613F-477A-AEB9-64B31BEFED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$5DEE4B77-C89C-4F0E-B8D4-36F13911E5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$87D7FF4F-F9D3-4886-B3FA-522D589DFAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$E3358FBB-3D84-47AD-99B2-5C607685A22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$959A2AB4-7157-419C-A0DE-77AC58013892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fbdf6a6de4ad4e3fb3ec4f0f49431d5b30304af7","datavalue":{"value":{"entity-type":"item","numeric-id":16057,"id":"Q16057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$99C5265D-3BF9-4AF8-A525-EA05001437AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7a8db67cdbad1c61eb28b6dbc688bcdfd970f50","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$A6564F0C-5A45-4EB3-9C5B-8EFA346CF26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e0c5c8a1d0309e558c534e571fadb7aa6007b617","datavalue":{"value":{"entity-type":"item","numeric-id":19195,"id":"Q19195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$1BC52DB8-C57A-4AAB-94D5-4FFFC421F1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$8DE24C94-72F1-4A01-B4EE-C38A4C232827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b28c81d4911883bef3214e7956987a08537ccfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$AFCFC79A-58FC-4960-95CA-73A78A376965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d16fe220c723aa7cdd0cb65cbe3c4f25405f0668","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$87B5A0EB-5B21-485D-B35F-4EFE73522718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f42f0f92be006c9edb27efce39cb949ae59c015","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$DE61046F-D0C6-44AC-B7B6-E06779815097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$75978CDF-6983-4E1F-83F3-A60F5430B2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"52ca5b2b4d384c0e5d478325a5c2dee48941103e","datavalue":{"value":{"entity-type":"item","numeric-id":18546,"id":"Q18546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$F7D68BC1-70DD-40C8-90B8-6E492303241F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21343$C2D3426A-D529-4CC3-A66E-D4B4928FE05B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coq/SSReflect","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coq/SSReflect"}}}}}