en.wikipedia.org/wiki/Automated_theorem_proving

Preview meta tags from the en.wikipedia.org website.

Linked Hostnames

57

  • General Meta Tags

    10
    • title
      Automated theorem proving - Wikipedia
    • charset
      UTF-8
    • ResourceLoaderDynamicStyles
    • generator
      MediaWiki 1.44.0-wmf.2
    • referrer
      origin

  • Open Graph Meta Tags

    2
    • og:title
      Automated theorem proving - Wikipedia
    • og:type
      website

  • Link Tags

    50
    • EditURI
      //en.wikipedia.org/w/api.php?action=rsd
    • alternate
      //en.m.wikipedia.org/wiki/Automated_theorem_proving
    • alternate
      /w/index.php?title=Automated_theorem_proving&action=edit
    • alternate
      /w/index.php?title=Special:RecentChanges&feed=atom
    • apple-touch-icon
      /static/apple-touch/wikipedia.png

Links

608