Expressing High-Level Scientific Claims with Formal Semantics
Saved in:
| Published in | Proceedings of the 11th Knowledge Capture Conference |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3460210.3493561 |
Cover
| BookMark | eNotj71OwzAYRT3AAIWZ1S8QsOOfOAMDivqDFKkDMFufnc-tpcSNkkDbtyeITFdXRzrSuSc36ZSQkCfOnjmX6kVIzfL5CFkKpfkdeV1f-gHHMaYD3cXDMavxB1v64SOmKYboadVC7EZ6jtORbk5DBzPFDmbqxwdyG6Ad8XHZFfnarD-rXVbvt-_VW51Brs2UlUFgw5hQOSooFYLQknsPBfISnTa-DN45ExowogEXnFe-QZQFM4UzWIgVYf_e79TD9Qxta_shdjBcLWf2r8wuZXYpE7_CQkl5 |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3460210.3493561 |
| DatabaseName | Unpaywall for CDI: Periodical Content Unpaywall |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 10.1145/3460210.3493561 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a268t-9f3ed00352e5a95ea3641cca7e19eb68c9fcbb8fda83dabfbc5cdee47087b8e73 |
| IEDL.DBID | UNPAY |
| IngestDate | Wed Sep 10 05:58:14 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| License | cc-by |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a268t-9f3ed00352e5a95ea3641cca7e19eb68c9fcbb8fda83dabfbc5cdee47087b8e73 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/3460210.3493561 |
| ParticipantIDs | unpaywall_primary_10_1145_3460210_3493561 |
| PublicationTitle | Proceedings of the 11th Knowledge Capture Conference |
| Score | 1.9349657 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Expressing High-Level Scientific Claims with Formal Semantics |
| URI | https://dl.acm.org/doi/pdf/10.1145/3460210.3493561 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA2lPYgXFSsqKjl48ZDabj52c5RiKaKlBwv1tCSzEylu12K3iP56k-1aRbz0nCGEGYaZSd57IeQygtgmTgIDDYYJaQ2zvs1lMTougEc81oGN_DBSw4m4m8ppg0TfXJgs9_vMqyf8kNOLzNWCtvKaCxUGlA4Xmssw8bRUeFRqktZkNL55qnV7_rHcJTurYmE-3k2e_yoeg701oW9ZaQ4GzMhLZ1XaDnz-UWTc7lz7pP1D1qPjTRk6IA0sDknA1lUI1-KZBigHuw_gIFplcoUOov3czOZLGu5h6SA0rn4V597PM1i2yWRw-9gfsvqnBGYilZRMO45ZJW2K0miJhivR87GJsafRqgS0A-tjkpmEZ8Y6CxIyRBF3Ex8qjPkRaRavBR4TKlyPJ2i6yI3PZ8i0NQY5-LJuQUVR94RcbZyZLtaKGOma3SzT2hVp7YrTLWzPSLN8W-G5L_Glvahj-gWtkaUB |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA2lPYgXFSsqKjl48ZDabj52c5RiKaKlBwv1tCSzEylu12K3iP56k-1aRbz0nCGEGYaZSd57IeQygtgmTgIDDYYJaQ2zvs1lMTougEc81oGN_DBSw4m4m8ppg0TfXJgs9_vMqyf8kNOLzNWCtvKaCxUGlA4Xmssw8bRUeFRqktZkNL55qnV7_rHcJTurYmE-3k2e_yoeg701oW9ZaQ4GzMhLZ1XaDnz-UWTc7lz7pP1D1qPjTRk6IA0sDknA1lUI1-KZBigHuw_gIFplcoUOov3czOZLGu5h6SA0rn4V597PM1i2yWRw-9gfsvqnBGYilZRMO45ZJW2K0miJhivR87GJsafRqgS0A-tjkpmEZ8Y6CxIyRBF3Ex8qjPkRaRavBR4TKlyPJ2i6yI3PZ8i0NQY5-LJuQUVR94RcbZyZLtaKGOma3SzT2hVp7YrTLWzPSLN8W-G5L_Glvahj-gWtkaUB |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+11th+Knowledge+Capture+Conference&rft.atitle=Expressing+High-Level+Scientific+Claims+with+Formal+Semantics&rft_id=info:doi/10.1145%2F3460210.3493561&rft.externalDocID=10.1145%2F3460210.3493561 |