Hyppää sisältöön

Hae sanastosta

Sisällön kieli

Käsitteen tiedot

Mathematics > Logic, Symbolic and mathematical > Decidability (Mathematical logic)
Science > Mathematics > Logic, Symbolic and mathematical > Decidability (Mathematical logic)
Science > Mathematics > Logic, Symbolic and mathematical > Decidability (Mathematical logic)

Käytettävä termi

QA9.65Decidability (Mathematical logic)  

Ryhmään kuuluvat käsitteet

Notaatio

  • QA9.65

URI

http://www.yso.fi/onto/lcsh/sh85036191

Lataa tämä käsite:

RDF/XML TURTLE JSON-LD Luotu 11.2.1986