Sentence examples for proof number from inspiring English sources

This paper also proposes efficient methods of generating threat moves and the Multistage Proof Number Search.

Depending on your age, you may remember a social proof number under their logo; from 1 million back in the 1960s to the "Billions and Billions Served" that you see today.

In his famous proof, numbers carry two meanings — the familiar one designating a quantity, and an encoded one designating a logical proposition (e.g., "No number can be multiplied by 0 to produce 7").

The Democrats won't get to the magic, filibuster-proof number of 60 seats even if Mr Franken pulls this out.

Mrs. Boxer, Mr. Kerry and the Senate leadership face a very tough slog to reach the magic filibuster-proof number of 60 senators.

That's the same filibuster-proof number it takes to pass controversial legislation.

Despite having a veto-proof number of supporters in the City Council, a bill that would guarantee workers the right to earn paid sick leave is being stalled by the business community.

Proof-number search (pn-search) is designed for finding the game-theoretical value in game trees.

The algorithm is based on proof-number (PN) search, a best-first search algorithm, proposed by Allis et al.

Proof: The number of coalitions and the number of players in each coalition are both fixed.

When we discharge a hypothesis, as in lines 4 and 5 of this proof, the number of the hypothesis must really occur in the subscript of the formula that is to become the consequent of the implication.