languageIncludes

URI: https://gptkb.org/prop/languageIncludes
5 triples
GPTKB property
Random triples
Subject Object
gptkb:Robinson_arithmetic ×
gptkb:Robinson_arithmetic =
gptkb:Robinson_arithmetic 0
gptkb:Robinson_arithmetic gptkb:S_(successor_function)
gptkb:Robinson_arithmetic +