en.wikipedia.org/wiki/Proof_assistant

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

Linked Hostnames

46

Thumbnail

  • General Meta Tags

    10
    • title
      Proof assistant - Wikipedia
    • charset
      UTF-8
    • ResourceLoaderDynamicStyles
    • generator
      MediaWiki 1.44.0-wmf.2
    • referrer
      origin

  • Open Graph Meta Tags

    11
    • og:image
      https://upload.wikimedia.org/wikipedia/commons/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
    • og:image:width
      1200
    • og:image:height
      868
    • og:image
      https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png/800px-CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
    • og:image:width
      800

  • Link Tags

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

Links

246