KRIPKE STRUCTURE

Domain	Definition
Math	A nondeterministic finite state machine whose states are labeled with boolean variables, which are the evaluations of expressions in that state. It may be extended with fairness constraints. (references)
Source: compiled by the editor from various references; see credits.

Anagrams: KRIPKE STRUCTURE

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "c-e-e-i-k-k-p-r-r-r-s-t-t-u-u"
	-3 letters: prestructure.
	-4 letters: restructure.
	-5 letters: puckeriest, recruiters.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.