Skip to main navigation
Skip to search
Skip to main content
Israeli Research Community Portal Home
Help & FAQ
Link opens in a new tab
Search content at Israeli Research Community Portal
Home
Profiles
Research units
Research output
Forking and dividing in ntp
2
theories
Artem Chernikov,
Itay Kaplan
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Forking and dividing in ntp
2
theories'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Dependent Type Theory
100%
Tree Property
100%
Simple Theory
100%
Mathematics
Simple Theory
100%
Tree Property
100%