{"entities":{"Q14550":{"pageid":14606,"ns":120,"title":"Item:Q14550","lastrevid":56563578,"modified":"2026-03-13T11:06:54Z","type":"item","id":"Q14550","labels":{"en":{"language":"en","value":"CoqJVM"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"66753d222e76dbe42f566ac004a455eb9a8c417f","datavalue":{"value":"2002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14550$BE706C4D-ED68-4AEC-AA03-475580F82CF0","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"8d0aa0d9d41ea16a1e67a30e0631ff5cce5b7367","datavalue":{"value":{"entity-type":"item","numeric-id":3499747,"id":"Q3499747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$15F6F52C-CD38-4D6B-A1D5-B413759331C2","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":"Q14550$7E660658-9754-4735-9761-239C2049C8B7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"811833fb797830aa1978d94c48f78a7215e76122","datavalue":{"value":"http://coq.inria.fr/documentation","type":"string"},"datatype":"url"},"type":"statement","id":"Q14550$3EE72623-3680-4F40-8CFE-1353CC8EE90A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14550$3556B515-7CDC-4183-8A94-1F03C0A3B07D","rank":"normal"}],"P1458":[{"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":"Q14550$B550ACDC-3018-47D6-8699-ED0325904BBE","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":"Q14550$49099C47-456B-43D3-A2D9-1CEFF1DAE599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae7ecf82d11bd26f5fac4241aa97dfab0afa503a","datavalue":{"value":{"entity-type":"item","numeric-id":21378,"id":"Q21378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$8C576EFF-11AD-4A7A-A1E7-2CDE1B0A3E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1da3bc33debdf5432937d8c7b8ba76098d4d248","datavalue":{"value":{"entity-type":"item","numeric-id":22099,"id":"Q22099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$1244CC4C-C94B-445D-8825-7A8DC671A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"36ed51dd199e13f9ee845a23c593cf824816db7b","datavalue":{"value":{"entity-type":"item","numeric-id":55278,"id":"Q55278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$A06FE1DA-0979-4B1E-A0D3-35AD60F6E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5402e68fb3332762e050d0a9a22bafda7788e26d","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$C8ABF0AA-3644-4789-ADFC-8F864A8B6BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a98913d28e06371416ea2826884dc0ec7364f38","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$043738DE-F2AB-48DF-8098-3D2315207C43","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":"Q14550$D97785A4-7972-47F3-ABBC-4A7C98E1EAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$B55CFFC8-1232-49EA-BAF2-1E6197A0259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"896262f806b2b78fa79739c4fc9e5155ef235490","datavalue":{"value":{"entity-type":"item","numeric-id":40250,"id":"Q40250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$87D9B2DB-84E8-43DB-B721-36534FA754B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"86103b3556b4d28c3d563e083deb1d8901ceb985","datavalue":{"value":{"entity-type":"item","numeric-id":40252,"id":"Q40252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$CD08187B-D283-443D-9BA4-68BF40D15DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$CAC0E2FD-C2AA-47CD-BAE4-D345758D0D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"643be13c947e04b013d9c437afc8010ce42f0505","datavalue":{"value":{"entity-type":"item","numeric-id":40292,"id":"Q40292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$E42707CE-81A1-48EC-B0BB-2D694C15ED08","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":"Q14550$3CAEE418-BAF4-4379-99D1-1E38DE9DB86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"507f49bf7d120b2546ed719134b2adbf989f2ef0","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14550$A77D531B-E903-4161-83EA-AA348CFBFF12","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":"Q14550$1751D832-7572-4E5E-91A4-6B3D3202D005","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":"Q14550$6018AA42-917C-46F5-972E-C3E9B46916E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CoqJVM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CoqJVM"}}}}}