Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture (Slides)
- user warning: Table './jem/sessions' is marked as crashed and should be repaired
query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231492980 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
- user warning: Table './jem/sessions' is marked as crashed and should be repaired
query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231492980 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
Slides of http://www.jem-thematic.net/en/node/842
Publication_details: Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel: 3rd Workshop on Semantic Wikis, European Semantic Web Conference 2008 Author(s): Christoph Lange, Sean McLaughlin, Florian Rabe Nature: Slide presentation
- 940 lectures
|
