Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387318883> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4387318883 endingPage "450" @default.
- W4387318883 startingPage "393" @default.
- W4387318883 abstract "In Sects. 3.19 and 3.20 , we discussed problems of expressive power of FO. The general formulation of the problem for FO was: given a class F of closed formulae and a class $$mathcal {M}$$ of FO structures, determine properties which can be expressed by formulae in F within structures in $$mathcal {M}$$ . We discussed the problem EVEN and the problem CONN of connectivity for finite graphs showing that these problems cannot be expressed within FO." @default.
- W4387318883 created "2023-10-04" @default.
- W4387318883 creator A5012433970 @default.
- W4387318883 date "2023-01-01" @default.
- W4387318883 modified "2023-10-05" @default.
- W4387318883 title "Beyond FO Within SO" @default.
- W4387318883 cites W1508184538 @default.
- W4387318883 cites W1517150411 @default.
- W4387318883 cites W1555138513 @default.
- W4387318883 cites W1605337124 @default.
- W4387318883 cites W1761552948 @default.
- W4387318883 cites W1970629906 @default.
- W4387318883 cites W1984581643 @default.
- W4387318883 cites W1987027130 @default.
- W4387318883 cites W1991188222 @default.
- W4387318883 cites W1993953362 @default.
- W4387318883 cites W2000222614 @default.
- W4387318883 cites W2013208146 @default.
- W4387318883 cites W2015640848 @default.
- W4387318883 cites W2023552332 @default.
- W4387318883 cites W2034198367 @default.
- W4387318883 cites W2059144726 @default.
- W4387318883 cites W2083398633 @default.
- W4387318883 cites W2083716186 @default.
- W4387318883 cites W2088094394 @default.
- W4387318883 cites W2111302825 @default.
- W4387318883 cites W2119342546 @default.
- W4387318883 cites W2127425663 @default.
- W4387318883 cites W2132541147 @default.
- W4387318883 cites W2152035036 @default.
- W4387318883 cites W2152247837 @default.
- W4387318883 cites W2465950 @default.
- W4387318883 cites W2804589645 @default.
- W4387318883 cites W2806619258 @default.
- W4387318883 cites W2954301182 @default.
- W4387318883 cites W4205178514 @default.
- W4387318883 cites W4233662453 @default.
- W4387318883 cites W4235934183 @default.
- W4387318883 cites W4236835455 @default.
- W4387318883 cites W59373101 @default.
- W4387318883 cites W918671874 @default.
- W4387318883 doi "https://doi.org/10.1007/978-3-031-42034-4_8" @default.
- W4387318883 hasPublicationYear "2023" @default.
- W4387318883 type Work @default.
- W4387318883 citedByCount "0" @default.
- W4387318883 crossrefType "book-chapter" @default.
- W4387318883 hasAuthorship W4387318883A5012433970 @default.
- W4387318883 hasConcept C114614502 @default.
- W4387318883 hasConcept C118615104 @default.
- W4387318883 hasConcept C154945302 @default.
- W4387318883 hasConcept C195818886 @default.
- W4387318883 hasConcept C202444582 @default.
- W4387318883 hasConcept C2777212361 @default.
- W4387318883 hasConcept C33923547 @default.
- W4387318883 hasConcept C41008148 @default.
- W4387318883 hasConcept C80444323 @default.
- W4387318883 hasConceptScore W4387318883C114614502 @default.
- W4387318883 hasConceptScore W4387318883C118615104 @default.
- W4387318883 hasConceptScore W4387318883C154945302 @default.
- W4387318883 hasConceptScore W4387318883C195818886 @default.
- W4387318883 hasConceptScore W4387318883C202444582 @default.
- W4387318883 hasConceptScore W4387318883C2777212361 @default.
- W4387318883 hasConceptScore W4387318883C33923547 @default.
- W4387318883 hasConceptScore W4387318883C41008148 @default.
- W4387318883 hasConceptScore W4387318883C80444323 @default.
- W4387318883 hasLocation W43873188831 @default.
- W4387318883 hasOpenAccess W4387318883 @default.
- W4387318883 hasPrimaryLocation W43873188831 @default.
- W4387318883 hasRelatedWork W1557945163 @default.
- W4387318883 hasRelatedWork W1559102282 @default.
- W4387318883 hasRelatedWork W1560139384 @default.
- W4387318883 hasRelatedWork W1978042415 @default.
- W4387318883 hasRelatedWork W1985218657 @default.
- W4387318883 hasRelatedWork W2007735529 @default.
- W4387318883 hasRelatedWork W2096753949 @default.
- W4387318883 hasRelatedWork W2357111437 @default.
- W4387318883 hasRelatedWork W2742285599 @default.
- W4387318883 hasRelatedWork W4249580765 @default.
- W4387318883 isParatext "false" @default.
- W4387318883 isRetracted "false" @default.
- W4387318883 workType "book-chapter" @default.