Hierarchies in Inclusion Logic with Lax Semantics (Q2937394): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
Created claim: Wikidata QID (P12): Q129241128, #quickstatements; #temporary_batch_1724910266140 |
||||||||||||||
(One intermediate revision by one other user not shown) | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 6963788 | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1407.03040 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1145/3204521 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: ACM Transactions on Computational Logic / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
24 October 2018
| |||||||||||||||
Property / publication date: 24 October 2018 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q19 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6963788 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2890423770 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
team semantics | |||||||||||||||
Property / zbMATH Keywords: team semantics / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
dependence | |||||||||||||||
Property / zbMATH Keywords: dependence / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
descriptive complexity | |||||||||||||||
Property / zbMATH Keywords: descriptive complexity / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
hierarchy | |||||||||||||||
Property / zbMATH Keywords: hierarchy / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
inclusion | |||||||||||||||
Property / zbMATH Keywords: inclusion / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
independence | |||||||||||||||
Property / zbMATH Keywords: independence / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Wikidata QID | |||||||||||||||
Property / Wikidata QID: Q129241128 / rank | |||||||||||||||
Normal rank |
Latest revision as of 07:46, 29 August 2024
scientific article; zbMATH DE number 6963788
Language | Label | Description | Also known as |
---|---|---|---|
English | Hierarchies in Inclusion Logic with Lax Semantics |
scientific article; zbMATH DE number 6963788 |
Statements
Hierarchies in Inclusion Logic with Lax Semantics (English)
0 references
9 January 2015
0 references
24 October 2018
0 references
team semantics
0 references
dependence
0 references
descriptive complexity
0 references
hierarchy
0 references
inclusion
0 references
independence
0 references