Matches in SemOpenAlex for { <https://semopenalex.org/work/W1811970153> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1811970153 abstract "A system to implement the block structured storage of PL/CV2 assertions is described. The system allows certain simple logical deductions to be performed automatically. These include deductions involving propositional reasoning, associativity and commutativity of arithmetic operators, and reasoning about equality. The implementation is described at a conceptual level." @default.
- W1811970153 created "2016-06-24" @default.
- W1811970153 creator A5078048495 @default.
- W1811970153 date "1978-04-01" @default.
- W1811970153 modified "2023-09-24" @default.
- W1811970153 title "The Assertion Table System for the PL/CV2 Program Verifier" @default.
- W1811970153 hasPublicationYear "1978" @default.
- W1811970153 type Work @default.
- W1811970153 sameAs 1811970153 @default.
- W1811970153 citedByCount "1" @default.
- W1811970153 crossrefType "journal-article" @default.
- W1811970153 hasAuthorship W1811970153A5078048495 @default.
- W1811970153 hasConcept C111472728 @default.
- W1811970153 hasConcept C11413529 @default.
- W1811970153 hasConcept C114614502 @default.
- W1811970153 hasConcept C118615104 @default.
- W1811970153 hasConcept C138885662 @default.
- W1811970153 hasConcept C159423971 @default.
- W1811970153 hasConcept C183778304 @default.
- W1811970153 hasConcept C199360897 @default.
- W1811970153 hasConcept C202444582 @default.
- W1811970153 hasConcept C2777210771 @default.
- W1811970153 hasConcept C2780586882 @default.
- W1811970153 hasConcept C33923547 @default.
- W1811970153 hasConcept C40422974 @default.
- W1811970153 hasConcept C41008148 @default.
- W1811970153 hasConcept C45235069 @default.
- W1811970153 hasConcept C56949724 @default.
- W1811970153 hasConcept C77088390 @default.
- W1811970153 hasConcept C80444323 @default.
- W1811970153 hasConcept C94375191 @default.
- W1811970153 hasConceptScore W1811970153C111472728 @default.
- W1811970153 hasConceptScore W1811970153C11413529 @default.
- W1811970153 hasConceptScore W1811970153C114614502 @default.
- W1811970153 hasConceptScore W1811970153C118615104 @default.
- W1811970153 hasConceptScore W1811970153C138885662 @default.
- W1811970153 hasConceptScore W1811970153C159423971 @default.
- W1811970153 hasConceptScore W1811970153C183778304 @default.
- W1811970153 hasConceptScore W1811970153C199360897 @default.
- W1811970153 hasConceptScore W1811970153C202444582 @default.
- W1811970153 hasConceptScore W1811970153C2777210771 @default.
- W1811970153 hasConceptScore W1811970153C2780586882 @default.
- W1811970153 hasConceptScore W1811970153C33923547 @default.
- W1811970153 hasConceptScore W1811970153C40422974 @default.
- W1811970153 hasConceptScore W1811970153C41008148 @default.
- W1811970153 hasConceptScore W1811970153C45235069 @default.
- W1811970153 hasConceptScore W1811970153C56949724 @default.
- W1811970153 hasConceptScore W1811970153C77088390 @default.
- W1811970153 hasConceptScore W1811970153C80444323 @default.
- W1811970153 hasConceptScore W1811970153C94375191 @default.
- W1811970153 hasLocation W18119701531 @default.
- W1811970153 hasOpenAccess W1811970153 @default.
- W1811970153 hasPrimaryLocation W18119701531 @default.
- W1811970153 hasRelatedWork W1501686914 @default.
- W1811970153 hasRelatedWork W1549880792 @default.
- W1811970153 hasRelatedWork W1573911295 @default.
- W1811970153 hasRelatedWork W1574652132 @default.
- W1811970153 hasRelatedWork W1871213645 @default.
- W1811970153 hasRelatedWork W1963457827 @default.
- W1811970153 hasRelatedWork W1967267655 @default.
- W1811970153 hasRelatedWork W2008485543 @default.
- W1811970153 hasRelatedWork W2072469293 @default.
- W1811970153 hasRelatedWork W2164594049 @default.
- W1811970153 hasRelatedWork W2339645850 @default.
- W1811970153 hasRelatedWork W247487712 @default.
- W1811970153 hasRelatedWork W2806974647 @default.
- W1811970153 hasRelatedWork W2903059339 @default.
- W1811970153 hasRelatedWork W2973978040 @default.
- W1811970153 hasRelatedWork W3181464862 @default.
- W1811970153 hasRelatedWork W3193129068 @default.
- W1811970153 hasRelatedWork W3207067320 @default.
- W1811970153 hasRelatedWork W99492602 @default.
- W1811970153 hasRelatedWork W2130814083 @default.
- W1811970153 isParatext "false" @default.
- W1811970153 isRetracted "false" @default.
- W1811970153 magId "1811970153" @default.
- W1811970153 workType "article" @default.