Matches in Wikidata for { <http://www.wikidata.org/entity/Q119520901> ?p ?o ?g. }
Showing items 1 to 30 of
30
with 100 items per page.
- Q119520901 description "artículu científicu espublizáu en 2013" @default.
- Q119520901 description "scientific article published in 2013" @default.
- Q119520901 description "наукова стаття, опублікована у 2013" @default.
- Q119520901 name "A Macro for Reusing Abstract Functions and Theorems" @default.
- Q119520901 type Item @default.
- Q119520901 label "A Macro for Reusing Abstract Functions and Theorems" @default.
- Q119520901 prefLabel "A Macro for Reusing Abstract Functions and Theorems" @default.
- Q119520901 P1433 Q119520901-A378ADE4-BC08-4368-8554-0618CF103048 @default.
- Q119520901 P1476 Q119520901-54AA24C6-F680-4E87-AE4E-40A17576322F @default.
- Q119520901 P2093 Q119520901-430F3FFD-63C9-46C6-B812-7C5CB03EA26E @default.
- Q119520901 P2093 Q119520901-96264AAD-EA16-4DB7-9154-37BF8C10D52C @default.
- Q119520901 P2093 Q119520901-9F379932-9F21-423B-A770-CF76BC5396F2 @default.
- Q119520901 P304 Q119520901-D5A6A030-06E2-4B43-85E6-4152CDF93630 @default.
- Q119520901 P31 Q119520901-581729FB-77B3-4A3E-ABD7-63ECB51EEA04 @default.
- Q119520901 P356 Q119520901-70D86F46-D82B-4412-BB18-D351444FB14C @default.
- Q119520901 P478 Q119520901-2C9B9ECB-B467-4ADC-A847-5130FDD90B20 @default.
- Q119520901 P577 Q119520901-B845423C-FF72-4B2B-93FE-F9B65EC5044B @default.
- Q119520901 P818 Q119520901-2a22cce7-07f2-4da2-95dc-e840e4c88554 @default.
- Q119520901 P356 EPTCS.114.3 @default.
- Q119520901 P1433 Q5358295 @default.
- Q119520901 P1476 "A Macro for Reusing Abstract Functions and Theorems" @default.
- Q119520901 P2093 "Bernard van Gastel" @default.
- Q119520901 P2093 "Julien Schmaltz" @default.
- Q119520901 P2093 "Sebastiaan J. C. Joosten" @default.
- Q119520901 P304 "29-41" @default.
- Q119520901 P31 Q13442814 @default.
- Q119520901 P356 "10.4204/EPTCS.114.3" @default.
- Q119520901 P478 "114" @default.
- Q119520901 P577 "2013-04-26T00:00:00Z" @default.
- Q119520901 P818 "1304.7875" @default.