Automated Reasoning of Database Queries

Summary

Automated Reasoning of Database Queries is a doctoral thesis^[1].

Key Facts

• Automated Reasoning of Database Queries authored Shumo Chu^[2].
• Automated Reasoning of Database Queries's instance of is recorded as doctoral thesis^[3].
• Automated Reasoning of Database Queries's OCLC number is recorded as 1128883320^[4].
• Automated Reasoning of Database Queries's language of work or name is recorded as English^[5].
• +2019-00-00T00:00:00Z marks the founding of Automated Reasoning of Database Queries^[6].
• Automated Reasoning of Database Queries's work available at URL is recorded as http://hdl.handle.net/1773/44777^[7].
• Automated Reasoning of Database Queries's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q1069725', 'amount': '+126'}^[8].
• Automated Reasoning of Database Queries's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q56761382', 'amount': '+8'}^[9].
• Automated Reasoning of Database Queries's Handle ID is recorded as 1773/44777^[10].
• Automated Reasoning of Database Queries's title is recorded as Automated Reasoning of Database Queries^[11].
• Automated Reasoning of Database Queries's thesis submitted to is recorded as University of Washington^[12].
• Automated Reasoning of Database Queries's on focus list of Wikimedia project is recorded as WikiProject PCC Wikidata Pilot/University of Washington^[13].
• Automated Reasoning of Database Queries's thesis committee member is recorded as Dan Suciu^[14].

Body

Designation and Status

Automated Reasoning of Database Queries's instance of is recorded as doctoral thesis^[3].

History and Context

+2019-00-00T00:00:00Z marks the founding of Automated Reasoning of Database Queries^[6].