automated theorem proving ^{الإنجليزية} (Q1429110)

من Marefa data

subfield of automated reasoning dealing with proving theorems by computer programs ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	automated theorem proving	subfield of automated reasoning dealing with proving theorems by computer programs	automated deduction ATP theorem proving

بيانات

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

٠ مرجع

topic's main category ^{الإنجليزية}

Category:Automated theorem proving ^{الإنجليزية}

١ مراجع

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

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

١ مراجع

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

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

منطق رياضي

١ مراجع

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

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

١ مراجع

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

وصلات الموقع

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

ويكيبيديا(١ وصلة واحدة)

enwiki Automated theorem proving

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