{"entities":{"Q54945":{"pageid":55001,"ns":120,"title":"Item:Q54945","lastrevid":56419185,"modified":"2026-03-13T06:30:50Z","type":"item","id":"Q54945","labels":{"en":{"language":"en","value":"CLProver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2005f31426eae4982db4ea19e7dbe9e79f0056dc","datavalue":{"value":"39245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q54945$19DD30B0-1B63-44C3-8B79-0751FBBDA956","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"29d8082b11fc15ac1a6199959d097606db54d687","datavalue":{"value":{"entity-type":"item","numeric-id":4994892,"id":"Q4994892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$400F5347-CD97-4D94-9B6D-C4321EBC8C0A","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":"Q54945$47FC7985-C959-4954-8401-471316B1C29E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"2736fd37b8af846fb943b807d20dc88d7b11db27","datavalue":{"value":"https://arxiv.org/abs/1404.0841","type":"string"},"datatype":"url"},"type":"statement","id":"Q54945$0C652818-E370-4E29-8A16-CAE4D8DF51F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q54945$955D2693-4B2E-43BA-B02E-E920E134962E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q54945$BE0D3C48-D87C-45CA-852E-1B9371DFDD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q54945$88596CFE-7F35-4D97-A381-05E2C9851D04","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"86387bbc22bd39ac12e4d876b083e2c3e2b43093","datavalue":{"value":{"entity-type":"item","numeric-id":19549,"id":"Q19549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$76CA793A-2195-48CA-B808-4C70FDED47A5","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":"Q54945$AE290F0D-7FBA-4869-90EF-44C997AF9B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$ADF5B1F2-37CF-4E83-B1E6-FC245F69EB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"79a32963a85d32d87a91f40eabc03ee71d88514f","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$71B4208D-8E70-4CAC-BA20-C91E025FCE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e4061a06352ada16ea7088d1b05e45658e3e030","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$FDAC1DED-966D-4663-B4BC-9418BCC1E614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8f874b706ad486325d3e2eee949ad5e7d85f5c9d","datavalue":{"value":{"entity-type":"item","numeric-id":19079,"id":"Q19079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$523EA4EB-1CE0-4DD0-814A-C64F062CCEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0311a78dcbe941b21ec5ffaf71842fb8e37d72ae","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$6EC85225-5B3B-4322-812B-AF5C6B75990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$8051D002-380D-43E0-92BD-205C0C71777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a4cebdfaece483fb9b76c02228d5fc631f577115","datavalue":{"value":{"entity-type":"item","numeric-id":24347,"id":"Q24347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$03ABD16C-9192-4C86-A383-8467657B3C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bedee5e0020aa96749ae3ac9e49d6f6374f1ba9d","datavalue":{"value":{"entity-type":"item","numeric-id":23926,"id":"Q23926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$2DD0C92E-0629-4236-A36B-29598443B214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"24cdada40b5d549a1c79ee93e517fc7040c5ed69","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$F492AC13-F277-494A-B7CE-9AE0F3919BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d91afb50e78832444fd2da76e5e7dbfd02026bb6","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q54945$164E4D95-3288-455B-B016-5CF42B66893B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CLProver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CLProver"}}}}}