Matches in SemOpenAlex for { <https://semopenalex.org/work/W2971340596> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2971340596 startingPage "15" @default.
- W2971340596 abstract "We study the satisfiability problem for the fluted fragment extended with transitive relations. We show that the logic enjoys the finite model property when only one transitive relation is available. On the other hand we show that the satisfiability problem is undecidable already for the two-variable fragment of the logic in the presence of three transitive relations." @default.
- W2971340596 created "2019-09-05" @default.
- W2971340596 creator A5033570514 @default.
- W2971340596 creator A5084992322 @default.
- W2971340596 date "2019-08-20" @default.
- W2971340596 modified "2023-09-23" @default.
- W2971340596 title "The Fluted Fragment with Transitivity" @default.
- W2971340596 doi "https://doi.org/10.4230/lipics.mfcs.2019.18" @default.
- W2971340596 hasPublicationYear "2019" @default.
- W2971340596 type Work @default.
- W2971340596 sameAs 2971340596 @default.
- W2971340596 citedByCount "2" @default.
- W2971340596 countsByYear W29713405962018 @default.
- W2971340596 countsByYear W29713405962020 @default.
- W2971340596 crossrefType "proceedings-article" @default.
- W2971340596 hasAuthorship W2971340596A5033570514 @default.
- W2971340596 hasAuthorship W2971340596A5084992322 @default.
- W2971340596 hasConcept C111472728 @default.
- W2971340596 hasConcept C11413529 @default.
- W2971340596 hasConcept C114614502 @default.
- W2971340596 hasConcept C118615104 @default.
- W2971340596 hasConcept C128896722 @default.
- W2971340596 hasConcept C129691609 @default.
- W2971340596 hasConcept C132525143 @default.
- W2971340596 hasConcept C138885662 @default.
- W2971340596 hasConcept C153269930 @default.
- W2971340596 hasConcept C168773769 @default.
- W2971340596 hasConcept C189950617 @default.
- W2971340596 hasConcept C191399111 @default.
- W2971340596 hasConcept C192034797 @default.
- W2971340596 hasConcept C203776342 @default.
- W2971340596 hasConcept C22149727 @default.
- W2971340596 hasConcept C2776235265 @default.
- W2971340596 hasConcept C33923547 @default.
- W2971340596 hasConcept C41008148 @default.
- W2971340596 hasConcept C6943359 @default.
- W2971340596 hasConceptScore W2971340596C111472728 @default.
- W2971340596 hasConceptScore W2971340596C11413529 @default.
- W2971340596 hasConceptScore W2971340596C114614502 @default.
- W2971340596 hasConceptScore W2971340596C118615104 @default.
- W2971340596 hasConceptScore W2971340596C128896722 @default.
- W2971340596 hasConceptScore W2971340596C129691609 @default.
- W2971340596 hasConceptScore W2971340596C132525143 @default.
- W2971340596 hasConceptScore W2971340596C138885662 @default.
- W2971340596 hasConceptScore W2971340596C153269930 @default.
- W2971340596 hasConceptScore W2971340596C168773769 @default.
- W2971340596 hasConceptScore W2971340596C189950617 @default.
- W2971340596 hasConceptScore W2971340596C191399111 @default.
- W2971340596 hasConceptScore W2971340596C192034797 @default.
- W2971340596 hasConceptScore W2971340596C203776342 @default.
- W2971340596 hasConceptScore W2971340596C22149727 @default.
- W2971340596 hasConceptScore W2971340596C2776235265 @default.
- W2971340596 hasConceptScore W2971340596C33923547 @default.
- W2971340596 hasConceptScore W2971340596C41008148 @default.
- W2971340596 hasConceptScore W2971340596C6943359 @default.
- W2971340596 hasLocation W29713405961 @default.
- W2971340596 hasOpenAccess W2971340596 @default.
- W2971340596 hasPrimaryLocation W29713405961 @default.
- W2971340596 hasRelatedWork W1564256547 @default.
- W2971340596 hasRelatedWork W1580817032 @default.
- W2971340596 hasRelatedWork W1607294421 @default.
- W2971340596 hasRelatedWork W1918567500 @default.
- W2971340596 hasRelatedWork W1982412713 @default.
- W2971340596 hasRelatedWork W2025535135 @default.
- W2971340596 hasRelatedWork W2121496524 @default.
- W2971340596 hasRelatedWork W2125393357 @default.
- W2971340596 hasRelatedWork W2127363472 @default.
- W2971340596 hasRelatedWork W2246583867 @default.
- W2971340596 hasRelatedWork W2290003855 @default.
- W2971340596 hasRelatedWork W2740128568 @default.
- W2971340596 hasRelatedWork W2781656311 @default.
- W2971340596 hasRelatedWork W2798961084 @default.
- W2971340596 hasRelatedWork W2891863042 @default.
- W2971340596 hasRelatedWork W2951620372 @default.
- W2971340596 hasRelatedWork W2964843467 @default.
- W2971340596 hasRelatedWork W2971991850 @default.
- W2971340596 hasRelatedWork W3010130519 @default.
- W2971340596 hasRelatedWork W3100064989 @default.
- W2971340596 isParatext "false" @default.
- W2971340596 isRetracted "false" @default.
- W2971340596 magId "2971340596" @default.
- W2971340596 workType "article" @default.