Random word

Explore Matiyasevich through 3 example sentences from English. Ideal for language learners, writers and word enthusiasts.

Rare word

Matiyasevich in a sentence

Using Matiyasevich

  • In the example corpus, matiyasevich often appears in combinations such as: yuri matiyasevich, matiyasevich in.

Context around Matiyasevich

  • Average sentence length in these examples: 18.7 words
  • Position in the sentence: 1 start, 2 middle, 0 end
  • Sentence types: 3 statements, 0 questions, 0 exclamations

Corpus analysis for Matiyasevich

  • In this selection, "matiyasevich" usually appears in the middle of the sentence. The average example has 18.7 words, and this corpus slice is mostly made up of statements.
  • Around the word, yuri and solved stand out and add context to how "matiyasevich" is used.
  • Recognizable usage signals include by yuri matiyasevich in 1970 and 1970 yuri matiyasevich solved it. That gives this page its own corpus information beyond isolated example sentences.
  • By corpus frequency, "matiyasevich" sits close to words such as aabc, aacr and aacsb, which helps place it inside the broader word index.

Example types with matiyasevich

The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:

The algorithmic unsolvability of the problem was proved by Yuri Matiyasevich in 1970 (Davis 1973). (15 words)

In 1970, Yuri Matiyasevich solved it negatively, by proving that a general algorithm for solving all Diophantine equations cannot exist. (20 words)

The non-existence of such an algorithm, established by Yuri Matiyasevich in 1970, also implies a negative answer to the Entscheidungsproblem. (21 words)

The non-existence of such an algorithm, established by Yuri Matiyasevich in 1970, also implies a negative answer to the Entscheidungsproblem. (21 words)

In 1970, Yuri Matiyasevich solved it negatively, by proving that a general algorithm for solving all Diophantine equations cannot exist. (20 words)

The algorithmic unsolvability of the problem was proved by Yuri Matiyasevich in 1970 (Davis 1973). (15 words)

Example sentences (3)

In 1970, Yuri Matiyasevich solved it negatively, by proving that a general algorithm for solving all Diophantine equations cannot exist.

The algorithmic unsolvability of the problem was proved by Yuri Matiyasevich in 1970 (Davis 1973).

The non-existence of such an algorithm, established by Yuri Matiyasevich in 1970, also implies a negative answer to the Entscheidungsproblem.

Common combinations with matiyasevich

These word pairs occur most frequently in English texts:

Frequently asked questions

How do you use "matiyasevich" in a sentence?
An example: "In 1970, Yuri Matiyasevich solved it negatively, by proving that a general algorithm for solving all Diophantine equations cannot exist." This page contains 3 example sentences with the word "matiyasevich" from authentic English texts.
How many example sentences with "matiyasevich" are there?
Voorbeeldzinnen.info contains 3 example sentences with "matiyasevich", drawn from a database of millions of English sentences.