Hierdie bladsy vertoon rou vertaaldata. Elke inligting kan verander word, u kan ook nuwe data byvoeg. Alle veranderinge word in 'n veranderingslogboek aangeteken.
| Engels | Spaans |
|---|---|
| first-order logic | lógica de primer orden |
besonderhede
"Vertaalde frases kan baie betekenisse hê. Bykomende inligting wat in die ""definisie"" -veld gegee word, maak dit makliker om hulle te onderskei. Die volgorde van die betekenisse moet van die gewildste wees."
@en.wiktionary2016 ::
skakel #-2042470890| Engels[en] | Spaans[es] | |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| FORM.partOfSpeech.root | noun | |
| definisie | formal deductive system expanded from propositional logic | |
| geslag | feminine |
@wikidata ::
skakel #-1442847391| Engels[en] | Spaans[es] | |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| definisie | collection of formal systems used in mathematics, philosophy, linguistics, and computer science | sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden |
Position on the translation page
Position in translation page is determined by translation popularity. It measures how likely word is translated into other. 0 means -- very unlikely (will be on the bottom of the page). 100 means -- very popular. To edit these values click them to go to the edit page.
Popularity first-order logic → lógica de primer orden : 50
Popularity lógica de primer orden → first-order logic : 50
wysigings
Gebruik keurders om twee tydpunte te kies
| 2019.10.30 10:33 · GlosbeRobot | EDIT · kommentaar: merge | ||
| 2019.10.28 11:24 · GlosbeRobot | INITIAL · kommentaar: initial |
hersiening 2019.10.28 11:24
initial · @GlosbeRobotPriority
first-order logic→lógica de primer orden: 50lógica de primer orden→first-order logic: 50
hersiening 2019.10.30 10:33
merge · @GlosbeRobotPriority
first-order logic→lógica de primer orden: 50lógica de primer orden→first-order logic: 50
#1907499073 | Engels[en] | Spaans[es] |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| definisie | formal deductive system expanded from propositional logic | |
| geslag | feminine |
#843228519 | Engels[en] | Spaans[es] |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| FORM.partOfSpeech.root | noun | |
| definisie | formal deductive system expanded from propositional logic | |
#-2042470890 | Engels[en] | Spaans[es] |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| FORM.partOfSpeech.root | noun | |
| definisie | formal deductive system expanded from propositional logic | |
| geslag | feminine |
#-2042470890 | Engels[en] | Spaans[es] |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| FORM.partOfSpeech.root | noun | |
| definisie | formal deductive system expanded from propositional logic | |
| geslag | feminine |
#-1442847391 | Engels[en] | Spaans[es] |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| definisie | collection of formal systems used in mathematics, philosophy, linguistics, and computer science | sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden |
#-1442847391 | Engels[en] | Spaans[es] |
|---|---|---|
| Frases | first-order logic | lógica de primer orden |
| definisie | collection of formal systems used in mathematics, philosophy, linguistics, and computer science | sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden |
Id: 4791895115999485384