hol-theorem-prover.org

Full whois record

{
  "rdapConformance": [
    "rdap_level_0",
    "icann_rdap_response_profile_1",
    "icann_rdap_technical_implementation_guide_1",
    "redacted"
  ],
  "notices": [
    {
      "title": "Terms of Service",
      "description": [
        "Public Interest Registry provides this RDAP service for informational purposes only, and to assist persons in obtaining information about or related to a domain name registration record. Public Interest Registry does not guarantee its accuracy. Users accessing the Public Interest Registry RDAP service agree to use the data only for lawful purposes, and under no circumstances may this data be used to: a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the registrar's own existing customers and b) enable high volume, automated, electronic processes that send queries or data to the systems of Public Interest Registry or any ICANN-accredited registrar, except as reasonably necessary to register domain names or modify existing registrations. When using the Public Interest Registry RDAP service, please consider the following: the RDAP service is not a replacement for standard EPP commands to the SRS service. RDAP is not considered authoritative for registered domain objects. The RDAP service may be scheduled for downtime during production or OT&E maintenance periods. Queries to the RDAP services are throttled. If too many queries are received from a single IP address within a specified time, the service will begin to reject further queries for a period of time to prevent disruption of RDAP service access. Abuse of the RDAP system through data mining is mitigated by detecting and limiting bulk query access from single sources. Where applicable, the presence of a [Non-Public Data] tag indicates that such data is not made publicly available due to applicable data privacy laws or requirements. Should you wish to contact the registrant, please refer to the RDAP records available through the registrar URL listed above. Access to non-public data may be provided, upon request, where it can be reasonably confirmed that the requester holds a specific legitimate interest and a proper legal basis for accessing the withheld data. Access to this data can be requested by submitting a request to [email protected]. Public Interest Registry Inc. reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy."
      ],
      "links": [
        {
          "value": "https://rdap.publicinterestregistry.org/rdap/domain/hol-theorem-prover.org",
          "rel": "terms-of-service",
          "href": "https://thenew.org/org-people/about-pir/policies/",
          "type": "text/html"
        }
      ]
    },
    {
      "title": "Status Codes",
      "description": [
        "For more information on domain status codes, please visit https://icann.org/epp"
      ],
      "links": [
        {
          "value": "https://rdap.publicinterestregistry.org/rdap/domain/hol-theorem-prover.org",
          "rel": "glossary",
          "href": "https://icann.org/epp",
          "type": "application/rdap+json"
        }
      ]
    },
    {
      "title": "RDDS Inaccuracy Complaint Form",
      "description": [
        "URL of the ICANN RDDS Inaccuracy Complaint Form: https://icann.org/wicf"
      ],
      "links": [
        {
          "value": "https://rdap.publicinterestregistry.org/rdap/domain/hol-theorem-prover.org",
          "rel": "help",
          "href": "https://icann.org/wicf",
          "type": "application/rdap+json"
        }
      ]
    }
  ],
  "ldhName": "hol-theorem-prover.org",
  "unicodeName": "hol-theorem-prover.org",
  "nameservers": [
    {
      "ldhName": "paul.ns.cloudflare.com",
      "unicodeName": "paul.ns.cloudflare.com",
      "objectClassName": "nameserver",
      "handle": "b1010ec4e216454f8cc558421f4a6c51-LROR",
      "status": [
        "associated"
      ]
    },
    {
      "ldhName": "raquel.ns.cloudflare.com",
      "unicodeName": "raquel.ns.cloudflare.com",
      "objectClassName": "nameserver",
      "handle": "ff86ead5f5a5409a95d9fd97d8b2d02a-LROR",
      "status": [
        "associated"
      ]
    }
  ],
  "secureDNS": {
    "delegationSigned": false,
    "maxSigLife": 1
  },
  "redacted": [
    {
      "name": {
        "type": "Registry Domain ID"
      },
      "prePath": "$.handle",
      "pathLang": "jsonpath",
      "method": "removal"
    }
  ],
  "objectClassName": "domain",
  "status": [
    "client transfer prohibited",
    "client update prohibited"
  ],
  "events": [
    {
      "eventAction": "expiration",
      "eventDate": "2026-08-03T08:04:17.88Z"
    },
    {
      "eventAction": "registration",
      "eventDate": "2015-08-03T08:04:17.88Z"
    },
    {
      "eventAction": "last changed",
      "eventDate": "2026-06-22T00:16:32.44Z"
    },
    {
      "eventAction": "last update of RDAP database",
      "eventDate": "2026-08-02T07:07:56.3Z"
    }
  ],
  "entities": [
    {
      "vcardArray": [
        "vcard",
        [
          [
            "version",
            {},
            "text",
            "4.0"
          ],
          [
            "fn",
            {},
            "text",
            "Tucows Domains Inc."
          ]
        ]
      ],
      "roles": [
        "registrar"
      ],
      "publicIds": [
        {
          "type": "IANA Registrar ID",
          "identifier": "69"
        }
      ],
      "objectClassName": "entity",
      "handle": "69",
      "entities": [
        {
          "vcardArray": [
            "vcard",
            [
              [
                "version",
                {},
                "text",
                "4.0"
              ],
              [
                "fn",
                {},
                "text",
                ""
              ],
              [
                "tel",
                {
                  "type": "voice"
                },
                "uri",
                "tel:+1.4165350123"
              ],
              [
                "email",
                {},
                "text",
                "[email protected]"
              ]
            ]
          ],
          "roles": [
            "abuse"
          ],
          "objectClassName": "entity"
        }
      ],
      "links": [
        {
          "value": "https://rdap.publicinterestregistry.org/rdap/entity/69",
          "rel": "self",
          "href": "https://rdap.publicinterestregistry.org/rdap/entity/69",
          "type": "application/rdap+json"
        },
        {
          "value": "https://opensrs.rdap.tucows.com/",
          "rel": "about",
          "href": "https://opensrs.rdap.tucows.com/",
          "type": "application/rdap+json"
        }
      ]
    }
  ],
  "links": [
    {
      "value": "https://rdap.publicinterestregistry.org/rdap/domain/hol-theorem-prover.org",
      "rel": "related",
      "href": "https://opensrs.rdap.tucows.com/domain/hol-theorem-prover.org",
      "type": "application/rdap+json"
    },
    {
      "value": "https://rdap.publicinterestregistry.org/rdap/domain/hol-theorem-prover.org",
      "rel": "self",
      "href": "https://rdap.publicinterestregistry.org/rdap/domain/hol-theorem-prover.org",
      "type": "application/rdap+json"
    }
  ]
}