> ## Documentation Index
> Fetch the complete documentation index at: https://docs.stateset.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Prove a query using classical resolution theorem proving over the current NSR-L…

> **Required scope:** write

**Required scope:** `write`

### Request body

`NSRLProveRequest`

<ParamField body="max_iterations" type="integer">
  Maximum resolution iterations
</ParamField>

<ParamField body="query" type="string" required>
  Query to prove (in NSR-L syntax)
</ParamField>

### Response

`NSRLProveResponse`

<ResponseField name="confidence" type="number (double)" required>
  Confidence (1.0 if proved symbolically)
</ResponseField>

<ResponseField name="explanation" type="string" required>
  Explanation
</ResponseField>

<ResponseField name="proof_steps" type="string[]" required>
  Proof steps (if successful)
</ResponseField>

<ResponseField name="proved" type="boolean" required>
  Whether the query was proved
</ResponseField>

<ResponseField name="time_ms" type="integer (int64)" required>
  Time taken in milliseconds
</ResponseField>

### Status codes

| Code  | Meaning                                            |
| ----- | -------------------------------------------------- |
| `200` | Proof result                                       |
| `401` | Unauthorized — missing or invalid credentials      |
| `403` | Forbidden — the key/token lacks the required scope |
| `429` | Rate limited — see Retry-After / X-RateLimit-Reset |

<RequestExample>
  ```bash cURL theme={null}
  curl --request POST \
    --url 'https://api.nsr.stateset.com/api/v1/nsrl/prove' \
    --header 'X-API-Key: YOUR_API_KEY' \
    --header 'Content-Type: application/json' \
    --data '{
    "max_iterations": 100,
    "query": "mortal(socrates)"
  }'
  ```
</RequestExample>

<ResponseExample>
  ```json 200 theme={null}
  {
    "confidence": 7.5,
    "explanation": "string",
    "proof_steps": [
      "string"
    ],
    "proved": true,
    "time_ms": 250
  }
  ```
</ResponseExample>