{"entities":{"Q7360812":{"pageid":31517975,"ns":120,"title":"Item:Q7360812","lastrevid":105370244,"modified":"2026-10-07T13:39:05Z","type":"item","id":"Q7360812","labels":{"en":{"language":"en","value":"Logic/General Logic/Mechanization Of Proofs"}},"descriptions":{"en":{"language":"en","value":"AFP topic"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46d87c0abf7dc91922b08467f8c190c5d579c912","datavalue":{"value":"https://isa-afp.org/topics/logic/general-logic/mechanization-of-proofs/","type":"string"},"datatype":"url"},"type":"statement","id":"Q7360812$C692D1E5-D0F1-422E-A329-07F5C0629C94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7360812$98AEA621-11AB-4208-B3E6-027E38A3136B","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"c4bb489747f8b1af815de85efde1474d396715b9","datavalue":{"value":{"entity-type":"item","numeric-id":7360805,"id":"Q7360805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7360812$D967EFC2-BA2E-48B0-B6AC-837D9FBFA743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P37","hash":"8c74716104364adf151dc4bd24f21c429bbcf18b","datavalue":{"value":{"entity-type":"item","numeric-id":7360807,"id":"Q7360807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7360812$90B92B7B-7E51-48FD-874F-29EE7629808E","rank":"normal"}]},"sitelinks":{}}}}