{"entities":{"Q17052":{"pageid":17108,"ns":120,"title":"Item:Q17052","lastrevid":56223057,"modified":"2026-03-13T05:32:47Z","type":"item","id":"Q17052","labels":{"en":{"language":"en","value":"Proof General"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"262619571802d405bf5e6c18784fbb0e8fd0b55c","datavalue":{"value":"4901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$19EE3FF8-5FA2-4EE6-80E0-8ED9F65FDA3A","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"1d02cdfd1b0435a00960284dc52d416afa28dfe5","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$EFBDB9A7-22D9-41DC-8BA8-6193320A981F","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":"Q17052$2BDCC3CC-B980-44F0-9C27-FC988CAD07C0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6c66f0b7285ea7b809a4f20a7ffa84a63528dc06","datavalue":{"value":"http://proofgeneral.inf.ed.ac.uk/","type":"string"},"datatype":"url"},"type":"statement","id":"Q17052$67B7C967-A98D-4285-BB33-3DC75D99AF5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$DFE8530C-ACA0-478C-BB6B-2E07CBBD6F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$788CAEB5-E636-4F38-97C2-E6086CF048D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e00b180d44759253e9628090c3cb2c51b1a6ee8","datavalue":{"value":"35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$C0B5F5B8-4D4F-4105-9456-10F5AA13C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c36f543604e3fdf981f5fb6ed78b53d6c52253c","datavalue":{"value":"47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$62AB331A-4D5A-4B3B-80E4-B82CFD7678D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$477DE5F3-1F5B-4E0F-9365-EA448843E9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$8274CDDA-1229-49BA-A33D-D062989AFD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17052$FE4EA274-68A7-4D7F-9501-3FE52AEE3870","rank":"normal"}],"P1458":[{"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":"Q17052$84AEB1FB-8720-47DE-8D0C-BE0D09387432","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":"Q17052$30E4C49E-5E67-441E-8317-83705FDAA210","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":"Q17052$4E3E97FD-6EBB-4FFF-86C8-F36E19A2D08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$1AEA3A48-60BC-4493-9CF1-C4A0F1354DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$D717BC01-707E-4D7D-BC17-E5110E7D2C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc75b1f4f41a196c347c039c5eec89b08662123b","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$8E315E13-7027-486B-8367-CE62F12EA6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a871b3ade6a3a4d6fad6f20bd646081952400c4","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$D1B98639-A9F7-4BDD-9D19-0694014A505F","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":"Q17052$BAA8D00F-C875-42E6-BD2D-F874D15CA62A","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":"Q17052$CCE0D23E-B8A8-473F-A125-84023AB00F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f756f019005243c78675258773d8af1c07719cf8","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$0574B2CB-2276-4F8C-9970-888AE323C5C9","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":"Q17052$9047486D-40D0-4950-8282-992ADC57D84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d2669f70aa880147b83c35d15adb11ed5fffe51a","datavalue":{"value":{"entity-type":"item","numeric-id":21949,"id":"Q21949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$D4001BE7-39CB-4ABA-BCCE-C8E58041E10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$0FBDD4AE-529C-4437-B552-5719ECA9F54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28ba7be41998e8d4f561f8c8fc0e455a6b8756df","datavalue":{"value":{"entity-type":"item","numeric-id":21663,"id":"Q21663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$9DF1A9F7-BDDF-48D3-A92C-B508E416513A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$286AD958-5BF8-49A2-A756-34B356928343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b146b58733c48c2c5ce5d4e1add942a8122e41e","datavalue":{"value":{"entity-type":"item","numeric-id":19238,"id":"Q19238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$F1921758-58EB-4802-97C6-56E126E19504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$2A7032F7-164C-4DDE-9103-187D09F60C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$6FAC9021-C7B2-4892-B507-35B515F2C896","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":"Q17052$6EA2DDA5-D847-44ED-85D0-24DDEF2F47AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"41b2555b2c8c445e3ef6abe54038169a46d2c4bc","datavalue":{"value":{"entity-type":"item","numeric-id":18521,"id":"Q18521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17052$F6A9EE7F-E616-4F10-8E61-6D0015848559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof General","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_General"}}}}}