Werte von „_pageData“
1 Zeile ist für diese Seite gespeichert| Field | Feldtyp | Value |
|---|---|---|
| _creationDate | Datetime | 2016-05-19 1:52:00 PM |
| _modificationDate | Datetime | 2016-05-26 8:22:35 PM |
| _creator | String | Fahrplanbot |
| _fullText | Searchtext | Ein Vortrag von Joachim Breitner auf der [[GPN16]]. Beweise machen Spaß – vor allem mit einem interaktiven Theorembeweiser. Aber während die „großen“ Theorembeweiser wie Isabelle und Coq eine ziemlich hohe Einstiegshürde haben, kann man mit der <i>Incredible Proof Machine</i> ... |
| _categories | Liste von String, Begrenzer: | | GPN16 • GPN16:Vorträge |
| _numRevisions | Integer | 6 |
| _isRedirect | Boolean | Nein |
| _pageNameOrRedirect | String | GPN16:The Incredible Proof Machine |
| _pageIDOrRedirect | Integer | 10,090 |
| _lastEditor | String | Fahrplanbot |
| _pageID | Integer | 10,090 |
| _pageName | Page | GPN16:The Incredible Proof Machine |
| _pageTitle | String | GPN16:The Incredible Proof Machine |
| _pageNamespace | Integer | 0 |