Changes

              
    

          
          
        
        

            
f
1
{
f
1
{
            
2
  "access_rights": "",
2
  "access_rights": "",
            
3
  "author": "Tom Horak",
3
  "author": "Tom Horak",
            
4
  "author_email": "",
4
  "author_email": "",
            
5
  "citation": [],
5
  "citation": [],
            
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
            
7
  "defined_in": "",
7
  "defined_in": "",
            
8
  "doi": "10.57702/z5y4f6ci",
8
  "doi": "10.57702/z5y4f6ci",
            
n
9
  "doi_date_published": null,
n
9
  "doi_date_published": "2024-12-03",
            
10
  "doi_publisher": "TIB",
10
  "doi_publisher": "TIB",
            
n
11
  "doi_status": false,
n
11
  "doi_status": true,
            
12
  "domain": "https://service.tib.eu/ldmservice",
12
  "domain": "https://service.tib.eu/ldmservice",
            
13
  "extra_authors": [
13
  "extra_authors": [
            
14
    {
14
    {
            
15
      "extra_author": "Norine Coenen",
15
      "extra_author": "Norine Coenen",
            
16
      "orcid": ""
16
      "orcid": ""
            
17
    },
17
    },
            
18
    {
18
    {
            
19
      "extra_author": "Niklas Metzger",
19
      "extra_author": "Niklas Metzger",
            
20
      "orcid": ""
20
      "orcid": ""
            
21
    },
21
    },
            
22
    {
22
    {
            
23
      "extra_author": "Christopher Hahn",
23
      "extra_author": "Christopher Hahn",
            
24
      "orcid": ""
24
      "orcid": ""
            
25
    },
25
    },
            
26
    {
26
    {
            
27
      "extra_author": "Tamara Flemisch",
27
      "extra_author": "Tamara Flemisch",
            
28
      "orcid": ""
28
      "orcid": ""
            
29
    },
29
    },
            
30
    {
30
    {
            
31
      "extra_author": "Dennis Dimov",
31
      "extra_author": "Dennis Dimov",
            
32
      "orcid": ""
32
      "orcid": ""
            
33
    },
33
    },
            
34
    {
34
    {
            
35
      "extra_author": "Bernd Finkbeiner",
35
      "extra_author": "Bernd Finkbeiner",
            
36
      "orcid": ""
36
      "orcid": ""
            
37
    },
37
    },
            
38
    {
38
    {
            
39
      "extra_author": "Raimund Dachselt",
39
      "extra_author": "Raimund Dachselt",
            
40
      "orcid": ""
40
      "orcid": ""
            
41
    }
41
    }
            
42
  ],
42
  ],
            
43
  "groups": [
43
  "groups": [
            
44
    {
44
    {
            
45
      "description": "",
45
      "description": "",
            
46
      "display_name": "Hyperproperties",
46
      "display_name": "Hyperproperties",
            
47
      "id": "3c09e643-3d2f-4166-9579-2986a784c5f9",
47
      "id": "3c09e643-3d2f-4166-9579-2986a784c5f9",
            
48
      "image_display_url": "",
48
      "image_display_url": "",
            
49
      "name": "hyperproperties",
49
      "name": "hyperproperties",
            
50
      "title": "Hyperproperties"
50
      "title": "Hyperproperties"
            
51
    },
51
    },
            
52
    {
52
    {
            
53
      "description": "",
53
      "description": "",
            
54
      "display_name": "Model Checking",
54
      "display_name": "Model Checking",
            
55
      "id": "021f7e94-5ae8-4ce8-a413-28544bd8a113",
55
      "id": "021f7e94-5ae8-4ce8-a413-28544bd8a113",
            
56
      "image_display_url": "",
56
      "image_display_url": "",
            
57
      "name": "model-checking",
57
      "name": "model-checking",
            
58
      "title": "Model Checking"
58
      "title": "Model Checking"
            
59
    }
59
    }
            
60
  ],
60
  ],
            
61
  "id": "636debca-a71c-494d-a915-2a6c54a99b88",
61
  "id": "636debca-a71c-494d-a915-2a6c54a99b88",
            
62
  "isopen": false,
62
  "isopen": false,
            
63
  "landing_page": "",
63
  "landing_page": "",
            
64
  "license_title": null,
64
  "license_title": null,
            
65
  "link_orkg": "",
65
  "link_orkg": "",
            
66
  "metadata_created": "2024-12-03T09:50:42.369571",
66
  "metadata_created": "2024-12-03T09:50:42.369571",
            
n
67
  "metadata_modified": "2024-12-03T09:50:42.369577",
n
67
  "metadata_modified": "2024-12-03T09:50:42.803141",
            
68
  "name": "visual-analysis-of-hyperproperties",
68
  "name": "visual-analysis-of-hyperproperties",
            
69
  "notes": "The dataset is used for visual analysis of hyperproperties 
69
  "notes": "The dataset is used for visual analysis of hyperproperties 
            
70
for understanding model checking results.",
70
for understanding model checking results.",
            
n
71
  "num_resources": 0,
n
71
  "num_resources": 1,
            
72
  "num_tags": 3,
72
  "num_tags": 3,
            
73
  "organization": {
73
  "organization": {
            
74
    "approval_status": "approved",
74
    "approval_status": "approved",
            
75
    "created": "2024-11-25T12:11:38.292601",
75
    "created": "2024-11-25T12:11:38.292601",
            
76
    "description": "",
76
    "description": "",
            
77
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
77
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
78
    "image_url": "",
78
    "image_url": "",
            
79
    "is_organization": true,
79
    "is_organization": true,
            
80
    "name": "no-organization",
80
    "name": "no-organization",
            
81
    "state": "active",
81
    "state": "active",
            
82
    "title": "No Organization",
82
    "title": "No Organization",
            
83
    "type": "organization"
83
    "type": "organization"
            
84
  },
84
  },
            
85
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
85
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
86
  "private": false,
86
  "private": false,
            
87
  "relationships_as_object": [],
87
  "relationships_as_object": [],
            
88
  "relationships_as_subject": [],
88
  "relationships_as_subject": [],
            
t
89
  "resources": [],
t
89
  "resources": [
            
90
    {
            
91
      "cache_last_updated": null,
            
92
      "cache_url": null,
            
93
      "created": "2024-12-03T10:49:30",
            
94
      "data": [
            
95
        "dcterms:title",
            
96
        "dcterms:accessRights",
            
97
        "dcterms:creator",
            
98
        "dcterms:description",
            
99
        "dcterms:issued",
            
100
        "dcterms:language",
            
101
        "dcterms:identifier",
            
102
        "dcat:theme",
            
103
        "dcterms:type",
            
104
        "dcat:keyword",
            
105
        "dcat:landingPage",
            
106
        "dcterms:hasVersion",
            
107
        "dcterms:format",
            
108
        "mls:task"
            
109
      ],
            
110
      "description": "The json representation of the dataset with its 
            
111
distributions based on DCAT.",
            
112
      "format": "JSON",
            
113
      "hash": "",
            
114
      "id": "18b4e322-f13d-4383-8238-b0d73a0b7c02",
            
115
      "last_modified": "2024-12-03T09:50:42.795576",
            
116
      "metadata_modified": "2024-12-03T09:50:42.805870",
            
117
      "mimetype": "application/json",
            
118
      "mimetype_inner": null,
            
119
      "name": "Original Metadata",
            
120
      "package_id": "636debca-a71c-494d-a915-2a6c54a99b88",
            
121
      "position": 0,
            
122
      "resource_type": null,
            
123
      "size": 729,
            
124
      "state": "active",
            
125
      "url": 
            
126
resource/18b4e322-f13d-4383-8238-b0d73a0b7c02/download/metadata.json",
            
127
      "url_type": "upload"
            
128
    }
            
129
  ],
            
90
  "services_used_list": "",
130
  "services_used_list": "",
            
91
  "state": "active",
131
  "state": "active",
            
92
  "tags": [
132
  "tags": [
            
93
    {
133
    {
            
94
      "display_name": "hyperproperties",
134
      "display_name": "hyperproperties",
            
95
      "id": "23ce6f2d-b719-4429-a78b-8605f5bf9f3a",
135
      "id": "23ce6f2d-b719-4429-a78b-8605f5bf9f3a",
            
96
      "name": "hyperproperties",
136
      "name": "hyperproperties",
            
97
      "state": "active",
137
      "state": "active",
            
98
      "vocabulary_id": null
138
      "vocabulary_id": null
            
99
    },
139
    },
            
100
    {
140
    {
            
101
      "display_name": "model checking",
141
      "display_name": "model checking",
            
102
      "id": "f58f2b5f-29c1-4ead-a7ba-ce056dc5057c",
142
      "id": "f58f2b5f-29c1-4ead-a7ba-ce056dc5057c",
            
103
      "name": "model checking",
143
      "name": "model checking",
            
104
      "state": "active",
144
      "state": "active",
            
105
      "vocabulary_id": null
145
      "vocabulary_id": null
            
106
    },
146
    },
            
107
    {
147
    {
            
108
      "display_name": "visual analysis",
148
      "display_name": "visual analysis",
            
109
      "id": "9b67ada1-76dd-48c0-8e18-bd0f28c3686f",
149
      "id": "9b67ada1-76dd-48c0-8e18-bd0f28c3686f",
            
110
      "name": "visual analysis",
150
      "name": "visual analysis",
            
111
      "state": "active",
151
      "state": "active",
            
112
      "vocabulary_id": null
152
      "vocabulary_id": null
            
113
    }
153
    }
            
114
  ],
154
  ],
            
115
  "title": "Visual Analysis of Hyperproperties",
155
  "title": "Visual Analysis of Hyperproperties",
            
116
  "type": "dataset",
156
  "type": "dataset",
            
117
  "version": ""
157
  "version": ""
            
118
}
158
}