isUsedToProve

URI: https://gptkb.org/prop/isUsedToProve
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Turing_machine_(with_unbounded_size) universality of computation
gptkb:Turing_machine_(with_unbounded_size) complexity class separations
gptkb:Turing_machine_(with_unbounded_size) incomputability results