{"entities":{"Q38407":{"pageid":38463,"ns":120,"title":"Item:Q38407","lastrevid":56354637,"modified":"2026-03-13T06:12:34Z","type":"item","id":"Q38407","labels":{"en":{"language":"en","value":"Aquarius"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f93515e2b47d9acf53a318042661deff1a923dfd","datavalue":{"value":"26678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q38407$3A075B58-C7E2-42FA-B368-7DF74ADC7D8D","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"8744845086d7745bfea30f8a96eda3507df2fd0f","datavalue":{"value":{"entity-type":"item","numeric-id":1895413,"id":"Q1895413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$FED70985-421D-4F21-ADCA-625E4DFF09E8","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":"Q38407$05EC6126-9C00-4BCD-8D47-CDF44FA6BD59","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"432893889f46b8363525740d534dd969e605f60d","datavalue":{"value":"https://github.com/theoremprover-museum/Aquarius","type":"string"},"datatype":"url"},"type":"statement","id":"Q38407$7C3504DE-88FC-4652-B8C5-17EFDDF0BB70","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"7a402c895b6aa1035084e7972a03e2615dfa71a4","datavalue":{"value":"swh:1:snp:6dd8b51f5e1f016cd20dd281eeabfeb8d22f88cb","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"432893889f46b8363525740d534dd969e605f60d","datavalue":{"value":"https://github.com/theoremprover-museum/Aquarius","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"4257ce3e37633b794215f23f41df59cf5453d626","datavalue":{"value":{"time":"+2020-03-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":"Q38407$D6AF0049-9EC0-482E-9CC9-3FB395C78CC0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"4b1023c47a5ec0c239c44ed575218214ccc9b250","datavalue":{"value":"http://profs.sci.univr.it/~bonacina/cdprovers.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q38407$1F780BAE-A0EB-4089-9CB5-EA785C295184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q38407$CBFFD555-008A-432F-8BC1-6C42327838C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q38407$6FFB5886-4E85-4C2C-90FD-4AF34284111C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b46a92ecf181aaf6ba95c111143d4a257b6e3e1","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$547F94DF-B79C-4F2D-B4D9-D962D0CFD134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4fc687c815856cca90fb20160508f120e4f588e2","datavalue":{"value":{"entity-type":"item","numeric-id":37173,"id":"Q37173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$284C4F35-5ACD-4A89-BCDE-14A532803A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a361bd8b46bf1f72b8ba93bf2bd66da810e4d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":38058,"id":"Q38058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$849B2FAF-66EB-430A-A56C-997E2D536BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c4aeb66dd27e57f668207276c0a9e7241a80037b","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$CC7BF0B1-E5D3-424F-ACE2-68C3E99D090A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4ead35c7f3d8a32cb5fa5ebd52af906aa3808b1b","datavalue":{"value":{"entity-type":"item","numeric-id":21958,"id":"Q21958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$14F8339B-F6F0-4619-B34D-28DA0B0960B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d3c36a61124aef1fe483f9f9a08bd1b5e4bff54c","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$B91E35F9-589D-4594-9E03-D8EE65AB064E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d19c9dcaba0e7a8e6525be06cbb17935a1d9c20","datavalue":{"value":{"entity-type":"item","numeric-id":24406,"id":"Q24406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$99FB0B7D-30B1-4A6C-9696-D41421239C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b550c827e3f60a330eb4d1bcd5776e79082f019a","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$96B7C5C6-350B-4B08-AB3F-9A2682FC9C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"37c255cf765eb2927fe32432778e16f165f78e97","datavalue":{"value":{"entity-type":"item","numeric-id":35719,"id":"Q35719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$6DC02952-9AD8-4607-8C20-E2EE0005772A","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":"Q38407$70EAD4B4-6E40-4505-8620-5BD2BCD9F73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d24f5ecd3f241984cfd02ad7a566b4a12c8002fb","datavalue":{"value":{"entity-type":"item","numeric-id":33352,"id":"Q33352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$B25E8C17-44B9-4005-806C-A1999CB03F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"414042eb0e0296b142fe1accb8eb8c7b1da30df1","datavalue":{"value":{"entity-type":"item","numeric-id":33368,"id":"Q33368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$3C804A11-B7BA-499B-82BC-89F5D4F83A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8a133a0279bde2b619b9ec84e280b4e0609e0ea0","datavalue":{"value":{"entity-type":"item","numeric-id":33154,"id":"Q33154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$CE56B977-DCE4-4C8D-AAD0-A3990A0E5C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aa623ff4ea1157778d1ece86e6f0623ff8e2a010","datavalue":{"value":{"entity-type":"item","numeric-id":27508,"id":"Q27508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$ED1B0A3C-4B2A-4CE5-9B24-6A12F8C17327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07ed3d0c672162118702449a22cf74b995e8207e","datavalue":{"value":{"entity-type":"item","numeric-id":22368,"id":"Q22368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$3824DE5C-755A-4C43-9047-2FDAB941E34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5a60e7f7d7d684c3647fde24fcaac1c0bdbb1dd9","datavalue":{"value":{"entity-type":"item","numeric-id":21959,"id":"Q21959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$E86A9734-B411-4F71-96EF-F3802D8FDDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$350B9536-77D7-4A4E-BE92-2CB8A3BAEE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bd98495d6205dc57d0b1054f72c0e32ab429cc0f","datavalue":{"value":{"entity-type":"item","numeric-id":14474,"id":"Q14474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$681C9DAE-9596-4200-906D-37251F0C913A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"02a42397646c01d1aaab0b6ca7e77350ea627077","datavalue":{"value":{"entity-type":"item","numeric-id":14473,"id":"Q14473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38407$0D6BD610-32B6-40D5-A5A5-306A2B43BB6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Aquarius","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Aquarius"}}}}}