Skip to content
Snippets Groups Projects
Select Git revision
  • 4a42f1587fbacb0982b75c00981ccbd626668764
  • master default protected
  • ar5iv-04-2024-dataset
  • grounding-dataset-v1
  • fix-sidebar-gitlab-link
  • 13-collect-a-sigmathling-bibliography-2
  • add_bibliography
  • arxmliv-2018
8 results

development.md

Blame
  • Mock-Scrolls.json 1.67 KiB
    {
      "scrolls": [
        {
          "problemTheory": "bla",
          "solutionTheory": "blubb",
          "label": "Pythagoras",
          "description": "a quadrat  plus b quadrat ist c quadrat",
          "declarations": [
            {
              "name": "PointA",
              "type": "Point",
              "identifier": "URI"
            },
            {
              "name": "PointB",
              "type": "Point",
              "identifier": "URI"
            },
            {
              "name": "PointC",
              "type": "Point",
              "identifier": "URI"
            },
            {
              "name": "Distance AC",
              "type": "Distance",
              "identifier": "URI"
            },
            {
              "name": "Distance BC",
              "type": "Point",
              "identifier": "URI"
            },
            {
              "name": "Angle ACB",
              "type": "Angle",
              "identifier": "URI"
            }
          ]
        },
        {
          "problemTheory": "bla",
          "solutionTheory": "blubb",
          "label": "Tangens",
          "description": "Das standart Beispiel für FRAMEIT",
          "declarations": [
            {
              "name": "PointA",
              "type": "Point",
              "identifier": "URI"
            },
            {
              "name": "PointB",
              "type": "Point",
              "identifier": "URI"
            },
            {
              "name": "PointC",
              "type": "Point",
              "identifier": "URI"
            },
            {
              "name": "Distance AC",
              "type": "Distance",
              "identifier": "URI"
            },
            {
              "name": "Angle CAB",
              "type": "Angle",
              "identifier": "URI"
            },
            {
              "name": "Angle ACB",
              "type": "Angle",
              "identifier": "URI"
            }
          ]
        }
      ]
    }