{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2020-09-22T13:55:54.844308+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "modusponens.tar.gz": { "checksum": "md5:03ca3066671697b57c0ec7743199d56c", "ext": "gz", "id": "c946a339-09bc-4a7b-adb2-c1ac7b1191f2", "key": "modusponens.tar.gz", "metadata": null, "mimetype": "application/gzip", "size": 4029572 } }, "order": [], "total_bytes": 4029572 }, "id": "4043646", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/4043646/access", "access_links": "https://zenodo.org/api/records/4043646/access/links", "access_request": "https://zenodo.org/api/records/4043646/access/request", "access_users": "https://zenodo.org/api/records/4043646/access/users", "archive": "https://zenodo.org/api/records/4043646/files-archive", "archive_media": "https://zenodo.org/api/records/4043646/media-files-archive", "communities": "https://zenodo.org/api/records/4043646/communities", "communities-suggestions": "https://zenodo.org/api/records/4043646/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.4043646", "draft": "https://zenodo.org/api/records/4043646/draft", "files": "https://zenodo.org/api/records/4043646/files", "latest": "https://zenodo.org/api/records/4043646/versions/latest", "latest_html": "https://zenodo.org/records/4043646/latest", "media_files": "https://zenodo.org/api/records/4043646/media-files", "parent": "https://zenodo.org/api/records/4043645", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.4043645", "parent_html": "https://zenodo.org/records/4043645", "requests": "https://zenodo.org/api/records/4043646/requests", "reserve_doi": "https://zenodo.org/api/records/4043646/draft/pids/doi", "self": "https://zenodo.org/api/records/4043646", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.4043646", "self_html": "https://zenodo.org/records/4043646", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:4043646/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:4043646/sequence/default", "versions": "https://zenodo.org/api/records/4043646/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "additional_descriptions": [ { "description": "This work has been sponsored by Hong Kong Research Grant Council projects number 17210617 and 17209519, Flemish Fund for Scientific Research project number G073816N and KU Leuven project number C14/20/079.", "type": { "id": "notes", "title": { "de": "Anmerkungen", "en": "Notes" } } } ], "creators": [ { "affiliations": [ { "name": "KU Leuven" } ], "person_or_org": { "family_name": "Koar Marntirosian", "name": "Koar Marntirosian", "type": "personal" } }, { "affiliations": [ { "name": "KU Leuven" } ], "person_or_org": { "family_name": "Tom Schrijvers", "identifiers": [ { "identifier": "0000-0001-8771-5559", "scheme": "orcid" } ], "name": "Tom Schrijvers", "type": "personal" } }, { "affiliations": [ { "name": "University of Hong Kong" } ], "person_or_org": { "family_name": "Bruno Oliveira", "identifiers": [ { "identifier": "0000-0002-8632-2291", "scheme": "orcid" } ], "name": "Bruno Oliveira", "type": "personal" } }, { "affiliations": [ { "name": "Tweag I/O" } ], "person_or_org": { "family_name": "Georgios Karachalias", "name": "Georgios Karachalias", "type": "personal" } } ], "description": "
This artifact consists of supplementary material for the article "Resolution as Intersection Subtyping via Modus Ponens".
\n\nIt contains:
\n\n