×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [uninterpreted x]
Levels of Reasoning propositional p 1 = q 1 p 2 = q 2 ... p n = q n p = q schematic (1 st order uninterpreted) x := s ; x := t = x := t[x/s] 1 st
222 views