Matches in Wikidata for { <http://www.wikidata.org/entity/Q114252085> ?p ?o ?g. }
Showing items 1 to 27 of
27
with 100 items per page.
- Q114252085 description "artículu científicu espublizáu en 1967" @default.
- Q114252085 description "scientific article published in 1967" @default.
- Q114252085 description "наукова стаття, опублікована в 1967" @default.
- Q114252085 description "գիտական հոդված հրատարակված 1967 թվականին" @default.
- Q114252085 name "Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 196" @default.
- Q114252085 type Item @default.
- Q114252085 label "Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 196" @default.
- Q114252085 prefLabel "Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 196" @default.
- Q114252085 P1433 Q114252085-5B842BE6-8B3A-4EC1-886A-DD164D3B64FD @default.
- Q114252085 P1476 Q114252085-BD948039-92C7-4528-84C9-D764E2306C6F @default.
- Q114252085 P2093 Q114252085-3C6314EC-4B93-4974-A701-3EF71F412E8A @default.
- Q114252085 P304 Q114252085-56A4F016-B2BD-4FCF-A73F-DD3E539D0624 @default.
- Q114252085 P31 Q114252085-D379F51A-F6DF-4748-8770-447C480B718A @default.
- Q114252085 P356 Q114252085-BC333052-98F2-4C6D-9D70-B3E9FB422A69 @default.
- Q114252085 P433 Q114252085-964B6F11-3608-44B4-8637-62EDEF818FC6 @default.
- Q114252085 P478 Q114252085-C1D62974-E690-40D7-94D9-14A72F357450 @default.
- Q114252085 P577 Q114252085-7321D1A0-C473-44B1-B22B-1513E1FF388C @default.
- Q114252085 P356 2271267 @default.
- Q114252085 P1433 Q6295979 @default.
- Q114252085 P1476 "Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621." @default.
- Q114252085 P2093 "David Luckham" @default.
- Q114252085 P304 "117-117" @default.
- Q114252085 P31 Q13442814 @default.
- Q114252085 P356 "10.2307/2271267" @default.
- Q114252085 P433 "1" @default.
- Q114252085 P478 "32" @default.
- Q114252085 P577 "1967-06-01T00:00:00Z" @default.