Izmantojam 2020 Mathematics Subject Classification (MSC2020), lai kategorizētu matemātikas uzdevumus un jēdzienus.
Skatīt 2020 Mathematics Subject Classification
RDF Struktūra:
Šī ontoloģija aplūko Risinājumu kā pirmās klases objektu jeb resursu, nevis tikai kā Uzdevuma īpašības vērtību.
hasDomainTopic → "Veselo skaitļu vienādojumi"hasStatement → "Atrast visus \(x, y \in \mathbb{Z}\)..."hasSolution → Solution_Alpha (Mezgls)hasSolution → Solution_Beta (Mezgls)requiresResult → "Fermā mazā teorēma"employsStrategy → "Pierādījums no pretējā"difficultyLevel → "Augsts"