a group, the elements of which are cosets with respect to a normal subgroup of a given group.
[kwis koo-stoh-dee-et ip-sohs koo-stoh-deys; English kwis kuh-stoh-dee-it ip-sohs kuh-stoh-deez] /kwɪs kʊˈstoʊ diˌɛt ˈɪp soʊs kʊˈstoʊ deɪs; English kwɪs kəˈstoʊ di ɪt ˈɪp soʊs kəˈstoʊ diz/ Latin. 1. who shall keep watch over the guardians? /kwɪs kʊsˈtəʊdɪˌɛt ˈɪpsɒs kʊsˈtəʊdiːz/ uknown 1. who will guard the guards?
- Quo vadis
/ˈkwəʊ ˈvɑːdɪs/ uknown 1. where are you going?
[kwoht] verb (used with object), quoted, quoting. 1. to repeat (a passage, phrase, etc.) from a book, speech, or the like, as by way of authority, illustration, etc. 2. to repeat words from (a book, author, etc.). 3. to use a brief excerpt from: The composer quotes Beethoven’s Fifth in his latest work. 4. to […]
An extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifiers that create local scopes for those variables. Qu-Prolog is well suited as an implementation language for theorem provers and support notations typically found in texts on mathematics and logic.