iltp.de bewertung und analyse
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | ILTP Library - Benchmarking Theorem Provers for Intuitionistic |
| Description | The ILTP The ILTP Library --> Benchmarking Theorem Provers for Intuitionistic Logic Welcome Benchmark Problems Provers and Results Contact Welcome to the ILTP |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 194.117.254.54 |
| Location | Germany |
Mehr zu entdecken
iltp.de bewertung
|
Euro€1,102
Zuletzt aktualisiert: 2022-10-08 21:14:08
iltp.de hat Semrush globalen Rang von 41,083,689. iltp.de hat einen geschätzten Wert von € 1,102, basierend auf seinen geschätzten Werbeeinnahmen. iltp.de empfängt jeden Tag ungefähr 551 einzelne Besucher. Sein Webserver befindet sich in Germany mit der IP-Adresse 194.117.254.54. Laut SiteAdvisor ist iltp.de sicher zu besuchen. |
Verkehr & Wertschätzungen
| Kauf-/Verkaufswert | Euro€1,102 |
| Tägliche Werbeeinnahmen | Euro€19,285 |
| Monatlicher Anzeigenumsatz | Euro€6,612 |
| Jährliche Werbeeinnahmen | Euro€551 |
| Tägliche eindeutige Besucher | 551 |
| Hinweis: Alle Traffic- und Einnahmenwerte sind Schätzungen. | |
DNS Records
| Host | Type | TTL | Data |
| iltp.de. | A | 3600 | IP: 194.117.254.54 |
| iltp.de. | AAAA | 3600 | IPV6: 2a05:d580:0:1337::36 |
| iltp.de. | NS | 3600 | NS Record: ns4.powerdns.de. |
| iltp.de. | NS | 3600 | NS Record: ns3.powerdns.de. |
| iltp.de. | MX | 3600 | MX Record: 10 mail.ud14.udmedia.de. |
HtmlToTextCheckTime:2022-10-08 21:14:08
| The ILTP Library --> Benchmarking Theorem Provers for Intuitionistic Logic Welcome Benchmark Problems Provers and Results Contact Welcome to the ILTP Library The Intuitionistic Logic Theorem Proving (ILTP) library provides a platform for testing and benchmarking automated theorem proving (ATP) systems for first-order and propositional intuitionistic logic. It includes two problem collections for first-order and propositional intuitionistic ATP systems and tools for converting the problems into the input syntax of some existing intuitionistic ATP systems. It also includes information about currently available ATP systems for intuitionistic logic and their performance results on the problems in the ILTP library. Please contact us for further information or if you want to submit new benchmark problems or performance results. Features of the ILTP Library: About 2800 propositional and first-order benchmark problems in a standardized syntax. Information about the intuitionistic status |
HTTP Headers
HTTP/1.1 200 OK Date: Sun, 30 Jan 2022 09:59:21 GMT Server: Apache Upgrade: h2 Connection: Upgrade Last-Modified: Wed, 13 Oct 2021 11:49:20 GMT ETag: "37ad-5ce3a8d78306e" Accept-Ranges: bytes Content-Length: 14253 Content-Type: text/html |