hasSuccessorFunction

URI: https://gptkb.org/prop/hasSuccessorFunction
1 triples
GPTKB property
Random triples
Subject Object
gptkb:standard_model_of_natural_numbers S