{"entities":{"Q17040":{"pageid":17096,"ns":120,"title":"Item:Q17040","lastrevid":56221716,"modified":"2026-03-13T05:31:53Z","type":"item","id":"Q17040","labels":{"en":{"language":"en","value":"Alt-Ergo"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"411d24836c067e141cd648855ebc5f1fd04a26b4","datavalue":{"value":"4888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17040$2B606DA3-0BB4-44C2-AE67-46BD66708B20","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":"Q17040$F46B24FF-4F47-452A-9E9B-E2F75CC175F5","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"5491502a53122c00951bf24f7ebd421a006b3ef8","datavalue":{"value":"https://alt-ergo.ocamlpro.com/","type":"string"},"datatype":"url"},"type":"statement","id":"Q17040$A430B0CF-B498-49FC-AA1A-D409855BF940","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"94170cce61dc609e139153f8d0c4b780c4fec3cd","datavalue":{"value":"https://github.com/OCamlPro/alt-ergo","type":"string"},"datatype":"url"},"type":"statement","id":"Q17040$A3BF031E-5026-42A8-A100-D60EBC96855B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17040$FB3FB0A8-ED3D-47F8-B4DA-F4EE919B597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17040$B179C10E-7504-4E74-9A6B-BBFFB5A7B5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17040$59255888-A515-45FA-A40B-F8F6503926E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17040$F6690A90-20B8-4F38-ABEC-3F77A75C0E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17040$84C285A1-3049-4D1F-807F-4D835F61A5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17040$4721F23D-B269-447E-8F01-9872DC4FCAD7","rank":"normal"}],"P1458":[{"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":"Q17040$7BA9C399-5426-449A-ABFE-FF63DCA67B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$882B82E4-854A-4F4D-894F-AB7092B6F1B8","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":"Q17040$DC41F5E3-B6C1-4FA2-999D-50D6C9E2995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1286389c58ecdb69c422604e3e1f0dbe5e0370f0","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$84679769-8A1B-4288-B569-5C0BC96C1A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$4486BD87-8CF8-4CC7-8661-15AA63D7BB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$E14262F7-E8F1-4043-80F1-347A5F268A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b37a8a80b69a51617bb49d05d0c34a944056f381","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$C09C56FF-7A75-4541-8E6C-E9424F63BC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a78d10351f0710c61eb19af8201147471568ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$B309A362-4325-4F52-A3DB-A0052C115B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27ba7e3c8405ebd661079c5c56868c6d995c0bb8","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$E60E3A2B-FB17-41F7-A7F4-A7F93D2E0940","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":"Q17040$830EB312-7395-4EFC-8B53-7C420B74B970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$F9CD1DC7-21C9-4E21-A6DB-094067ACE5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"750318cfe328b0c4f7914e491e85258c103e5abf","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$1A89454E-BC03-4C70-A9A6-C6903F9403FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d586274393e57978dc91c053446c47462f0bc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$F9D6745D-E6C3-4ED2-BB0F-C3851C4E2DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0ddbde69b2a268285fa6ad8863ac28942f69652","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$480F254E-C3F0-4F9E-A80F-58B29CDE9DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aea0ab4aa185418a08316853dcad4681c058166","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$1677C8E0-BCE1-4010-A766-EE71312B029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$6424EF2C-21E3-4518-9C51-1C17FE26CFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e09694fe3792b5d00306e3d52d45d5816179ce38","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$39C37FBB-9F84-41FA-B5BA-C68E8F2F18D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$B508F48C-45FD-4C3A-BFC0-7CE5B917E229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0aa29d93d872540ef811d92242f1a4e8743cd266","datavalue":{"value":{"entity-type":"item","numeric-id":24314,"id":"Q24314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$285CAAF6-412A-4109-BF3B-763653BDC62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d03c375b1fbbe0a810fb04a9f9434b8658bd9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17040$196D1024-CD7B-4A07-8389-BFB61B538230","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alt-Ergo","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alt-Ergo"}}}}}