لغة من الرتبة الأولى (Q1591)

من Marefa data

collection of formal systems used in mathematics, philosophy, linguistics, and computer science ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لغة من الرتبة الأولى	لا يوجد وصف
الإنجليزية	first-order logic	collection of formal systems used in mathematics, philosophy, linguistics, and computer science	first-order predicate calculus predicate logic quantified logic predicate calculus quantificational logic FOL

بيانات

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

٠ مرجع

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

١ مراجع

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

Encyclopædia Britannica Online ID ^{الإنجليزية}

topic/lower-predicate-calculus

١ مراجع

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

studied by ^{الإنجليزية}

منطق رياضي

١ مراجع

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

Stack Exchange tag ^{الإنجليزية}

https://math.stackexchange.com/tags/first-order-logic

١ مراجع

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

https://stackoverflow.com/tags/first-order-logic

١ مراجع

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

https://cs.stackexchange.com/tags/first-order-logic

١ مراجع

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

described by source ^{الإنجليزية}

الموسوعة السوفيتية الأرمينية

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

9

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

424

١ مراجع

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

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

predicate logic ^{الإنجليزية}

١ مراجع

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

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

١ مراجع

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

different from ^{الإنجليزية}

predicate logic ^{الإنجليزية}

١ مراجع

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

وصلات الموقع

Marefa(١ وصلة واحدة)

marefa منطق الرتبة الأولى

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

enwiki First-order logic

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