gptkb:untyped_lambda_calculus
|
beta normal form
|
gptkb:context-free_grammar
|
gptkb:Greibach_normal_form
|
gptkb:context-free_grammar
|
gptkb:Chomsky_normal_form
|
gptkb:first-order_logic
|
gptkb:Skolem_normal_form
|
gptkb:E_8_simple_singularity
|
x^2 + y^3 + z^5
|
gptkb:first-order_logic
|
prenex normal form
|
gptkb:E_8_simple_singularity
|
x^3 + y^5
|
gptkb:Context-Free_Grammar
|
gptkb:Greibach_normal_form
|
gptkb:first-order_predicate_calculus
|
gptkb:conjunctive_normal_form
|
gptkb:first-order_predicate_calculus
|
gptkb:Skolem_normal_form
|
gptkb:Context-free_grammar
|
gptkb:Greibach_normal_form
|
gptkb:first-order_logic
|
gptkb:conjunctive_normal_form
|
gptkb:Context-Free_Grammar
|
gptkb:Chomsky_normal_form
|
gptkb:Context-free_grammar
|
gptkb:Chomsky_normal_form
|
gptkb:first-order_logic
|
gptkb:disjunctive_normal_form
|