Question: What was Czechoslovakia previously known as?
Paraphrase: What was Czechoslovakia already known as?
SPARQL (Wikidata):  select distinct ?obj where { wd:Q33946 wdt:P1366 ?obj . ?obj wdt:P31 wd:Q6256 }