{"entities":{"Q21663":{"pageid":21719,"ns":120,"title":"Item:Q21663","lastrevid":56234469,"modified":"2026-03-13T05:39:36Z","type":"item","id":"Q21663","labels":{"en":{"language":"en","value":"Proof General Kit"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"85a9342b30a6639fb99d75733f49f1f411518784","datavalue":{"value":"9684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21663$7208C01C-7625-49EF-8D3F-62B7C41CE9EE","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":"Q21663$90E57CDB-AD6D-4E55-A3C9-3BDAF063E0B0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f36480b063d8ff1b03e3a61acfd9b8e051d86209","datavalue":{"value":"http://proofgeneral.inf.ed.ac.uk/kit","type":"string"},"datatype":"url"},"type":"statement","id":"Q21663$CCDF79DB-D57D-46E9-A930-22362FBB04D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21663$3DB7EDE2-2511-4014-8950-F6853CE228CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21663$8BBF4375-016E-4678-A047-4017A1887086","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7a8db67cdbad1c61eb28b6dbc688bcdfd970f50","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$5F0906F9-9B7E-44EC-9899-262535F17BF6","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":"Q21663$BE42285C-B38C-4898-9843-102809A32A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf1a18ce9caf66819337a110934cb3723b5e15d9","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$88D33A1F-A8B6-49B4-890B-58E2A2376BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f29c9b1edecb5ae8b8679151a51782e90d9480e","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$28570BCF-E2A8-4601-868C-A507CF2EF416","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":"Q21663$8EF89C31-20BA-491C-83EC-505A9B8EE00A","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":"Q21663$8F4B9AB9-D881-4FF1-8611-4CF4F9E3F2EA","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":"Q21663$27DDD51B-3B31-4347-9C2C-855DD5E04393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fb7ce4a67afd0d098b2a3b22971e81bb1281308e","datavalue":{"value":{"entity-type":"item","numeric-id":21948,"id":"Q21948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$C1A34916-CB32-4C6A-98AD-49E7508A4B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27a0b49936f3769fd2dc6390be15471885da8632","datavalue":{"value":{"entity-type":"item","numeric-id":18500,"id":"Q18500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$A81F704F-5395-43FC-A5AE-1E837EBF4CF5","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":"Q21663$007D7C47-1B7B-44CC-9E54-B5C1EC4D4490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bc63b18f29e81036c5e8291dd57d82490deaa954","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$F4EBE684-7224-411C-A9D5-3CC2C49E9C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9cdc11e1354926f5b649fddcb0d2534c6d4b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":17050,"id":"Q17050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$AEDDCA2C-B67B-4EF8-B241-C8EF2A90155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"46334b5087b73a1b00326c5b3275aec5feceadea","datavalue":{"value":{"entity-type":"item","numeric-id":17876,"id":"Q17876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$3FC161E0-C94C-4ECE-8FE0-B1E911CA1498","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":"Q21663$CD527739-4E82-412A-A88A-BFB1953234BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"654080dee7524f5000d195afeb10c1de4245a272","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$36C8389E-E6E1-4CD6-AEFC-61EB5F27DA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2cd157c0ce895ace042c647f41667d99482a6298","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$44C61764-BEBE-41ED-BCF5-450E41C7B4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5d4c6497869e9ca0c8d706939730d2b4a2f44a22","datavalue":{"value":{"entity-type":"item","numeric-id":38277,"id":"Q38277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$F45D2593-6249-480E-BBF5-D58DC6656781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a78dc9caf832843bcc35e5af704361026004bba5","datavalue":{"value":{"entity-type":"item","numeric-id":21661,"id":"Q21661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$2AFFF9FF-0BEB-4EFE-A8D9-2BB4E284EB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21663$6041FEDC-6FBD-4AA5-9AA3-462F1CE9739B","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":"Q21663$BE6E0DED-62E5-4B33-8F9C-81928425D64F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof General Kit","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_General_Kit"}}}}}