{"entities":{"Q43709":{"pageid":43765,"ns":120,"title":"Item:Q43709","lastrevid":56376975,"modified":"2026-03-13T06:19:21Z","type":"item","id":"Q43709","labels":{"en":{"language":"en","value":"CoqInE"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a67d045452ad0e13f21826ae1832b4f0fc2e283c","datavalue":{"value":"31998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43709$39F8D210-72ED-45A9-9CCB-0C691BF1B571","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":"Q43709$A2539715-EE4C-481B-AA2D-B414F9B699E7","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"2ee846f52753d9d64cce6f7bfb853684b7444db8","datavalue":{"value":"https://github.com/Deducteam/CoqInE","type":"string"},"datatype":"url"},"type":"statement","id":"Q43709$FC565D02-A89F-4C8A-AF7E-8AFBFA378C81","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"976ad6772f5bfe3f1b977e3255d434f75ba70660","datavalue":{"value":"swh:1:snp:c9790a44aa75d3d64c043108db62888d78f920b6","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"2ee846f52753d9d64cce6f7bfb853684b7444db8","datavalue":{"value":"https://github.com/Deducteam/CoqInE","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"7a01038a270069b488186df153d811d386e484b9","datavalue":{"value":{"time":"+2022-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q43709$61B60FAA-CBDE-4767-924E-46A8D78D15E3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"57def7f756a683cd8ae7c480684bd1c88510351d","datavalue":{"value":"https://github.com/Deducteam/CoqInE","type":"string"},"datatype":"url"},"type":"statement","id":"Q43709$DFC2D67D-DDBB-46A9-AE7C-CE5D2858D73C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43709$F5324E17-32C7-4226-B5B6-3F674424A10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43709$EA05B79F-2C3C-47A3-B004-C955BCCCF8FA","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"06666b35a7ca0f59454cbb0c19654d5792350b24","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$2D8F5B21-795C-4DBB-A40E-AEFD270B3439","rank":"normal"},{"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":"Q43709$8CCA0EC1-1565-49FE-9629-26C97E3A55F1","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":"Q43709$E417C555-5378-4950-934C-7B987A39738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccd7c23611121c89db07baff257ef5066249de09","datavalue":{"value":{"entity-type":"item","numeric-id":44336,"id":"Q44336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$312A2A9B-1BEF-48D1-9AD2-5C8D38CD4859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$4E220D93-DFF8-4F22-B608-F375F5AA0FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"58362df96b1cb2a6e14f572114f022ab605f7eda","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$3D86375D-D1AD-4AB0-89C4-1698B2961395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$99EB25B8-00CB-4FA9-A17F-62EA08444B76","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":"Q43709$011582FD-A269-46EE-AA66-B6CA1811A9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f252e247dc17bf08acb6fbc2e7b29a2a3dfa46b8","datavalue":{"value":{"entity-type":"item","numeric-id":24313,"id":"Q24313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$9F7F3FA2-281A-4109-8ECC-758D1A3F2D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8418ceb682713fa1d4d4b234e9eb9d616546b729","datavalue":{"value":{"entity-type":"item","numeric-id":22366,"id":"Q22366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$B71B5063-CDDD-48BD-B9BF-309A8EAA8069","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":"Q43709$8880EC51-41E1-402C-9C91-BADCF01CA70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$4AB16F63-CECC-478E-B08B-8DBB48069FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$F4A8A0B5-2213-4CC0-B191-C7841995EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4244bd21b3a60c5b7dc07ce4b342a92594fee47f","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$D73D2EDE-E81C-488E-8B7D-44EB99882B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$EE7B05B3-640B-4AB7-89FB-6B951A6D7E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a16744f59312901e81a619bf1f64e061a34a724","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$C67C409C-44CA-4496-853B-2554A8B8C3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$CEF8B5E9-A3A9-4FC8-8339-0F7D443F0B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"98fc9aeedeb65f4db95f9d1ae8db4db2a9467c85","datavalue":{"value":{"entity-type":"item","numeric-id":41110,"id":"Q41110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$D6834551-CB7B-4F74-8E70-92EC72A9371C","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":"Q43709$C977A552-0DF0-490C-A3CC-3D046214D2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43709$ACAEBFD6-C621-49AC-A5DB-175D9DA928F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CoqInE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CoqInE"}}}}}