Metadata of Archiv/Konstrukce PRF z axiomů a odvozovacích pravidel

  • Action: SAVE
  • Comment: 'Automatizovaná konverze z MediaWiki do Markdownu'
  • Content Type: Markdown [text/x-markdown;charset=utf-8]
  • Data ID: 6929ab50caa243a8b7cd31483f6754de
  • External Links: (None)
  • Item ID: 97ecf803bb5c495db19c5c7031385e17
  • Item Links: (None)
  • Item Transclusions: (None)
  • Item Type: default
  • Language:
  • Modified Time: 2024-09-18 19:04:17z
  • Name: Archiv/Konstrukce PRF z axiomů a odvozovacích pravidel
  • Old Name: (None)
  • Namespace: ''
  • Parent Revision ID: 0671a474551c43c78e69ee01557057b3
  • Revision ID: 09f23236884f4e079d4f241eed4bd96c
  • Revision Number: 2
  • SHA1: cf00c3ae8ce981f293e16172c455a07bd7486b65
  • Size: 723 Bytes
  • Summary: ''
  • Tags: (None)
  • Trash: False
  • User ID:
  • Wiki Name: MatfyzWiki