×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [x load r]
Home >
x load r
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