Open WIKI
  • Home
  • Sources
  • About
  • Contacts
☰

Theorem prover


  • Automated theorem prover
  • Proof assistant

Books

  • 1 Wuthering Heights 118,587
  • 2 Tales of Dunk and Egg 23,854
  • 3 Project Hail Mary 12,936
  • 4 Lord of the Flies 11,294
  • 5 A Song of Ice and Fire 10,337
  • 6 The Brief Wondrous Life of Oscar Wao 10,100
  • 7 Nobody's Girl (memoir) 7,986
  • 8 Hamlet 7,026
  • 9 Frankenstein 6,782
  • 10 Dungeon Crawler Carl 6,600

Films

  • 1 Wuthering Heights (2026 film) 95,843
  • 2 Marty Supreme 50,577
  • 3 The Housemaid (2025 film) 49,096
  • 4 28 Years Later: The Bone Temple 48,316
  • 5 Dhurandhar 45,834
  • 6 One Battle After Another 33,762
  • 7 Goat (2026 film) 33,528
  • 8 XXX (2002 film) 29,905
  • 9 Psycho Killer (film) 29,842
  • 10 Toy Story 5 27,866

Programming Languages

  • 1 C (programming language) 3,639
  • 2 Python (programming language) 3,490
  • 3 C++ 1,676
  • 4 JavaScript 1,631
  • 5 Rust (programming language) 1,504
  • 6 Go (programming language) 1,434
  • 7 R (programming language) 1,421
  • 8 Scratch (programming language) 1,374
  • 9 Java (programming language) 1,333
  • 10 Assembly language 899

TV Series

  • 1 A Knight of the Seven Kingdoms (TV series) 104,072
  • 2 The Night Agent 73,897
  • 3 Love Story (2026 TV series) 64,192
  • 4 Famous Last Words (TV series) 64,170
  • 5 America's Next Top Model 53,934
  • 6 The Pitt 44,764
  • 7 Heated Rivalry 36,398
  • 8 Euphoria (American TV series) 33,909
  • 9 How to Get to Heaven from Belfast 33,789
  • 10 Grey's Anatomy 32,330

Video Games

  • 1 Ecco the Dolphin (video game) 39,935
  • 2 Wordle 26,024
  • 3 Poppy Playtime 18,118
  • 4 Resident Evil Requiem 15,300
  • 5 Pokémon FireRed and LeafGreen 13,433
  • 6 Roblox 12,144
  • 7 Minecraft 10,844
  • 8 Grand Theft Auto V 9,575
  • 9 Reanimal 9,006
  • 10 Pokémon (video game series) 8,881

© 2026 OWIKI.org.

Content is available under Creative Commons Attribution-ShareAlike 4.0 unless otherwise noted.

Status: ONLINE

Version: 1.04