(Q4377484)

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

خوارزمية البحث

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

has part(s) ^{الإنجليزية}

Unit propagation ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

inception ^{الإنجليزية}

1962^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

author ^{الإنجليزية}

مارتن ديفيس

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

هيلاري بوتنام

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

George Logemann ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Donald W. Loveland ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Commons category ^{الإنجليزية}

Davis-Putnam-Logemann-Loveland algorithm

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

image ^{الإنجليزية}

Backtracking-no-backjumping.svg
١٧١ × ١٥٣؛ ٤ كيلوبايت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

BabelNet ID ^{الإنجليزية}

02106418n

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

named after ^{الإنجليزية}

مارتن ديفيس

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

هيلاري بوتنام

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

George Logemann ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Donald W. Loveland ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٤ وصلات)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q4377484&oldid=61964282»