Difference between revisions of "FTP"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
| Line 1: | Line 1: | ||
{{Event series | {{Event series | ||
|acronym=FTP | |acronym=FTP | ||
| − | |Title=International Workshops on First-Order Theorem Proving | + | |Acronym=FTP |
| − | |has CORE2018 Rank=B | + | |Title =International Workshops on First-Order Theorem Proving |
| − | + | |has CORE2018 Rank=B}} | |
Revision as of 21:23, 3 November 2021
Event series Rating
| median | worst |
|---|---|
|
|
List of all ratings can be found at FTP/rating
Excel series Import and Export
| FTP | |
|---|---|
International Workshops on First-Order Theorem Proving
| |
| CORE Rank (2018): | B |
| Avg. acceptance rate: | 0 |
| Avg. acceptance rate (last 5 years): | 0 |
| Table of Contents | |
International Workshops on First-Order Theorem Proving (FTP) has an average acceptance rate of 0% (last 5 years 0%).
Events
There are 0 events of the series FTP known to this wiki: