You can look up the words in the phrase individually using these links:
multi-prover?interactive?proof?
(A question mark next to a word above means that we couldn't find it, but clicking the word might provide spelling suggestions.)
Not helpful? You might try using the wildcards * and ? to find the word you're looking for. For example, use