resolvedIn

P19807 predicate

Indicates that an issue, conflict, or process is brought to a conclusion or solution within a specified context, medium, or timeframe.

Subject	Object
Burali-Forti paradox	Morse–Kelley set theory by class–set distinction →
Burali-Forti paradox	Zermelo–Fraenkel set theory by treating the collection of all ordinals as a proper class →
Burali-Forti paradox	von Neumann–Bernays–Gödel set theory by class–set distinction →
Treaty of Osimo	Italian–Yugoslav border in the northern Adriatic ("resolved") →