INTERACTIVE THEOREM PROVING INC
PORTLAND,
Oregon,
97212
EIN: 83-4089866
Science and Technology Research Institutes, Services
MISSION
To support scientific research and education in the field of interactive, computer assisted theorem proving.
DEMOGRAPHIC
ADDRESS
2537 NE 25TH AVE
97212
COUNTY
multnomah county, OR
IN CARE OF NAME
JOHN W OLEARY
ORGANIZATIONAL OVERVIEW & RANKINGS
INTERACTIVE THEOREM PROVING INC is a based in PORTLAND, OR, focused on Science and Technology Research Institutes, Services causes , specifically Computer Science. Established in August 2020, it operates as an independent corporation and contributions to this organization are tax-deductible .
With total assets of $0.00, this ranks 1,055,365 among 2,656,690 nonprofits nationally (Top 40%), demonstrating moderate financial capacity relative to its peers. At the state level, it stands at 27,753 out of 36,951 organizations in OR (Top 76%).
In multnomah county, OR, the organization ranks 5,786 out of 8,061 nonprofits by assets (Top 72%), while locally in portland, it stands at 3,414 among 8,470 organizations (Top 41%).
The organization reported no revenue in the most recent filing period, placing it at 1,290,219 nationally and 14,776 in OR.
Within its specific NTEE classification (U41 - U: Science and Technology Research Institutes, Services), which includes 666 similar organizations, INTERACTIVE THEOREM PROVING INC ranks 241 in assets (Top 35%) and 205 in revenue (Top 30%).
The organization files a 990 - Required to file Form 990-N - Income less than $25,000 per year and operates on a November fiscal year.
CLASSIFICATION
ORGANIZATION CODE
1: Corporation
DEDUCTIBILITY CODE
1: Contributions are deductible
AFFILIATION CODE
3: Independent
SUBSECTION/CLASSIFICATION CODES
ACTIVITY CODES
N/A
NTEE COMMON CODE
U: Science and Technology Research Institutes, Services
NTEE CODE
U41: Computer Science
FOUNDATION CODE
16: Organization that normally receives no more than one third of its support from gross investment income and unrelated business income and at the same time more than one third of its support from contributions, fees, and gross receipts related to exempt purposes. 509(a)(2)
EXEMPT ORGANIZATION STATUS CODE
N/A
FINANCIALS
TAX PERIOD
12/2022
ACCOUNTING PERIOD
12
INCOME CODE
N/A
INCOME AMOUNT
$0.00
FORM 990 REVENUE AMOUNT
$0.00
RULING DATE
08/2020
ASSET CODE
N/A
ASSET AMOUNT
$0.00
FILING REQUIREMENT CODE
990 - Required to file Form 990-N - Income less than $25,000 per year
PF FILING REQUIREMENT CODE
No 990-PF return
Disclaimer: While we are confident of the accuracy of the information on this page, we encourage you verify the information directly with IRS. The IRS has a toll-free number for this at 1-877-829-5500 or visit www.irs.gov.
Recently Saved Organizations
Click on the save icon from a search results or organization page.
