Matches in Wikidata for { <http://www.wikidata.org/entity/Q57253071> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q57253071 description "article scientifique publié en 2002" @default.
- Q57253071 description "im Oktober 2002 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57253071 description "wetenschappelijk artikel" @default.
- Q57253071 description "наукова стаття, опублікована в жовтні 2002" @default.
- Q57253071 name "Streams and strings in formal proofs" @default.
- Q57253071 name "Streams and strings in formal proofs" @default.
- Q57253071 type Item @default.
- Q57253071 label "Streams and strings in formal proofs" @default.
- Q57253071 label "Streams and strings in formal proofs" @default.
- Q57253071 prefLabel "Streams and strings in formal proofs" @default.
- Q57253071 prefLabel "Streams and strings in formal proofs" @default.
- Q57253071 P1433 Q57253071-901802B4-5208-4099-8450-A2BA0A732AC1 @default.
- Q57253071 P1476 Q57253071-DB7C0970-4EC8-46E6-895C-2A8E8EA81396 @default.
- Q57253071 P2860 Q57253071-15DED329-94EF-4102-8C75-C3CA10A6BBEE @default.
- Q57253071 P2860 Q57253071-5032545A-4681-47FE-A730-6655634B0157 @default.
- Q57253071 P2860 Q57253071-8ACC77AF-1581-4443-93A5-F8269D148CF2 @default.
- Q57253071 P2860 Q57253071-ED01038B-38E6-4710-9D84-48DAB3A6AB7E @default.
- Q57253071 P304 Q57253071-3110A714-7DA2-417D-ACF8-90FBECC8DF4A @default.
- Q57253071 P31 Q57253071-3EAC1D14-DD7E-47BB-988D-C5BBB8E19B67 @default.
- Q57253071 P356 Q57253071-4FF3304D-9660-4965-A431-C7DA0C1084C5 @default.
- Q57253071 P433 Q57253071-39013EC9-E765-468D-BD0F-A41F96B99CDE @default.
- Q57253071 P478 Q57253071-1286DFC9-D724-4C59-B8D1-940E9D15AF40 @default.
- Q57253071 P50 Q57253071-40B9AD40-577A-4B9B-B4FE-B4C41CD253A7 @default.
- Q57253071 P577 Q57253071-1917083C-473A-4EE2-A0F7-328E42C70F89 @default.
- Q57253071 P6104 Q57253071-38BFDBA5-5821-4B7A-B663-39E3FDE17B88 @default.
- Q57253071 P894 Q57253071-1748A18E-B304-4853-996C-1DCE35585D0B @default.
- Q57253071 P8978 Q57253071-39D71F91-F0EB-4169-9FB1-B14B9BC7608D @default.
- Q57253071 P356 S0304-3975(01)00145-1 @default.
- Q57253071 P8978 Carbone02 @default.
- Q57253071 P1433 Q7782354 @default.
- Q57253071 P1476 "Streams and strings in formal proofs" @default.
- Q57253071 P2860 Q28470256 @default.
- Q57253071 P2860 Q55871200 @default.
- Q57253071 P2860 Q56224983 @default.
- Q57253071 P2860 Q57253072 @default.
- Q57253071 P304 "45-83" @default.
- Q57253071 P31 Q13442814 @default.
- Q57253071 P356 "10.1016/S0304-3975(01)00145-1" @default.
- Q57253071 P433 "1" @default.
- Q57253071 P478 "288" @default.
- Q57253071 P50 Q27559542 @default.
- Q57253071 P577 "2002-10-01T00:00:00Z" @default.
- Q57253071 P6104 Q8487137 @default.
- Q57253071 P894 "1061.03059" @default.
- Q57253071 P8978 "journals/tcs/Carbone02" @default.