Matches in SemOpenAlex for { <https://semopenalex.org/work/W276278312> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W276278312 endingPage "499" @default.
- W276278312 startingPage "466" @default.
- W276278312 abstract "The tableaux for the propositional logic connectives are inherited from the propositional case (see Sect. 2.2). For the equality rules and the rules for first-order quantifiers one has the following." @default.
- W276278312 created "2016-06-24" @default.
- W276278312 creator A5088503155 @default.
- W276278312 date "1995-01-01" @default.
- W276278312 modified "2023-09-27" @default.
- W276278312 title "Beth Tableaux for First-Order Partial Information Ions" @default.
- W276278312 doi "https://doi.org/10.1007/978-3-642-78160-5_16" @default.
- W276278312 hasPublicationYear "1995" @default.
- W276278312 type Work @default.
- W276278312 sameAs 276278312 @default.
- W276278312 citedByCount "0" @default.
- W276278312 crossrefType "book-chapter" @default.
- W276278312 hasAuthorship W276278312A5088503155 @default.
- W276278312 hasConcept C10138342 @default.
- W276278312 hasConcept C114614502 @default.
- W276278312 hasConcept C144133560 @default.
- W276278312 hasConcept C182306322 @default.
- W276278312 hasConcept C33923547 @default.
- W276278312 hasConcept C41008148 @default.
- W276278312 hasConceptScore W276278312C10138342 @default.
- W276278312 hasConceptScore W276278312C114614502 @default.
- W276278312 hasConceptScore W276278312C144133560 @default.
- W276278312 hasConceptScore W276278312C182306322 @default.
- W276278312 hasConceptScore W276278312C33923547 @default.
- W276278312 hasConceptScore W276278312C41008148 @default.
- W276278312 hasLocation W2762783121 @default.
- W276278312 hasOpenAccess W276278312 @default.
- W276278312 hasPrimaryLocation W2762783121 @default.
- W276278312 hasRelatedWork W136740884 @default.
- W276278312 hasRelatedWork W1874342817 @default.
- W276278312 hasRelatedWork W1998807220 @default.
- W276278312 hasRelatedWork W2003342487 @default.
- W276278312 hasRelatedWork W2011672095 @default.
- W276278312 hasRelatedWork W2040259072 @default.
- W276278312 hasRelatedWork W2067757169 @default.
- W276278312 hasRelatedWork W2114433604 @default.
- W276278312 hasRelatedWork W2134228926 @default.
- W276278312 hasRelatedWork W2202962081 @default.
- W276278312 hasRelatedWork W2235995182 @default.
- W276278312 hasRelatedWork W2304246814 @default.
- W276278312 hasRelatedWork W2488721223 @default.
- W276278312 hasRelatedWork W2749091181 @default.
- W276278312 hasRelatedWork W2913260702 @default.
- W276278312 hasRelatedWork W2995984766 @default.
- W276278312 hasRelatedWork W3171015395 @default.
- W276278312 hasRelatedWork W3177620036 @default.
- W276278312 hasRelatedWork W3191320734 @default.
- W276278312 hasRelatedWork W563192622 @default.
- W276278312 isParatext "false" @default.
- W276278312 isRetracted "false" @default.
- W276278312 magId "276278312" @default.
- W276278312 workType "book-chapter" @default.