{"entities":{"Q30420":{"pageid":30476,"ns":120,"title":"Item:Q30420","lastrevid":56296875,"modified":"2026-03-13T05:58:09Z","type":"item","id":"Q30420","labels":{"en":{"language":"en","value":"Ergo 6"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f1023bb952229061f195b7f5379ca4fb374bb75e","datavalue":{"value":"18584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30420$4824D771-312C-4E94-BE70-700C476C2EC5","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":"Q30420$22BE577A-A945-4C57-8492-FE578B31CF00","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ee553160466f057fead788d73b6b84e59b08f929","datavalue":{"value":"https://www.cambridge.org/core/journals/lms-journal-of-computation-and-mathematics/article/div-classtitleergo-6-a-generic-proof-engine-that-uses-prolog-proof-technologydiv/F91A63511735BE677479CD2BD118","type":"string"},"datatype":"url"},"type":"statement","id":"Q30420$B85D8348-9EFB-4ECF-A8A7-DE07D9BDD890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30420$C0B6BC57-BA3F-4E1A-8743-F4724E8E4975","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0e1caeb0aba8ea8d99a9e08e3c22c36860861983","datavalue":{"value":{"entity-type":"item","numeric-id":30419,"id":"Q30419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30420$C8B2E21F-FE7F-4907-B19A-F4D7E2082522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"241571fdffcb30cadf05b3ebe9c176aafb750d18","datavalue":{"value":{"entity-type":"item","numeric-id":37169,"id":"Q37169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30420$83093717-B540-4CAD-B0F1-A7F4B058812F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30420$C36B7C9D-0E6F-4361-AEB0-863189BB542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"070ffec594af9f254c197b5dbe3e7cda1243ad61","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30420$FFFEFCBF-45BA-485F-BAE7-BAF51BD3CF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32f6869f6b859f3835df850e06ec3bba33e8a363","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30420$44D57A42-65D0-4FC8-9B94-C8EF9561CD2E","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":"Q30420$EDBD73FD-9EC1-484D-90FF-EEDF575FB365","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":"Q30420$786C600E-375F-4CCD-B588-FEA0FD447289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f5d1dda4edf28b3b5b57503b090828365f778f8","datavalue":{"value":{"entity-type":"item","numeric-id":14469,"id":"Q14469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30420$0A769DD5-2831-4829-B05F-CF7AE1EACE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ergo 6","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ergo_6"}}}}}