namedBecause

URI: https://gptkb.org/prop/namedBecause
1 triples
GPTKB property
Random triples
Subject Object
gptkb:Folk_Theorem result was known informally before formal proof