Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/json/FormatJson.php on line 297

Deprecated: Optional parameter $prefix declared before required parameter $code is implicitly treated as a required parameter in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/languages/Language.php on line 4267

Deprecated: Return type of ResultWrapper::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/DatabaseUtility.php on line 174

Deprecated: Return type of ResultWrapper::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/DatabaseUtility.php on line 192

Deprecated: Return type of ResultWrapper::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/DatabaseUtility.php on line 185

Deprecated: Return type of ResultWrapper::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/DatabaseUtility.php on line 202

Deprecated: Return type of ResultWrapper::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/DatabaseUtility.php on line 163

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::open($save_path, $session_name) should either be compatible with SessionHandlerInterface::open(string $path, string $name): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/PHPSessionHandler.php on line 172

Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::close() should either be compatible with SessionHandlerInterface::close(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/PHPSessionHandler.php on line 187

Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::read($id) should either be compatible with SessionHandlerInterface::read(string $id): string|false, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/PHPSessionHandler.php on line 201

Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::write($id, $dataStr) should either be compatible with SessionHandlerInterface::write(string $id, string $data): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/PHPSessionHandler.php on line 229

Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::destroy($id) should either be compatible with SessionHandlerInterface::destroy(string $id): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/PHPSessionHandler.php on line 335

Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::gc($maxlifetime) should either be compatible with SessionHandlerInterface::gc(int $max_lifetime): int|false, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/PHPSessionHandler.php on line 355

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: Return type of MediaWiki\Session\Session::count() should either be compatible with Countable::count(): int, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 611

Deprecated: Return type of MediaWiki\Session\Session::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 616

Deprecated: Return type of MediaWiki\Session\Session::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 626

Deprecated: Return type of MediaWiki\Session\Session::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 621

Deprecated: Return type of MediaWiki\Session\Session::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 636

Deprecated: Return type of MediaWiki\Session\Session::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 631

Deprecated: Return type of MediaWiki\Session\Session::offsetExists($offset) should either be compatible with ArrayAccess::offsetExists(mixed $offset): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 645

Deprecated: Return type of & MediaWiki\Session\Session::offsetGet($offset) should either be compatible with ArrayAccess::offsetGet(mixed $offset): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 657

Deprecated: Return type of MediaWiki\Session\Session::offsetSet($offset, $value) should either be compatible with ArrayAccess::offsetSet(mixed $offset, mixed $value): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 666

Deprecated: Return type of MediaWiki\Session\Session::offsetUnset($offset) should either be compatible with ArrayAccess::offsetUnset(mixed $offset): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/session/Session.php on line 670

Warning: Private methods cannot be final as they are never overridden by other classes in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/actions/Action.php on line 67

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: Message implements the Serializable interface, which is deprecated. Implement __serialize() and __unserialize() instead (or in addition, if support for old PHP versions is necessary) in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/Message.php on line 159

Deprecated: RawMessage implements the Serializable interface, which is deprecated. Implement __serialize() and __unserialize() instead (or in addition, if support for old PHP versions is necessary) in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/Message.php on line 1250

Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/languages/LanguageConverter.php on line 757

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: Optional parameter $label declared before required parameter $alt is implicitly treated as a required parameter in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/Linker.php on line 726

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: Optional parameter $label declared before required parameter $alt is implicitly treated as a required parameter in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/DummyLinker.php on line 144

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/languages/Language.php on line 2075

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/languages/Language.php on line 2075

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/WebResponse.php on line 42

Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/WebResponse.php on line 42

Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/WebResponse.php on line 42

Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/WebResponse.php on line 42

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: trim(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/skins/SkinTemplate.php on line 354

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: Optional parameter $attribs declared before required parameter $contents is implicitly treated as a required parameter in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/Xml.php on line 131

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<!DOCTYPE html>
<html lang="de" dir="ltr" class="client-nojs">
<head>
<meta charset="UTF-8"/>
<title>Informationen zu „Automated Theory Formation in Pure Mathematics“ – de_evolutionary_art_org</title>
<script>document.documentElement.className = document.documentElement.className.replace( /(^|\s)client-nojs(\s|$)/, "$1client-js$2" );</script>
<script>(window.RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Automated_Theory_Formation_in_Pure_Mathematics","wgTitle":"Automated Theory Formation in Pure Mathematics","wgCurRevisionId":1460,"wgRevisionId":0,"wgArticleId":499,"wgIsArticle":false,"wgIsRedirect":false,"wgAction":"info","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[],"wgBreakFrames":true,"wgPageContentLanguage":"de","wgPageContentModel":"wikitext","wgSeparatorTransformTable":[",\t.",".\t,"],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember"],"wgMonthNamesShort":["","Jan.","Feb.","Mär.","Apr.","Mai","Jun.","Jul.","Aug.","Sep.","Okt.","Nov.","Dez."],"wgRelevantPageName":"Automated_Theory_Formation_in_Pure_Mathematics","wgRelevantArticleId":499,"wgRequestId":"ZieYFaah2MU92QVXJlU3-QAAC-U","wgIsProbablyEditable":false,"wgRestrictionEdit":[],"wgRestrictionMove":[]});mw.loader.implement("user.options",function($,jQuery,require,module){mw.user.options.set({"variant":"de"});});mw.loader.implement("user.tokens",function ( $, jQuery, require, module ) {
mw.user.tokens.set({"editToken":"+\\","patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"});/*@nomin*/;

});mw.loader.load(["mediawiki.page.startup","skins.vector.js"]);});</script>
<link rel="stylesheet" href="/load.php?debug=false&amp;lang=de&amp;modules=mediawiki.legacy.commonPrint%2Cshared%7Cmediawiki.sectionAnchor%7Cmediawiki.skinning.interface%7Cskins.vector.styles&amp;only=styles&amp;skin=vector"/>
<meta name="ResourceLoaderDynamicStyles" content=""/>
<script async="" src="/load.php?debug=false&amp;lang=de&amp;modules=startup&amp;only=scripts&amp;skin=vector"></script>
<meta name="generator" content="MediaWiki 1.27.4"/>
<meta name="robots" content="noindex,nofollow"/>
<link rel="shortcut icon" href="/favicon.ico"/>
<link rel="search" type="application/opensearchdescription+xml" href="/opensearch_desc.php" title="de_evolutionary_art_org (de)"/>
<link rel="EditURI" type="application/rsd+xml" href="http://de.evo-art.org/api.php?action=rsd"/>
<link rel="alternate" type="application/atom+xml" title="Atom-Feed für „de_evolutionary_art_org“" href="/index.php?title=Spezial:Letzte_%C3%84nderungen&amp;feed=atom"/>
</head>
<body class="mediawiki ltr sitedir-ltr capitalize-all-nouns ns-0 ns-subject page-Automated_Theory_Formation_in_Pure_Mathematics rootpage-Automated_Theory_Formation_in_Pure_Mathematics skin-vector action-info">
		<div id="mw-page-base" class="noprint"></div>
		<div id="mw-head-base" class="noprint"></div>
		<div id="content" class="mw-body" role="main">
			<a id="top"></a>

						<div class="mw-indicators">
</div>
			<h1 id="firstHeading" class="firstHeading" lang="de">Informationen zu „Automated Theory Formation in Pure Mathematics“</h1>
									<div id="bodyContent" class="mw-body-content">
								<div id="contentSub"></div>
												<div id="jump-to-nav" class="mw-jump">
					Wechseln zu:					<a href="#mw-head">Navigation</a>, 					<a href="#p-search">Suche</a>
				</div>
				<div id="mw-content-text"><style>.mw-hiddenCategoriesExplanation { display: none; }</style>
<style>.mw-templatesUsedExplanation { display: none; }</style>
<h2><span class="mw-headline" id="Basisinformationen">Basisinformationen</span></h2>
<table class="wikitable mw-page-info">
<tr id="mw-pageinfo-display-title"><td style="vertical-align: top;">Anzeigetitel</td><td>Automated Theory Formation in Pure Mathematics</td></tr>
<tr id="mw-pageinfo-default-sort"><td style="vertical-align: top;">Standardsortierschlüssel</td><td>Automated Theory Formation in Pure Mathematics</td></tr>
<tr id="mw-pageinfo-length"><td style="vertical-align: top;">Seitenlänge (in Bytes)</td><td>1.759</td></tr>
<tr id="mw-pageinfo-article-id"><td style="vertical-align: top;">Seitenkennnummer</td><td>499</td></tr>
<tr><td style="vertical-align: top;">Seiteninhaltssprache</td><td>Deutsch (de)</td></tr>
<tr id="mw-pageinfo-content-model"><td style="vertical-align: top;">Seiteninhaltsmodell</td><td>Wikitext</td></tr>
<tr id="mw-pageinfo-robot-policy"><td style="vertical-align: top;">Indizierung durch Suchmaschinen</td><td>Erlaubt</td></tr>
<tr><td style="vertical-align: top;"><a href="/index.php?title=Spezial:Linkliste/Automated_Theory_Formation_in_Pure_Mathematics&amp;hidelinks=1&amp;hidetrans=1" title="Spezial:Linkliste/Automated Theory Formation in Pure Mathematics">Anzahl der Weiterleitungen zu dieser Seite</a></td><td>0</td></tr>
<tr id="mw-pageinfo-contentpage"><td style="vertical-align: top;">Gezählt als eine Inhaltsseite</td><td>Ja</td></tr>
</table>
<h2><span class="mw-headline" id="Seitenschutz">Seitenschutz</span></h2>
<table class="wikitable mw-page-info">
<tr id="mw-restriction-edit"><td style="vertical-align: top;">Bearbeiten</td><td>Alle Benutzer (unbeschränkt)</td></tr>
<tr id="mw-restriction-move"><td style="vertical-align: top;">Verschieben</td><td>Alle Benutzer (unbeschränkt)</td></tr>
</table>
<h2><span class="mw-headline" id="Bearbeitungsgeschichte">Bearbeitungsgeschichte</span></h2>
<table class="wikitable mw-page-info">
<tr id="mw-pageinfo-firstuser"><td style="vertical-align: top;">Seitenersteller</td><td><a href="/index.php?title=Benutzer:Gbachelier" title="Benutzer:Gbachelier" class="mw-userlink">Gbachelier</a> <span class="mw-usertoollinks">(<a href="/index.php?title=Benutzer_Diskussion:Gbachelier&amp;action=edit&amp;redlink=1" class="new" title="Benutzer Diskussion:Gbachelier (Seite nicht vorhanden)">Diskussion</a> | <a href="/index.php?title=Spezial:Beitr%C3%A4ge/Gbachelier" title="Spezial:Beiträge/Gbachelier">Beiträge</a>)</span></td></tr>
<tr id="mw-pageinfo-firsttime"><td style="vertical-align: top;">Datum der Seitenerstellung</td><td><a href="/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics&amp;oldid=1460" title="Automated Theory Formation in Pure Mathematics">11:45, 19. Nov. 2014</a></td></tr>
<tr id="mw-pageinfo-lastuser"><td style="vertical-align: top;">Letzter Bearbeiter</td><td><a href="/index.php?title=Benutzer:Gbachelier" title="Benutzer:Gbachelier" class="mw-userlink">Gbachelier</a> <span class="mw-usertoollinks">(<a href="/index.php?title=Benutzer_Diskussion:Gbachelier&amp;action=edit&amp;redlink=1" class="new" title="Benutzer Diskussion:Gbachelier (Seite nicht vorhanden)">Diskussion</a> | <a href="/index.php?title=Spezial:Beitr%C3%A4ge/Gbachelier" title="Spezial:Beiträge/Gbachelier">Beiträge</a>)</span></td></tr>
<tr id="mw-pageinfo-lasttime"><td style="vertical-align: top;">Datum der letzten Bearbeitung</td><td><a href="/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics&amp;oldid=1460" title="Automated Theory Formation in Pure Mathematics">11:45, 19. Nov. 2014</a></td></tr>
<tr id="mw-pageinfo-edits"><td style="vertical-align: top;">Gesamtzahl der Bearbeitungen</td><td>1</td></tr>
<tr id="mw-pageinfo-authors"><td style="vertical-align: top;">Gesamtzahl unterschiedlicher Autoren</td><td>1</td></tr>
<tr id="mw-pageinfo-recent-edits"><td style="vertical-align: top;">Anzahl der kürzlich erfolgten Bearbeitungen (innerhalb der letzten 90 Tage)</td><td>0</td></tr>
<tr id="mw-pageinfo-recent-authors"><td style="vertical-align: top;">Anzahl unterschiedlicher Autoren der kürzlich erfolgten Bearbeitungen</td><td>0</td></tr>
</table>
</div>					<div class="printfooter">
						Abgerufen von „<a dir="ltr" href="http://de.evo-art.org/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics">http://de.evo-art.org/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics</a>“					</div>
				<div id="catlinks" class="catlinks catlinks-allhidden" data-mw="interface"></div>				<div class="visualClear"></div>
							</div>
		</div>
		<div id="mw-navigation">
			<h2>Navigationsmenü</h2>

			<div id="mw-head">
									<div id="p-personal" role="navigation" class="" aria-labelledby="p-personal-label">
						<h3 id="p-personal-label">Meine Werkzeuge</h3>
						<ul>
							<li id="pt-login"><a href="/index.php?title=Spezial:Anmelden&amp;returnto=Automated+Theory+Formation+in+Pure+Mathematics&amp;returntoquery=action%3Dinfo" title="Sich anzumelden wird gerne gesehen, ist jedoch nicht zwingend erforderlich. [o]" accesskey="o">Anmelden</a></li>						</ul>
					</div>
									<div id="left-navigation">
										<div id="p-namespaces" role="navigation" class="vectorTabs" aria-labelledby="p-namespaces-label">
						<h3 id="p-namespaces-label">Namensräume</h3>
						<ul>
															<li  id="ca-nstab-main" class="selected"><span><a href="/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics"  title="Seiteninhalt anzeigen [c]" accesskey="c">Seite</a></span></li>
															<li  id="ca-talk" class="new"><span><a href="/index.php?title=Diskussion:Automated_Theory_Formation_in_Pure_Mathematics&amp;action=edit&amp;redlink=1"  title="Diskussion zum Seiteninhalt [t]" accesskey="t" rel="discussion">Diskussion</a></span></li>
													</ul>
					</div>
										<div id="p-variants" role="navigation" class="vectorMenu emptyPortlet" aria-labelledby="p-variants-label">
												<h3 id="p-variants-label">
							<span>Varianten</span><a href="#"></a>
						</h3>

						<div class="menu">
							<ul>
															</ul>
						</div>
					</div>
									</div>
				<div id="right-navigation">
										<div id="p-views" role="navigation" class="vectorTabs" aria-labelledby="p-views-label">
						<h3 id="p-views-label">Ansichten</h3>
						<ul>
															<li id="ca-view"><span><a href="/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics" >Lesen</a></span></li>
															<li id="ca-viewsource"><span><a href="/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics&amp;action=edit"  title="Diese Seite ist geschützt. Ihr Quelltext kann dennoch angesehen und kopiert werden. [e]" accesskey="e">Quelltext anzeigen</a></span></li>
															<li id="ca-history" class="collapsible"><span><a href="/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics&amp;action=history"  title="Frühere Versionen dieser Seite [h]" accesskey="h">Versionsgeschichte</a></span></li>
													</ul>
					</div>
										<div id="p-cactions" role="navigation" class="vectorMenu emptyPortlet" aria-labelledby="p-cactions-label">
						<h3 id="p-cactions-label"><span>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
Mehr</span><a href="#"></a></h3>

						<div class="menu">
							<ul>
															</ul>
						</div>
					</div>
										<div id="p-search" role="search">
						<h3>
							<label for="searchInput">Suche</label>
						</h3>

						<form action="/index.php" id="searchform">
							<div id="simpleSearch">
							<input type="search" name="search" placeholder="Suchen" title="de_evolutionary_art_org durchsuchen [f]" accesskey="f" id="searchInput"/><input type="hidden" value="Spezial:Suche" name="title"/><input type="submit" name="fulltext" value="Suchen" title="Suche nach Seiten, die diesen Text enthalten" id="mw-searchButton" class="searchButton mw-fallbackSearchButton"/><input type="submit" name="go" value="Seite" title="Gehe direkt zu der Seite mit genau diesem Namen, falls sie vorhanden ist." id="searchButton" class="searchButton"/>							</div>
						</form>
					</div>
									</div>
			</div>
			<div id="mw-panel">
				<div id="p-logo" role="banner"><a class="mw-wiki-logo" href="/index.php?title=Hauptseite"  title="Hauptseite"></a></div>
						<div class="portal" role="navigation" id='p-navigation'
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
 aria-labelledby='p-navigation-label'>
			<h3 id='p-navigation-label'>Navigation</h3>

			<div class="body">
									<ul>
						<li id="n-mainpage-description"><a href="/index.php?title=Hauptseite" title="Hauptseite besuchen [z]" accesskey="z">Hauptseite</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Begriffe"><a href="/index.php?title=Begriffe_zur_Evolution%C3%A4ren_Kunst">-Begriffe</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Personen"><a href="/index.php?title=Personen_zur_Evolution%C3%A4ren_Kunst">-Personen</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Konferenzen"><a href="/index.php?title=Konferenzen_und_Workshops_zur_Evolution%C3%A4ren_Kunst">-Konferenzen</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Literatur"><a href="/index.php?title=Literatur_zur_Evolution%C3%A4ren_Kunst">-Literatur</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Projekte"><a href="/index.php?title=Projekte_zur_Evolution%C3%A4ren_Kunst">-Projekte</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Software"><a href="/index.php?title=Software_zur_Evolution%C3%A4ren_Kunst">-Software</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Ausstellungen"><a href="/index.php?title=Ausstellungen_zur_Evolution%C3%A4ren_Kunst">-Ausstellungen</a></li>
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
<li id="n--Wettbewerbe"><a href="/index.php?title=Wettbewerbe_zur_Evolution%C3%A4ren_Kunst">-Wettbewerbe</a></li><li id="n-portal"><a href="/index.php?title=Name_wiki:Gemeinschaftsportal" title="Über das Projekt, was du tun kannst, wo was zu finden ist">Gemeinschaftsportal</a></li><li id="n-currentevents"><a href="/index.php?title=Name_wiki:Aktuelle_Ereignisse" title="Hintergrundinformationen zu aktuellen Ereignissen">Aktuelle Ereignisse</a></li><li id="n-recentchanges"><a href="/index.php?title=Spezial:Letzte_%C3%84nderungen" title="Liste der letzten Änderungen in diesem Wiki [r]" accesskey="r">Letzte Änderungen</a></li><li id="n-randompage"><a href="/index.php?title=Spezial:Zuf%C3%A4llige_Seite" title="Zufällige Seite aufrufen [x]" accesskey="x">Zufällige Seite</a></li><li id="n-help"><a href="https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents" title="Hilfeseite anzeigen">Hilfe</a></li>					</ul>
							</div>
		</div>
			<div class="portal" role="navigation" id='p-tb'
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745
 aria-labelledby='p-tb-label'>
			<h3 id='p-tb-label'>Werkzeuge</h3>

			<div class="body">
									<ul>
						<li id="t-whatlinkshere"><a href="/index.php?title=Spezial:Linkliste/Automated_Theory_Formation_in_Pure_Mathematics" title="Liste aller Seiten, die hierher verlinken [j]" accesskey="j">Links auf diese Seite</a></li><li id="t-recentchangeslinked"><a href="/index.php?title=Spezial:%C3%84nderungen_an_verlinkten_Seiten/Automated_Theory_Formation_in_Pure_Mathematics" title="Letzte Änderungen an Seiten, die von hier verlinkt sind [k]" accesskey="k">Änderungen an verlinkten Seiten</a></li><li id="t-specialpages"><a href="/index.php?title=Spezial:Spezialseiten" title="Liste aller Spezialseiten [q]" accesskey="q">Spezialseiten</a></li><li id="t-info"><a href="/index.php?title=Automated_Theory_Formation_in_Pure_Mathematics&amp;action=info" title="Weitere Informationen über diese Seite">Seiten­informationen</a></li>					</ul>
							</div>
		</div>
				</div>
		</div>
		<div id="footer" role="contentinfo">
							<ul id="footer-places">
											<li id="footer-places-privacy"><a href="/index.php?title=Name_wiki:Datenschutz" title="Name wiki:Datenschutz">Datenschutz</a></li>
											<li id="footer-places-about"><a href="/index.php?title=Name_wiki:%C3%9Cber_de_evolutionary_art_org" title="Name wiki:Über de evolutionary art org">Über de_evolutionary_art_org</a></li>
											<li id="footer-places-disclaimer"><a href="/index.php?title=Name_wiki:Impressum" title="Name wiki:Impressum">Haftungsausschluss</a></li>
									</ul>
										<ul id="footer-icons" class="noprint">
											<li id="footer-poweredbyico">
							<a href="//www.mediawiki.org/"><img src="/resources/assets/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" srcset="/resources/assets/poweredby_mediawiki_132x47.png 1.5x, /resources/assets/poweredby_mediawiki_176x62.png 2x" width="88" height="31"/></a>						</li>
									</ul>
						<div style="clear:both"></div>
		</div>
		<script>(window.RLQ=window.RLQ||[]).push(function(){mw.loader.state({"user":"ready","user.groups":"ready"});mw.loader.load(["site","mediawiki.user","mediawiki.hidpi","mediawiki.page.ready","mediawiki.searchSuggest"]);});</script><script>(window.RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgBackendResponseTime":446});});</script>
	</body>
</html>

Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/WebResponse.php on line 42

Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/WebResponse.php on line 42

Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/WebResponse.php on line 42

Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /mnt/web618/b0/56/5203556/htdocs/mediawiki_01/includes/db/Database.php on line 1745