Matches in Wikidata for { <http://www.wikidata.org/entity/Q57800843> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q57800843 description "article scientifique publié en 2014" @default.
- Q57800843 description "im September 2014 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57800843 description "wetenschappelijk artikel" @default.
- Q57800843 description "наукова стаття, опублікована у вересні 2014" @default.
- Q57800843 name "Minimal counterexamples for linear-time probabilistic verification" @default.
- Q57800843 name "Minimal counterexamples for linear-time probabilistic verification" @default.
- Q57800843 type Item @default.
- Q57800843 label "Minimal counterexamples for linear-time probabilistic verification" @default.
- Q57800843 label "Minimal counterexamples for linear-time probabilistic verification" @default.
- Q57800843 prefLabel "Minimal counterexamples for linear-time probabilistic verification" @default.
- Q57800843 prefLabel "Minimal counterexamples for linear-time probabilistic verification" @default.
- Q57800843 P1433 Q57800843-F40184C1-1B27-48B2-866A-46C555481E70 @default.
- Q57800843 P1476 Q57800843-4641B082-5617-4F52-ADFA-871EFFE14E93 @default.
- Q57800843 P2093 Q57800843-2C446C8D-6B02-45A0-AF10-0554027EB980 @default.
- Q57800843 P2093 Q57800843-44715375-E611-4F96-AC62-342CDDB0FD48 @default.
- Q57800843 P2093 Q57800843-B3F36174-2891-4771-B920-843AFC6246E5 @default.
- Q57800843 P2093 Q57800843-FA74F346-3AFC-487E-A38C-3062CDFA0F5C @default.
- Q57800843 P304 Q57800843-6EB9A55D-076B-4A50-96CF-579A1A9AABC7 @default.
- Q57800843 P31 Q57800843-A092BDC3-1663-40AB-9B3E-16D6BD8EE2F6 @default.
- Q57800843 P356 Q57800843-7920E840-901F-4919-A558-0D47893EB4C5 @default.
- Q57800843 P478 Q57800843-EE357017-5F04-4DFC-ACBD-0BD2C2E3A546 @default.
- Q57800843 P50 Q57800843-618D15F3-35F2-44E8-A6E2-51DF66C40E10 @default.
- Q57800843 P577 Q57800843-606D089B-DF67-41CB-87E2-239C5A6A243A @default.
- Q57800843 P6104 Q57800843-BB759C15-4D3A-4851-A5E3-00D2E192EE3E @default.
- Q57800843 P894 Q57800843-657E9416-75C9-4A7E-A667-44FC56F85E9B @default.
- Q57800843 P8978 Q57800843-898C4064-446A-4488-9784-E1A4C7C80C98 @default.
- Q57800843 P921 Q57800843-35830501-2B3C-4814-97D4-D9CC95798D38 @default.
- Q57800843 P356 J.TCS.2014.06.020 @default.
- Q57800843 P8978 WimmerJAKB14 @default.
- Q57800843 P1433 Q7782354 @default.
- Q57800843 P1476 "Minimal counterexamples for linear-time probabilistic verification" @default.
- Q57800843 P2093 "Bernd Becker" @default.
- Q57800843 P2093 "Erika Ábrahám" @default.
- Q57800843 P2093 "Nils Jansen" @default.
- Q57800843 P2093 "Ralf Wimmer" @default.
- Q57800843 P304 "61-100" @default.
- Q57800843 P31 Q13442814 @default.
- Q57800843 P356 "10.1016/J.TCS.2014.06.020" @default.
- Q57800843 P478 "549" @default.
- Q57800843 P50 Q52726456 @default.
- Q57800843 P577 "2014-09-01T00:00:00Z" @default.
- Q57800843 P6104 Q8487137 @default.
- Q57800843 P894 "1360.68604" @default.
- Q57800843 P8978 "journals/tcs/WimmerJAKB14" @default.
- Q57800843 P921 Q2878974 @default.