Wos

E580566
American mathematician human mathematician pioneer in automated theorem proving surname

Wos is a surname most notably associated with Larry Wos, an American mathematician and pioneer in automated theorem proving.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label Occurrences
Wos canonical 1

Statements (15)

Predicate Object
instanceOf American mathematician ⓘ
human ⓘ
mathematician ⓘ
pioneer in automated theorem proving ⓘ
surname ⓘ
countryOfCitizenship United States of America ⓘ
fieldOfWork automated theorem proving ⓘ
logic ⓘ
mathematics ⓘ
hasNotableBearer Larry Wos NERFINISHED ⓘ
hasSurname Wos NERFINISHED ⓘ
languageOfOrigin English ⓘ
nationality United States of America ⓘ
notableFor work in automated theorem proving ⓘ
usedAs last name ⓘ

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Larry Wos → familyName → Wos ⓘ