Wikidata

(Q430001)

English

decidability

property of theories that have computable membership

  • decidable
In more languages
default for all languages
No label defined

No description defined

Statements

subclass of
property
0 references

Identifiers

GND ID
4152398-2
subject named as
Entscheidbarkeit
0 references
FAST ID
888990
subject named as
Decidability (Mathematical logic)
0 references
IdRef ID
027868664
0 references
MathWorld ID
Decidable
subject named as
Decidable
0 references
nLab ID
decidability
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q430001&oldid=2254006241"