MIAN

E924205

MIAN is the commonly used abbreviation for the Steklov Institute of Mathematics, a leading Russian research institute specializing in mathematical sciences.

All labels observed (1)

Label Occurrences
MIAN canonical 1

Statements (30)

Predicate Object
instanceOf mathematical institute
mathematical institute
research institute
research institute
abbreviation MIAN NERFINISHED
abbreviationOf Steklov Institute of Mathematics NERFINISHED
affiliation Russian Academy of Sciences NERFINISHED
country Russia
field mathematical sciences
mathematics
focus applied mathematics
theoretical mathematics
fullName Steklov Institute of Mathematics NERFINISHED
languageOfWorkOrName Russian
locatedIn Moscow
namedAfter Vladimir Andreevich Steklov NERFINISHED
parentOrganization Russian Academy of Sciences NERFINISHED
regionServed Russia NERFINISHED
international mathematical community
reputation leading Russian research institute in mathematics
specialization algebra
analysis
applied mathematics
differential equations
geometry
mathematical physics
number theory
probability theory
pure mathematics
type public research institute

How these facts were elicited

The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.

Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10.

# Requirements
- If you don't know the subject at all, return an empty list.
- If the subject is not a named entity, return an empty list.
- Include at least one triple where predicate is "instanceOf".
- Do not get too wordy.
- Separate several objects into multiple triples with one object.
Input
Subject: MIAN
Description of subject: MIAN is the commonly used abbreviation for the Steklov Institute of Mathematics, a leading Russian research institute specializing in mathematical sciences.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.