Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical theorem collection
|
| gptkbp:author |
gptkb:Reuben_Goodstein_Prosser
|
| gptkbp:describes |
properties of finite automata
|
| gptkbp:field |
gptkb:logic
automata theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Prosser's 16 Theorems
|
| gptkbp:influenced |
theory of computation
|
| gptkbp:publicationYear |
1960s
|
| gptkbp:publishedIn |
gptkb:Journal_of_the_ACM
|
| gptkbp:bfsParent |
gptkb:Prosser's_Theorem_of_Vocational_Education
|
| gptkbp:bfsLayer |
7
|