Current Data About
Leonardo de Moura
| (P21) |
(Q6581097)
|
||||||||||
| (P27) |
(Q30)
|
||||||||||
| (P31) |
(Q5)
|
||||||||||
| (P69) |
(Q1857293)
|
||||||||||
| (P106) |
(Q82594)
(Q170790) |
||||||||||
| (P108) |
(Q1144725)
(Q456157)
|
||||||||||
| (P166) |
(Q449390)
|
||||||||||
| (P184) |
(Q60999886)
(Q102115063)
|
||||||||||
| (P734) |
(Q28925623)
|
||||||||||
| (P735) |
(Q18220847)
|
||||||||||
| (P800) |
(Q6509476)
(Q85816952) |
||||||||||
| (P856) |
http://leodemoura.github.io/
|
||||||||||
| (P1412) |
(Q1860)
|
||||||||||
| (P6104) |
(Q8487137)
|
||||||||||
| (P7153) |
(Q223718)
|
other details
| description | American computer scientist, known for Lean and Z3 |
External Links