isDedekindDomain

URI: https://gptkb.org/prop/isDedekindDomain
5 triples
GPTKB property
Random triples
Subject Object
gptkb:Eisenstein_integer true
gptkb:field_of_rational_numbers_Q false
gptkb:the_field_of_rational_numbers_Q false
gptkb:the_ring_of_integers_Z true
gptkb:The_ring_of_integers_Z true