computer-assisted proof ^{الإنجليزية} (Q780221)

Mathematical proof at least partially generated by computer ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	computer-assisted proof	Mathematical proof at least partially generated by computer

بيانات

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

٠ مرجع

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

١ مراجع

non-surveyable proof ^{الإنجليزية}

١ مراجع

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

١ مراجع

عقد 1970

١ مراجع

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

١ مراجع

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

proof assistant ^{الإنجليزية}

١ مراجع