{"entities":{"Q7360817":{"pageid":31517990,"ns":120,"title":"Item:Q7360817","lastrevid":105370259,"modified":"2026-10-07T13:39:05Z","type":"item","id":"Q7360817","labels":{"en":{"language":"en","value":"Logic/Proof Theory"}},"descriptions":{"en":{"language":"en","value":"AFP topic"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c96b150e589889b8338d48ef3b865a59ec33a237","datavalue":{"value":"https://isa-afp.org/topics/logic/proof-theory/","type":"string"},"datatype":"url"},"type":"statement","id":"Q7360817$1B77BCFD-1D35-45F8-8598-E8AE6B4A004B","rank":"normal"}],"P450":[{"mainsnak":{"snaktype":"value","property":"P450","hash":"f15e5de1c9e523112d490c523ae219d6514b215b","datavalue":{"value":"10003752.10003790.10003792","type":"string"},"datatype":"string"},"type":"statement","id":"Q7360817$7F114EC6-4C5C-4C19-ABF2-7D5DC0C93E73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7360817$F6D34AA9-5687-48E8-92ED-F136D71CE8A1","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":"Q7360817$36E16498-2FFA-4F3B-992E-30F484C2590F","rank":"normal"}]},"sitelinks":{}}}}