FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999080232> ?p ?o ?g. }

• W1999080232 endingPage "146" @default.
• W1999080232 startingPage "132" @default.
• W1999080232 created "2016-06-24" @default.
• W1999080232 creator A5031019731 @default.
• W1999080232 creator A5051126529 @default.
• W1999080232 date "2010-07-05" @default.
• W1999080232 modified "2023-09-28" @default.
• W1999080232 title "Automated reasoning and presentation support for formalizing mathematics in Mizar" @default.
• W1999080232 cites W107667974 @default.
• W1999080232 cites W121484200 @default.
• W1999080232 cites W129386291 @default.
• W1999080232 cites W132163350 @default.
• W1999080232 cites W1510333080 @default.
• W1999080232 cites W1512393411 @default.
• W1999080232 cites W1555836633 @default.
• W1999080232 cites W1573992413 @default.
• W1999080232 cites W1576385805 @default.
• W1999080232 cites W1577521907 @default.
• W1999080232 cites W1580616295 @default.
• W1999080232 cites W1584954960 @default.
• W1999080232 cites W1591754771 @default.
• W1999080232 cites W1623345509 @default.
• W1999080232 cites W1780472831 @default.
• W1999080232 cites W1819951499 @default.
• W1999080232 cites W1840071381 @default.
• W1999080232 cites W186663390 @default.
• W1999080232 cites W1965378187 @default.
• W1999080232 cites W1968191809 @default.
• W1999080232 cites W1972647229 @default.
• W1999080232 cites W1987407992 @default.
• W1999080232 cites W1995539874 @default.
• W1999080232 cites W2031525781 @default.
• W1999080232 cites W2033339686 @default.
• W1999080232 cites W2066619351 @default.
• W1999080232 cites W2068880842 @default.
• W1999080232 cites W2078574774 @default.
• W1999080232 cites W2136310957 @default.
• W1999080232 cites W2139783362 @default.
• W1999080232 cites W2143362386 @default.
• W1999080232 cites W2159130720 @default.
• W1999080232 cites W2296232473 @default.
• W1999080232 cites W53115816 @default.
• W1999080232 cites W62033434 @default.
• W1999080232 cites W9936833 @default.
• W1999080232 doi "https://doi.org/10.5555/1894483.1894496" @default.
• W1999080232 hasPublicationYear "2010" @default.
• W1999080232 type Work @default.
• W1999080232 sameAs 1999080232 @default.
• W1999080232 citedByCount "9" @default.
• W1999080232 countsByYear W19990802322012 @default.
• W1999080232 countsByYear W19990802322013 @default.
• W1999080232 countsByYear W19990802322014 @default.
• W1999080232 countsByYear W19990802322015 @default.
• W1999080232 countsByYear W19990802322016 @default.
• W1999080232 crossrefType "journal-article" @default.
• W1999080232 hasAuthorship W1999080232A5031019731 @default.
• W1999080232 hasAuthorship W1999080232A5051126529 @default.
• W1999080232 hasConcept C108710211 @default.
• W1999080232 hasConcept C115903868 @default.
• W1999080232 hasConcept C126838900 @default.
• W1999080232 hasConcept C151730666 @default.
• W1999080232 hasConcept C195344581 @default.
• W1999080232 hasConcept C199360897 @default.
• W1999080232 hasConcept C203265346 @default.
• W1999080232 hasConcept C206880738 @default.
• W1999080232 hasConcept C2524010 @default.
• W1999080232 hasConcept C2777601897 @default.
• W1999080232 hasConcept C2779343474 @default.
• W1999080232 hasConcept C33923547 @default.
• W1999080232 hasConcept C41008148 @default.
• W1999080232 hasConcept C71924100 @default.
• W1999080232 hasConcept C86803240 @default.
• W1999080232 hasConceptScore W1999080232C108710211 @default.
• W1999080232 hasConceptScore W1999080232C115903868 @default.
• W1999080232 hasConceptScore W1999080232C126838900 @default.
• W1999080232 hasConceptScore W1999080232C151730666 @default.
• W1999080232 hasConceptScore W1999080232C195344581 @default.
• W1999080232 hasConceptScore W1999080232C199360897 @default.
• W1999080232 hasConceptScore W1999080232C203265346 @default.
• W1999080232 hasConceptScore W1999080232C206880738 @default.
• W1999080232 hasConceptScore W1999080232C2524010 @default.
• W1999080232 hasConceptScore W1999080232C2777601897 @default.
• W1999080232 hasConceptScore W1999080232C2779343474 @default.
• W1999080232 hasConceptScore W1999080232C33923547 @default.
• W1999080232 hasConceptScore W1999080232C41008148 @default.
• W1999080232 hasConceptScore W1999080232C71924100 @default.
• W1999080232 hasConceptScore W1999080232C86803240 @default.
• W1999080232 hasLocation W19990802321 @default.
• W1999080232 hasOpenAccess W1999080232 @default.
• W1999080232 hasPrimaryLocation W19990802321 @default.
• W1999080232 hasRelatedWork W1494553505 @default.
• W1999080232 hasRelatedWork W1497011154 @default.
• W1999080232 hasRelatedWork W1524804222 @default.
• W1999080232 hasRelatedWork W1532644 @default.
• W1999080232 hasRelatedWork W1557923305 @default.
• W1999080232 hasRelatedWork W1573726182 @default.
• W1999080232 hasRelatedWork W1577521907 @default.
• W1999080232 hasRelatedWork W1623345509 @default.
• W1999080232 hasRelatedWork W1664582451 @default.
• W1999080232 hasRelatedWork W1780472831 @default.

• next