9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksahttp_interactions:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/theorem.json
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa encoding: US-ASCII
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa Accept-Encoding:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen 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:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa Strict-Transport-Security:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa - max-age=31536000
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - '"aaf74a4383a6a6aa3f3a84e71b478332444619e6"'
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 - 17EB2B14:59C7:42E93E:56964E36
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Length:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:16:39 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-ams4147-AMS
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 3d94f561edc766722f248777ca6bc84a0790942e
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:21:39 GMT
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa encoding: ASCII-8BIT
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa string: !binary |-
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ewogICJpZCI6ICJodHRwczovL3Jhdy5naXRodWJ1c2VyY29udGVudC5jb20v
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa b250b2h1Yi9vbnRvaHViLWFwaS1qc29uL2RldmVsb3AvdGhlb3JlbS5qc29u
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa IyIsCiAgIiRzY2hlbWEiOiAiaHR0cDovL2pzb24tc2NoZW1hLm9yZy9kcmFm
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa dC0wNC9zY2hlbWEjIiwKICAidGl0bGUiOiAiVGhlb3JlbSIsCiAgImRlc2Ny
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa aXB0aW9uIjogIkEgdGhlb3JlbSBpbnNpZGUgb2YgYW4gb250b2xvZ3kiLAog
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICJ0eXBlIjogIm9iamVjdCIsCiAgIm9uZU9mIjogWwogICAgewogICAgICAi
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa cHJvcGVydGllcyI6IHsKICAgICAgICAiaXJpIjogeyAiJHJlZiI6ICJnZW5l
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa cmljL2RlZmluaXRpb25zLmpzb24jL2RlZmluaXRpb25zL2lyaSIgfSwKICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgICAibmFtZSI6IHsKICAgICAgICAgICJkZXNjcmlwdGlvbiI6ICJUaGUg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa bmFtZSBvZiB0aGUgdGhlb3JlbSDigJQgdXN1YWxseSBhdXRvLWdlbmVyYXRl
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ZC4iLAogICAgICAgICAgInR5cGUiOiAic3RyaW5nIgogICAgICAgIH0sCiAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgICAgImRlZmluaXRpb24iOiB7CiAgICAgICAgICAiZGVzY3JpcHRpb24i
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa OiAiVGhlIGRlZmluaXRpb24gb2YgdGhlIHRoZW9yZW0iLAogICAgICAgICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa InR5cGUiOiAic3RyaW5nIgogICAgICAgIH0sCiAgICAgICAgImV2YWx1YXRp
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa b25fc3RhdGUiOiB7CiAgICAgICAgICAiZGVzY3JpcHRpb24iOiAiVGhlIGN1
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa cnJlbnQgc3RhdGUgb2YgdGhlIHByb29mIGV2YWx1YXRpb24iLAogICAgICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgInR5cGUiOiAic3RyaW5nIiwKICAgICAgICAgICJlbnVtIjogWyAibm90
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X3N0YXJ0ZWRfeWV0IiwgImZhaWxlZCIsICJub19yZXN1bHQiLCAicGVuZGlu
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ZyIsICJwcm9jZXNzaW5nIiwgImRvbmUiIF0KICAgICAgICB9LAogICAgICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICJwcm9vZl9zdGF0dXMiOiB7ICIkcmVmIjogInJlZmVyZW5jZXMuanNvbiMv
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ZGVmaW5pdGlvbnMvcHJvb2Zfc3RhdHVzIiB9LAogICAgICAgICJvbnRvbG9n
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa eSI6IHsgIiRyZWYiOiAicmVmZXJlbmNlcy5qc29uIy9kZWZpbml0aW9ucy9v
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa bnRvbG9neSIgfSwKICAgICAgICAic3ltYm9scyI6IHsKICAgICAgICAgICJk
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ZXNjcmlwdGlvbiI6ICJSZWZlcmVuY2UgdG8gYWxsIHN5bWJvbHMgdXNlZCBp
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa biB0aGlzIHRoZW9yZW0iLAogICAgICAgICAgIiRyZWYiOiAiZ2VuZXJpYy9k
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ZWZpbml0aW9ucy5qc29uIy9kZWZpbml0aW9ucy9pcmkiCiAgICAgICAgfSwK
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgICAgICAicHJvb2ZfYXR0ZW1wdHMiOiB7CiAgICAgICAgICAiZGVzY3Jp
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa cHRpb24iOiAiUmVmZXJlbmNlIHRvIGFsbCBwcm9vZiBhdHRlbXB0cyBmb3Ig
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa dGhpcyB0aGVvcmVtIiwKICAgICAgICAgICIkcmVmIjogImdlbmVyaWMvZGVm
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa aW5pdGlvbnMuanNvbiMvZGVmaW5pdGlvbnMvaXJpIgogICAgICAgIH0KICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgfSwKICAgICAgInJlcXVpcmVkIjogWwogICAgICAgICJpcmkiLAogICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgICJuYW1lIiwKICAgICAgICAiZGVmaW5pdGlvbiIsCiAgICAgICAgImV2
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa YWx1YXRpb25fc3RhdGUiLAogICAgICAgICJwcm9vZl9zdGF0dXMiLAogICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgICJvbnRvbG9neSIsCiAgICAgICAgInN5bWJvbHMiLAogICAgICAgICJw
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa cm9vZl9hdHRlbXB0cyIKICAgICAgXQogICAgfSwKICAgIHsKICAgICAgInBy
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa b3BlcnRpZXMiOiB7CiAgICAgICAgImlyaSI6IHsgIiRyZWYiOiAiZ2VuZXJp
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Yy9kZWZpbml0aW9ucy5qc29uIy9kZWZpbml0aW9ucy9pcmkiIH0sCiAgICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgIm5hbWUiOiB7CiAgICAgICAgICAiZGVzY3JpcHRpb24iOiAiVGhlIG5h
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa bWUgb2YgdGhlIHRoZW9yZW0g4oCUIHVzdWFsbHkgYXV0by1nZW5lcmF0ZWQu
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa IiwKICAgICAgICAgICJ0eXBlIjogInN0cmluZyIKICAgICAgICB9LAogICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgICJkZWZpbml0aW9uIjogewogICAgICAgICAgImRlc2NyaXB0aW9uIjog
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa IlRoZSBkZWZpbml0aW9uIG9mIHRoZSB0aGVvcmVtIiwKICAgICAgICAgICJ0
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa eXBlIjogInN0cmluZyIKICAgICAgICB9LAogICAgICAgICJldmFsdWF0aW9u
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X3N0YXRlIjogewogICAgICAgICAgImRlc2NyaXB0aW9uIjogIlRoZSBjdXJy
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ZW50IHN0YXRlIG9mIHRoZSBwcm9vZiBldmFsdWF0aW9uIiwKICAgICAgICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICJ0eXBlIjogInN0cmluZyIsCiAgICAgICAgICAiZW51bSI6IFsgImRvbmUi
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa LCAiZmFpbGVkIiwgInBlbmRpbmciLCAicHJvY2Vzc2luZyIgXQogICAgICAg
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa IH0sCiAgICAgICAgIl9saW5rcyI6IHsgIiRyZWYiOiAiZ2VuZXJpYy9kZWZp
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa bml0aW9ucy5qc29uIy9kZWZpbml0aW9ucy9fbGlua3MiIH0KICAgICAgfSwK
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa ICAgICAgInJlcXVpcmVkIjogWwogICAgICAgICJpcmkiLAogICAgICAgICJu
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa YW1lIiwKICAgICAgICAiZGVmaW5pdGlvbiIsCiAgICAgICAgImV2YWx1YXRp
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa b25fc3RhdGUiLAogICAgICAgICJfbGlua3MiCiAgICAgIF0KICAgIH0KICBd
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:16:39 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/generic/definitions.json
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa encoding: US-ASCII
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa Accept-Encoding:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen 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"'
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen 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 - 17EB2B23:2C5B:3A6A7C:56964E23
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa Content-Length:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:16:39 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-ams4144-AMS
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 9f8c39af67839d211025030e33cb310086e776c7
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:21:39 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:16:39 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa uri: https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.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:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa Strict-Transport-Security:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen 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 - 17EB2B25:2C57:252DA3:56964E24
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Content-Length:
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa Accept-Ranges:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:16:39 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 1.1 varnish
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - keep-alive
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Served-By:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - cache-ams4141-AMS
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Cache-Hits:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Authorization,Accept-Encoding
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa Access-Control-Allow-Origin:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa X-Fastly-Request-Id:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - 4d45107c0d4e4358fe8334020f1da8df79f0e6c4
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa - Wed, 13 Jan 2016 13:21:39 GMT
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa encoding: UTF-8
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "id": "https://raw.githubusercontent.com/ontohub/ontohub-api-json/develop/references.json#",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "$schema": "http://json-schema.org/draft-04/schema#",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "definitions": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "repository": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a repository",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the repository",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a logic",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the logic",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "ontology": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to an ontology",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the ontology",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "license_model": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a license model",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the license model",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "formality_level": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a formality level",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the formality level",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "ontology_type": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to an ontology type",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the ontology type",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "ontology_version": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to an ontology-version",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The version number of the version of the ontology",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen 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" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "mapping": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a mapping",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the mapping",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "sentence": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a sentence",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the sentence",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a symbol",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the symbol",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "theorem": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The name of the theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "string"
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "proof_attempt": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a proof attempt",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "The number of the proof attempt relative to its theorem",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen 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" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "prover_output": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a prover output",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "properties": {
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa "iri": { "$ref": "generic/definitions.json#/definitions/iri" }
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "proof_attempt_configuration": {
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "description": "Reference to a proof attempt configuration",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa "type": "object",
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen 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"
9940047ec4fd0ef151dfddd4253534eafa8c900cEugen Kuksa http_version:
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksa recorded_at: Wed, 13 Jan 2016 13:16:39 GMT
4d437fdae7216cb88d5f093833b1c0166ef2a53bEugen Kuksarecorded_with: VCR 3.0.0