Matches in SemOpenAlex for { <https://semopenalex.org/work/W1924950049> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1924950049 abstract "Equality is fundamental notion of logic and mathematics as a whole. If computer-supported formalization of knowledge is taken into account, sooner or later one should precisely declare the intended meaning/interpretation of the primitive predicate symbol of equality. In the paper we draw some issues how computerized proof-assistants can deal with this notion, and at the same time, we propose solutions, which are not contradictory with mathematical tradition and readability of source code. Our discussion is illustrated with examples taken from the implementation of the MIZAR system." @default.
- W1924950049 created "2016-06-24" @default.
- W1924950049 creator A5048465549 @default.
- W1924950049 creator A5073856205 @default.
- W1924950049 creator A5090121372 @default.
- W1924950049 date "2015-10-11" @default.
- W1924950049 modified "2023-10-12" @default.
- W1924950049 title "Equality in computer proof-assistants" @default.
- W1924950049 cites W122431214 @default.
- W1924950049 cites W1268136390 @default.
- W1924950049 cites W139714950 @default.
- W1924950049 cites W1480405493 @default.
- W1924950049 cites W1494211283 @default.
- W1924950049 cites W1494553505 @default.
- W1924950049 cites W1500907847 @default.
- W1924950049 cites W1510333080 @default.
- W1924950049 cites W1526346179 @default.
- W1924950049 cites W1530333737 @default.
- W1924950049 cites W1541318173 @default.
- W1924950049 cites W1546740898 @default.
- W1924950049 cites W1556028890 @default.
- W1924950049 cites W1557923305 @default.
- W1924950049 cites W1567405928 @default.
- W1924950049 cites W1596666806 @default.
- W1924950049 cites W1608239779 @default.
- W1924950049 cites W1789208025 @default.
- W1924950049 cites W1855754411 @default.
- W1924950049 cites W1938825438 @default.
- W1924950049 cites W1982013717 @default.
- W1924950049 cites W1987699575 @default.
- W1924950049 cites W1996197605 @default.
- W1924950049 cites W1999080232 @default.
- W1924950049 cites W2007976915 @default.
- W1924950049 cites W2028103213 @default.
- W1924950049 cites W2030382045 @default.
- W1924950049 cites W2042059286 @default.
- W1924950049 cites W2060832326 @default.
- W1924950049 cites W2063372153 @default.
- W1924950049 cites W2128085487 @default.
- W1924950049 cites W2146945204 @default.
- W1924950049 cites W2153322387 @default.
- W1924950049 cites W2295728669 @default.
- W1924950049 cites W2502798149 @default.
- W1924950049 cites W2912565176 @default.
- W1924950049 cites W2990995826 @default.
- W1924950049 cites W3149189946 @default.
- W1924950049 cites W826005707 @default.
- W1924950049 cites W965394852 @default.
- W1924950049 doi "https://doi.org/10.15439/2015f229" @default.
- W1924950049 hasPublicationYear "2015" @default.
- W1924950049 type Work @default.
- W1924950049 sameAs 1924950049 @default.
- W1924950049 citedByCount "17" @default.
- W1924950049 countsByYear W19249500492016 @default.
- W1924950049 countsByYear W19249500492017 @default.
- W1924950049 countsByYear W19249500492018 @default.
- W1924950049 countsByYear W19249500492020 @default.
- W1924950049 countsByYear W19249500492021 @default.
- W1924950049 crossrefType "proceedings-article" @default.
- W1924950049 hasAuthorship W1924950049A5048465549 @default.
- W1924950049 hasAuthorship W1924950049A5073856205 @default.
- W1924950049 hasAuthorship W1924950049A5090121372 @default.
- W1924950049 hasBestOaLocation W19249500491 @default.
- W1924950049 hasConcept C199360897 @default.
- W1924950049 hasConcept C41008148 @default.
- W1924950049 hasConcept C80444323 @default.
- W1924950049 hasConceptScore W1924950049C199360897 @default.
- W1924950049 hasConceptScore W1924950049C41008148 @default.
- W1924950049 hasConceptScore W1924950049C80444323 @default.
- W1924950049 hasLocation W19249500491 @default.
- W1924950049 hasOpenAccess W1924950049 @default.
- W1924950049 hasPrimaryLocation W19249500491 @default.
- W1924950049 hasRelatedWork W1527862632 @default.
- W1924950049 hasRelatedWork W2109507516 @default.
- W1924950049 hasRelatedWork W2112962394 @default.
- W1924950049 hasRelatedWork W2118300983 @default.
- W1924950049 hasRelatedWork W2135396778 @default.
- W1924950049 hasRelatedWork W2166247150 @default.
- W1924950049 hasRelatedWork W2740990710 @default.
- W1924950049 hasRelatedWork W3137189469 @default.
- W1924950049 hasRelatedWork W4235530921 @default.
- W1924950049 hasRelatedWork W4243252198 @default.
- W1924950049 isParatext "false" @default.
- W1924950049 isRetracted "false" @default.
- W1924950049 magId "1924950049" @default.
- W1924950049 workType "article" @default.