Gade pasaj ki anba a epi reponn kesyon an apre nan menm lang ak pasaj la:  Pasaj: Teyorik jwèt te vin jwe yon wòl de pli zan pli enpòtan nan lojik ak nan syans òdinatè. Plizyè teyori lojik gen yon baz nan semantik jwèt. Anplis de sa, syantis òdinatè yo te itilize jwèt pou modèl kalkil entèaktif. Epitou, teyori jwèt bay yon baz teyorik nan jaden an nan sistèm milti-ajan. Separeman, teyori jwèt te jwe yon wòl nan algoritm sou entènèt; an patikilye, pwoblèm nan k-sèvè, ki te nan tan lontan an te refere yo kòm jwèt ak depans k ap deplase ak demann-repons jwèt. Prensip Yao a se yon teknik jwèt-teyorik pou pwouve pi ba limit sou konpleksite konpitasyon nan algoritm o aza, espesyalman algoritm sou entènèt.  Kesyon: nan ki sa te genyen jwèt teyori gen baz nan?
semantik jwèt