Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567290646> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1567290646 endingPage "55" @default.
- W1567290646 startingPage "46" @default.
- W1567290646 abstract "Two parallel versions of the Connection Method for propositional logic are presented in this paper. The first one has been implemented on the L-machine, which is an asynchronously working, universally programmable multi-microprocessor system." @default.
- W1567290646 created "2016-06-24" @default.
- W1567290646 creator A5034960864 @default.
- W1567290646 creator A5076343183 @default.
- W1567290646 date "1986-01-01" @default.
- W1567290646 modified "2023-09-27" @default.
- W1567290646 title "Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine" @default.
- W1567290646 cites W2009274068 @default.
- W1567290646 cites W2071915991 @default.
- W1567290646 doi "https://doi.org/10.1007/978-3-642-71145-9_4" @default.
- W1567290646 hasPublicationYear "1986" @default.
- W1567290646 type Work @default.
- W1567290646 sameAs 1567290646 @default.
- W1567290646 citedByCount "1" @default.
- W1567290646 crossrefType "book-chapter" @default.
- W1567290646 hasAuthorship W1567290646A5034960864 @default.
- W1567290646 hasAuthorship W1567290646A5076343183 @default.
- W1567290646 hasConcept C102993220 @default.
- W1567290646 hasConcept C13355873 @default.
- W1567290646 hasConcept C14523651 @default.
- W1567290646 hasConcept C173608175 @default.
- W1567290646 hasConcept C199360897 @default.
- W1567290646 hasConcept C206274596 @default.
- W1567290646 hasConcept C2524010 @default.
- W1567290646 hasConcept C2780728072 @default.
- W1567290646 hasConcept C33203268 @default.
- W1567290646 hasConcept C33923547 @default.
- W1567290646 hasConcept C41008148 @default.
- W1567290646 hasConcept C69562738 @default.
- W1567290646 hasConcept C74640108 @default.
- W1567290646 hasConcept C80444323 @default.
- W1567290646 hasConcept C9390403 @default.
- W1567290646 hasConcept C94375191 @default.
- W1567290646 hasConceptScore W1567290646C102993220 @default.
- W1567290646 hasConceptScore W1567290646C13355873 @default.
- W1567290646 hasConceptScore W1567290646C14523651 @default.
- W1567290646 hasConceptScore W1567290646C173608175 @default.
- W1567290646 hasConceptScore W1567290646C199360897 @default.
- W1567290646 hasConceptScore W1567290646C206274596 @default.
- W1567290646 hasConceptScore W1567290646C2524010 @default.
- W1567290646 hasConceptScore W1567290646C2780728072 @default.
- W1567290646 hasConceptScore W1567290646C33203268 @default.
- W1567290646 hasConceptScore W1567290646C33923547 @default.
- W1567290646 hasConceptScore W1567290646C41008148 @default.
- W1567290646 hasConceptScore W1567290646C69562738 @default.
- W1567290646 hasConceptScore W1567290646C74640108 @default.
- W1567290646 hasConceptScore W1567290646C80444323 @default.
- W1567290646 hasConceptScore W1567290646C9390403 @default.
- W1567290646 hasConceptScore W1567290646C94375191 @default.
- W1567290646 hasLocation W15672906461 @default.
- W1567290646 hasOpenAccess W1567290646 @default.
- W1567290646 hasPrimaryLocation W15672906461 @default.
- W1567290646 hasRelatedWork W1169814452 @default.
- W1567290646 hasRelatedWork W143998640 @default.
- W1567290646 hasRelatedWork W1486676288 @default.
- W1567290646 hasRelatedWork W1491380905 @default.
- W1567290646 hasRelatedWork W1528237133 @default.
- W1567290646 hasRelatedWork W1535294925 @default.
- W1567290646 hasRelatedWork W1562090682 @default.
- W1567290646 hasRelatedWork W1580860375 @default.
- W1567290646 hasRelatedWork W1585413685 @default.
- W1567290646 hasRelatedWork W1608521445 @default.
- W1567290646 hasRelatedWork W1879571390 @default.
- W1567290646 hasRelatedWork W1881914301 @default.
- W1567290646 hasRelatedWork W1929503196 @default.
- W1567290646 hasRelatedWork W2125369646 @default.
- W1567290646 hasRelatedWork W2272012919 @default.
- W1567290646 hasRelatedWork W2469849320 @default.
- W1567290646 hasRelatedWork W2491298987 @default.
- W1567290646 hasRelatedWork W290319452 @default.
- W1567290646 hasRelatedWork W3184427385 @default.
- W1567290646 hasRelatedWork W399087396 @default.
- W1567290646 isParatext "false" @default.
- W1567290646 isRetracted "false" @default.
- W1567290646 magId "1567290646" @default.
- W1567290646 workType "book-chapter" @default.