Birthplace
|
http://dbpedia.org/resource/Milwaukee +
|
http://dbpedia.org/ontology/abstract
|
George Wahl Logemann (31 January 1938, Mil … George Wahl Logemann (31 January 1938, Milwaukee, – 5 June 2012, Hartford) was an American mathematician and computer scientist. He became well known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems. He also contributed to the field of computer music.ontributed to the field of computer music.
, George Wahl Logemann (Milwaukee, 31 de jan … George Wahl Logemann (Milwaukee, 31 de janeiro de 1938 – Hartford, 5 de junho de 2012) foi um matemático e cientista da computação estadunidense. Conhecido pelo algoritmo DPLL para resolver problemas de satisfatibilidade booliana. Também contribuiu para o campo da música computacional.buiu para o campo da música computacional.
|
http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_science +
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/New_York_University +
|
http://dbpedia.org/ontology/birthDate
|
"1938-01-31"^^xsd:date
|
http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Hartford +
|
http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/DPLL_algorithm +
|
http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/United_States_of_America +
|
http://dbpedia.org/ontology/residence
|
http://dbpedia.org/resource/West_Hartford +
|
http://dbpedia.org/ontology/wikiPageID
|
48760367
|
http://dbpedia.org/ontology/wikiPageLength
|
3198
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1006987894
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:Mathematicians_from_Wisconsin +
, http://dbpedia.org/resource/Category:2012_deaths +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Hartford +
, http://dbpedia.org/resource/Davis%E2%80%93Putnam%E2%80%93Logemann%E2%80%93Loveland_algorithm +
, http://dbpedia.org/resource/Category:People_from_Milwaukee +
, http://dbpedia.org/resource/Category:1938_births +
, http://dbpedia.org/resource/Milwaukee +
, http://dbpedia.org/resource/New_York_University +
, http://dbpedia.org/resource/Robert_Davis_Richtmyer +
, http://dbpedia.org/resource/United_States_of_America +
, http://dbpedia.org/resource/Boolean_satisfiability_problem +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/DPLL_algorithm +
, http://dbpedia.org/resource/West_Hartford +
, http://dbpedia.org/resource/Peter_David_Lax +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/New_York_University +
|
http://dbpedia.org/property/birthDate
|
"1938-01-31"^^xsd:date
|
http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Milwaukee +
|
http://dbpedia.org/property/deathPlace
|
http://dbpedia.org/resource/Hartford +
|
http://dbpedia.org/property/doctoralAdvisors
|
http://dbpedia.org/resource/Robert_Davis_Richtmyer +
, http://dbpedia.org/resource/Peter_David_Lax +
|
http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Computer_science +
|
http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/DPLL_algorithm +
|
http://dbpedia.org/property/name
|
George Wahl Logemann
|
http://dbpedia.org/property/nationality
|
http://dbpedia.org/resource/United_States_of_America +
|
http://dbpedia.org/property/partner
|
Bernice C. Schaefer
|
http://dbpedia.org/property/residence
|
http://dbpedia.org/resource/West_Hartford +
|
http://dbpedia.org/property/thesisTitle
|
Existence and Uniqueness of Rarefaction Waves
|
http://dbpedia.org/property/thesisYear
|
1965
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Mathematician-stub +
, http://dbpedia.org/resource/Template:More_citations_needed +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Infobox_scientist +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:1938_births +
, http://dbpedia.org/resource/Category:2012_deaths +
, http://dbpedia.org/resource/Category:People_from_Milwaukee +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Category:Mathematicians_from_Wisconsin +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/George_Logemann?oldid=1006987894&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/George_Logemann +
|
http://xmlns.com/foaf/0.1/name
|
George Wahl Logemann
|
owl:sameAs |
https://dblp.org/pid/76/1619 +
, http://yago-knowledge.org/resource/George_Logemann +
, http://www.wikidata.org/entity/Q21818065 +
, https://global.dbpedia.org/id/24bwe +
, http://dbpedia.org/resource/George_Logemann +
, http://pt.dbpedia.org/resource/George_Logemann +
|
rdf:type |
http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Scientist +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q5 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
|
rdfs:comment |
George Wahl Logemann (Milwaukee, 31 de jan … George Wahl Logemann (Milwaukee, 31 de janeiro de 1938 – Hartford, 5 de junho de 2012) foi um matemático e cientista da computação estadunidense. Conhecido pelo algoritmo DPLL para resolver problemas de satisfatibilidade booliana. Também contribuiu para o campo da música computacional.buiu para o campo da música computacional.
, George Wahl Logemann (31 January 1938, Mil … George Wahl Logemann (31 January 1938, Milwaukee, – 5 June 2012, Hartford) was an American mathematician and computer scientist. He became well known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems. He also contributed to the field of computer music.ontributed to the field of computer music.
|
rdfs:label |
George Logemann
|