31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksahttp_interactions:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/proof_attempt.json
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa encoding: US-ASCII
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa Accept-Encoding:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Security-Policy:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - default-src 'none'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Xss-Protection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1; mode=block
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Frame-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Content-Type-Options:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa Strict-Transport-Security:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - '"d3146ae2934c6ece29f254c9dbae6d6dc51be228"'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Type:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - text/plain; charset=utf-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Cache-Control:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - max-age=300
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Github-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - B91F1219:0F85:339715:56964D41
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Length:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:12:33 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-lcy1121-LCY
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - f13024ddcfc00b56d87ecf0930fc50eabd8d0078
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:17:33 GMT
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/proof_attempt.json#",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "$schema": "http://json-schema.org/draft-04/schema#",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "title": "Proof Attempt",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "A proof attempt of a theorem",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The number of this proof attempt in relation to the theorem",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "integer"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "used_prover": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The name of the prover used during this attempt",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "tactic_script": { "$ref": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/tactic_script.json" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "prover_output": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "$ref": "references.json#/definitions/prover_output" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "type": "null" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "time_taken": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The time it took to perform this proof attempt (in seconds)",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": ["integer", "null"]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "evaluation_state": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The current state of the proof evaluation",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "enum": [ "done", "failed", "pending", "processing" ]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "theorem": { "$ref": "references.json#/definitions/theorem" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "proof_attempt_configuration": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "$ref": "references.json#/definitions/proof_attempt_configuration" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa { "type": "null" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "proof_status": { "$ref": "references.json#/definitions/proof_status" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "used_axioms": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to all axioms used for this attempt",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "uri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "used_theorems": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to all theorems used for this attempt",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "uri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "generated_axioms": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to all axioms generated during this attempt",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "uri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "evaluation_state",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "proof_status",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "used_axioms",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "used_theorems",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "generated_axioms"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The number of this proof attempt in relation to the theorem",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "integer"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "used_prover": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The name of the prover used during this attempt",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "time_taken": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The time it took to perform this proof attempt (in seconds)",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": ["integer", "null"]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "evaluation_state": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The current state of the proof evaluation",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "enum": [ "done", "failed", "pending", "processing" ]
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "_links": { "$ref": "generic/definitions.json#/definitions/_links" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "evaluation_state",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:12:33 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa encoding: US-ASCII
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa Accept-Encoding:
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Security-Policy:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - default-src 'none'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Xss-Protection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1; mode=block
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Frame-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Content-Type-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Strict-Transport-Security:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - '"05f33ad940ee1376f5482f623d6f455d035ce811"'
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa Content-Type:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - text/plain; charset=utf-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Cache-Control:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - max-age=300
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Github-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - B91F121B:0F86:38DAC6:56964D41
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa Content-Length:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:12:33 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-lcy1122-LCY
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 404dd42e3df5627e9e3e9c4e78c37759c2acac1d
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:17:33 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "$schema": "http://json-schema.org/draft-04/schema#",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "definitions": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The IRI of a resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "iri",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "pattern": "^https?://([^.]+[.][^.]+)+/.+$"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "A _links-element corresponding to the HAL standard for hypermedia information, adopted from https://github.com/DaveJS/dave.schema.json/blob/master/hal-schema.json",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "additionalProperties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#hal-member",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "IRI of a resource",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "iri"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "pattern": "^(application|audio|example|image|message|model|multipart|text|video)\\/[a-zA-Z0-9!#\\$&\\.\\+-\\^_]{1,127}$",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "format": "mime",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Hints to the media type of a target resource"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "hreflang": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "pattern": "^([a-zA-Z]{2,3}(-[a-zA-Z]{3}(-[a-zA-Z]{3}){0,2})?(-[a-zA-Z]{4})?(-([a-zA-Z]{2}|[0-9]{3}))?(-([a-zA-Z0-9]{5,8}|[0-9][a-zA-Z0-9]{3}))*([0-9A-WY-Za-wy-z](-[a-zA-Z0-9]{2,8}){1,})*(x-[a-zA-Z0-9]{2,8})?)|(x-[a-zA-Z0-9]{2,8})|(en-GB-oed)|(i-ami)|(i-bnn)|(i-default)|(i-enochian)|(i-hak)|(i-klingon)|(i-lux)|(i-mingo)|(i-navajo)|(i-pwn)|(i-tao)|(i-tay)|(i-tsu)|(sgn-BE-FR)|(sgn-BE-NL)|(sgn-CH-DE)|(art-lojban)|(cel-gaulish)|(no-bok)|(no-nyn)|(zh-guoyu)|(zh-hakka)|(zh-min)|(zh-min-nan)|(zh-xiang)$",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Language indication of the target resource"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "additionalProperties": false,
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "required": [
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "array",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "$ref": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json#hal-member"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "uniqueItems": true,
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "additionalProperties": false
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Information on the specific errors that occured",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "array",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Information on one of the specific errors that occured",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:12:34 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/tactic_script.json
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa encoding: US-ASCII
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Accept-Encoding:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Security-Policy:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - default-src 'none'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Xss-Protection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1; mode=block
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Frame-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Content-Type-Options:
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa Strict-Transport-Security:
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - '"daab1974009f77367b5fa9e407d0c944c1096681"'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Type:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - text/plain; charset=utf-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Cache-Control:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - max-age=300
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Github-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - B91F121A:0F87:3C70C9:56964D41
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Length:
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:12:34 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-lcy1122-LCY
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - e59b8b957a613f5b3b7c73add19f8360f1e70ed2
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:17:34 GMT
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/tactic_script.json#",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "$schema": "http://json-schema.org/draft-04/schema#",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "title": "Tactic Script",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "description": "The tactic script generated in a proof attempt",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "type": "object",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "properties": {
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "time_limit": {
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "description": "The time limit in seconds",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "type": "integer"
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "extra_options": {
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "description": "Additional prover-specific options",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "type": "array",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "description": "A prover-specific option",
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "type": "string"
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa "required": [ "time_limit" ]
887279413a918b52381be6e9ee49f0ba240abe36Eugen Kuksa http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:12:34 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.json
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa encoding: US-ASCII
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa Accept-Encoding:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa - gzip;q=1.0,deflate;q=0.6,identity;q=0.3
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Security-Policy:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - default-src 'none'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Xss-Protection:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1; mode=block
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Frame-Options:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Content-Type-Options:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa Strict-Transport-Security:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - '"54fd49ca226b4b028f96117e95333e615b0d1f7b"'
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Type:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - text/plain; charset=utf-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Cache-Control:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - max-age=300
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Github-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - B91F121C:0F83:2628D8:56964D41
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Length:
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:12:35 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-lcy1120-LCY
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 5e1b0b44aa55c64e8ba7a2ef7e26fcc070f3f6bc
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:17:35 GMT
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.json#",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "$schema": "http://json-schema.org/draft-04/schema#",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "definitions": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "repository": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a repository",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the repository",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a logic",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the logic",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "ontology": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to an ontology",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the ontology",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "license_model": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a license model",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the license model",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "formality_level": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a formality level",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the formality level",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "ontology_type": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to an ontology type",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the ontology type",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "ontology_version": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to an ontology-version",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The version number of the version of the ontology",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "integer"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "logic_mapping": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a mapping between logics",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "mapping": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a mapping",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the mapping",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "sentence": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a sentence",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the sentence",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a symbol",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the symbol",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "theorem": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a theorem",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The name of the theorem",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "proof_attempt": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a proof attempt",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "The number of the proof attempt relative to its theorem",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "integer"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "proof_status": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a proof status",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "identifier": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The identifier of the proof status",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the proof status (human-readable)",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "prover_output": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a prover output",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "proof_attempt_configuration": {
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "description": "Reference to a proof attempt configuration",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "type": "object",
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "comment": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to comment",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to a review",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "Reference to a task",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "object",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" },
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "description": "The name of the task",
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "type": "string"
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93Eugen Kuksa http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:12:35 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksarecorded_with: VCR 3.0.0