A Computing Procedure for Quantification Theory
(Q29030829)
scientific article (publication date: July 1960)
scientific article (publication date: July 1960)
Language:
Current Data About
A Computing Procedure for Quantification Theory
| (P31) |
(Q13442814)
|
||||||||
| (P50) |
(Q221697)
|
||||||||
| (P304) |
201-215
|
||||||||
| (P407) |
(Q1860)
|
||||||||
| (P433) |
3
|
||||||||
| (P478) |
7
|
||||||||
| (P577) |
Friday, July 1, 1960
|
||||||||
| (P1433) |
(Q1709878)
|
||||||||
| (P1476) |
"A Computing Procedure for Quantification Theory" (language: en)
|
||||||||
| (P2093) |
Martin Davis
|
||||||||
| (P6104) |
(Q8487137)
|
other details
| description | scientific article (publication date: July 1960) |
External Links
| (P356) |
10.1145/321033.321034
|
| (P894) |
0212.34203
|
| (P8978) |
journals/jacm/DavisP60
|