{"entities":{"Q1354641":{"pageid":1365380,"ns":120,"title":"Item:Q1354641","lastrevid":56433324,"modified":"2026-03-13T06:34:20Z","type":"item","id":"Q1354641","labels":{"en":{"language":"en","value":"jsCoq"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e6c127a2d23c4dd07d46b867e3629007850e3ffa","datavalue":{"value":"40703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354641$B5F5681D-694D-4507-9FC3-618D0A9E4D25","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"ffb9c3e7e75de44e2e979908fc4a43ab9abe945b","datavalue":{"value":"https://github.com/jscoq/jscoq","type":"string"},"datatype":"url"},"type":"statement","id":"Q1354641$570BC590-17C8-4E22-8232-48F3F491C766","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":"Q1354641$05B70A46-B2AE-4B42-836F-843471F37D42","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"32eae688136a8032d7bc08e2aa591a1fc0d35989","datavalue":{"value":"swh:1:snp:2d591a29d25df03b33b635d4e5fd92315dbd92a5","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"ffb9c3e7e75de44e2e979908fc4a43ab9abe945b","datavalue":{"value":"https://github.com/jscoq/jscoq","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"1b3b7309e15aa470ced7aa653695af5f76edfe02","datavalue":{"value":{"time":"+2024-02-23T00: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":"Q1354641$92CCBD72-E2D0-4E3C-887D-819BABE2A32D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"324e21d064ca1d08899c81b05aee376b5d093ab9","datavalue":{"value":"https://arxiv.org/abs/1701.07125","type":"string"},"datatype":"url"},"type":"statement","id":"Q1354641$50CD2389-72E8-4C37-BA9B-BDD4E7615202","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354641$5A8B288F-361B-4964-9172-3AA424EBAD27","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$6C7E82D7-867B-4E6D-9F9D-2DF294F2A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecccfe6931012469cfd50156873069070c64faae","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$476E8DEE-F2BA-4F3B-A26E-CA799E64370C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0358aa7b25bb587ccbe6a4190790f3f6d36a4a30","datavalue":{"value":{"entity-type":"item","numeric-id":5975101,"id":"Q5975101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$9E02D89A-F462-49CF-A7D3-0EE3E7DD3D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"618733fc206eafe514275fffc6911a3c7b5a8f09","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$EC84B68D-4F43-4F59-A450-2B186C23EEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03b2f723a2c54224fb8793b67d5ab75788fec33d","datavalue":{"value":{"entity-type":"item","numeric-id":31452,"id":"Q31452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$57C69C8A-EE17-4624-AB7B-03B7C5E0BB7E","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":"Q1354641$0ABEBB80-7992-47FC-8ABD-E93AEF93C41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"79fab7c0516022d65889629d56583e8868ab26c3","datavalue":{"value":{"entity-type":"item","numeric-id":33967,"id":"Q33967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$DA4DFD24-0883-479E-B61E-BCF0DA2BF7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"474ae6ed8a925f56f92d189ed22fb6a9d162ff22","datavalue":{"value":{"entity-type":"item","numeric-id":31447,"id":"Q31447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$D6C8DEB2-0229-41FB-8CCB-DD592EF4992A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0e25af9916479ad47d5af3e82e8938c76d2cae8a","datavalue":{"value":{"entity-type":"item","numeric-id":29882,"id":"Q29882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$0DAC5104-3169-4C97-A076-1F1D388329E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74e2f22f3455a86032de148ab76ea5527964cc55","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$1811667D-8906-4C28-A7D2-57C1BC020EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a3936dda19905b65e4a77b5cd60671f94eea0cb5","datavalue":{"value":{"entity-type":"item","numeric-id":1354643,"id":"Q1354643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$F3B16DBC-F9DF-4EB2-BE5C-AC989C127578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a502a48808220c679c007d868fc53f8ef7fc70a9","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$5C0AAE94-B831-46E4-9977-E4259A12DA57","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":"Q1354641$E851F1CC-69ED-4094-8C5F-52D5F5A596EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$C8A30DD4-399D-474F-B63B-AA9301FE6995","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":"Q1354641$C68BF455-6C29-43A6-AC68-AF6D04936D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$286C2A3F-CBFA-4337-992A-8669981C522E","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":"Q1354641$21C80B32-E340-4D5F-A81C-8D85871F0AED","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":"Q1354641$6BB78454-92BD-4FFC-9FCA-18F9CC721F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9eb436930ab1f6d235b354c651322b547341064b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$8242A456-BDE8-4720-90EE-FD41157FB041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bdcf930f7899e3cf5a65caafbc2c70487c3ad6a9","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354641$8BA1C12C-BD2B-4756-8F4B-60155971A040","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"JsCoq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/JsCoq"}}}}}