Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893946314> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2893946314 abstract "Visualization of logical formulas for classical propositional calculus gains a new meaning in the context of a huge development of SAT solvers which find solutions of satisfiability problems of bigger and more complex tasks including the ones of industrial meaning. The aim of this work is to create, using modern IT tools, a coherent and widely accessible system in a form of web application, which will be able to provide a coopertive system, as well as will help to visualize, analyze and transform logical formulas. The system itself is now in the initial, however, mature implementation phase. It is open for new ideas and methods. New functionalities have already been introduced but there are plans to create the new ones." @default.
- W2893946314 created "2018-10-05" @default.
- W2893946314 creator A5078501990 @default.
- W2893946314 date "2018-09-26" @default.
- W2893946314 modified "2023-10-03" @default.
- W2893946314 title "Visualization of logical formulas" @default.
- W2893946314 cites W1561430286 @default.
- W2893946314 cites W1950282396 @default.
- W2893946314 cites W2010166520 @default.
- W2893946314 cites W2403558346 @default.
- W2893946314 cites W2415170901 @default.
- W2893946314 cites W2520850640 @default.
- W2893946314 cites W2802516718 @default.
- W2893946314 cites W2894352027 @default.
- W2893946314 cites W48373318 @default.
- W2893946314 doi "https://doi.org/10.15439/2018f264" @default.
- W2893946314 hasPublicationYear "2018" @default.
- W2893946314 type Work @default.
- W2893946314 sameAs 2893946314 @default.
- W2893946314 citedByCount "1" @default.
- W2893946314 countsByYear W28939463142020 @default.
- W2893946314 crossrefType "proceedings-article" @default.
- W2893946314 hasAuthorship W2893946314A5078501990 @default.
- W2893946314 hasBestOaLocation W28939463141 @default.
- W2893946314 hasConcept C107457646 @default.
- W2893946314 hasConcept C111472728 @default.
- W2893946314 hasConcept C115903868 @default.
- W2893946314 hasConcept C138885662 @default.
- W2893946314 hasConcept C151730666 @default.
- W2893946314 hasConcept C154945302 @default.
- W2893946314 hasConcept C168773769 @default.
- W2893946314 hasConcept C199360897 @default.
- W2893946314 hasConcept C21847791 @default.
- W2893946314 hasConcept C2779343474 @default.
- W2893946314 hasConcept C2780876879 @default.
- W2893946314 hasConcept C36464697 @default.
- W2893946314 hasConcept C41008148 @default.
- W2893946314 hasConcept C69562738 @default.
- W2893946314 hasConcept C80444323 @default.
- W2893946314 hasConcept C86803240 @default.
- W2893946314 hasConceptScore W2893946314C107457646 @default.
- W2893946314 hasConceptScore W2893946314C111472728 @default.
- W2893946314 hasConceptScore W2893946314C115903868 @default.
- W2893946314 hasConceptScore W2893946314C138885662 @default.
- W2893946314 hasConceptScore W2893946314C151730666 @default.
- W2893946314 hasConceptScore W2893946314C154945302 @default.
- W2893946314 hasConceptScore W2893946314C168773769 @default.
- W2893946314 hasConceptScore W2893946314C199360897 @default.
- W2893946314 hasConceptScore W2893946314C21847791 @default.
- W2893946314 hasConceptScore W2893946314C2779343474 @default.
- W2893946314 hasConceptScore W2893946314C2780876879 @default.
- W2893946314 hasConceptScore W2893946314C36464697 @default.
- W2893946314 hasConceptScore W2893946314C41008148 @default.
- W2893946314 hasConceptScore W2893946314C69562738 @default.
- W2893946314 hasConceptScore W2893946314C80444323 @default.
- W2893946314 hasConceptScore W2893946314C86803240 @default.
- W2893946314 hasLocation W28939463141 @default.
- W2893946314 hasOpenAccess W2893946314 @default.
- W2893946314 hasPrimaryLocation W28939463141 @default.
- W2893946314 hasRelatedWork W1518732241 @default.
- W2893946314 hasRelatedWork W1557792677 @default.
- W2893946314 hasRelatedWork W1567162294 @default.
- W2893946314 hasRelatedWork W1584683391 @default.
- W2893946314 hasRelatedWork W1983015303 @default.
- W2893946314 hasRelatedWork W2010348939 @default.
- W2893946314 hasRelatedWork W2235012708 @default.
- W2893946314 hasRelatedWork W2260539212 @default.
- W2893946314 hasRelatedWork W2329062030 @default.
- W2893946314 hasRelatedWork W236275660 @default.
- W2893946314 hasRelatedWork W2412050556 @default.
- W2893946314 hasRelatedWork W2500144871 @default.
- W2893946314 hasRelatedWork W2519883943 @default.
- W2893946314 hasRelatedWork W2537972668 @default.
- W2893946314 hasRelatedWork W2566765862 @default.
- W2893946314 hasRelatedWork W2758705146 @default.
- W2893946314 hasRelatedWork W2794592811 @default.
- W2893946314 hasRelatedWork W2889026161 @default.
- W2893946314 hasRelatedWork W3177097533 @default.
- W2893946314 hasRelatedWork W781813181 @default.
- W2893946314 isParatext "false" @default.
- W2893946314 isRetracted "false" @default.
- W2893946314 magId "2893946314" @default.
- W2893946314 workType "article" @default.