'decidable' Questions - SpiceQA

Questions Tags Users Badges

decidable

4 Questions

Newest Active Unanswered Frequent

Z3: is Nonlinear integer arithmetic undecidable or semi-decidable

user_140823850

• asked Nov 24, 2021

2

1

147

decidable theorem-proving z3py z3 first-order-logic

Is "less than" for rational numbers decideable in Coq?

user_25534160

• asked Nov 3, 2021

3

1

98

rational-number decidable coq comparison

Can a PDA with two stacks accept RE Language?

user_114136420

• asked May 29, 2020

2

1

1816

pushdown-automaton decidable deterministic formal-languages turing-machines

Does the order of prenex quantification matter in EPR fragment?

user_20169670

• asked Sep 12, 2017

3

1

116

decidable smt z3 first-order-logic

1 (current)

Hot Questions