Matches in Wikidata for { <http://www.wikidata.org/entity/Q57800674> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- Q57800674 description "article scientifique publié en 2015" @default.
- Q57800674 description "im März 2015 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57800674 description "wetenschappelijk artikel" @default.
- Q57800674 description "наукова стаття, опублікована в березні 2015" @default.
- Q57800674 name "High-level Counterexamples for Probabilistic Automata" @default.
- Q57800674 name "High-level Counterexamples for Probabilistic Automata" @default.
- Q57800674 type Item @default.
- Q57800674 label "High-level Counterexamples for Probabilistic Automata" @default.
- Q57800674 label "High-level Counterexamples for Probabilistic Automata" @default.
- Q57800674 prefLabel "High-level Counterexamples for Probabilistic Automata" @default.
- Q57800674 prefLabel "High-level Counterexamples for Probabilistic Automata" @default.
- Q57800674 P1433 Q57800674-C92204D7-B011-428D-8367-4AD9E7005153 @default.
- Q57800674 P1476 Q57800674-DD20E18A-2F09-412B-88AB-46C21D211C6B @default.
- Q57800674 P2093 Q57800674-1D44051B-FBF0-4D8F-B0A9-11C93703EED8 @default.
- Q57800674 P2093 Q57800674-8E732316-EB3E-4D4A-9789-83A0289C610D @default.
- Q57800674 P2093 Q57800674-A24004FA-DCC9-4AAA-9BC1-5192F08AE4EB @default.
- Q57800674 P31 Q57800674-4870F33D-B573-4F70-80F3-452D37A1A159 @default.
- Q57800674 P356 Q57800674-ECF85B39-A839-4EDD-AD52-107E14AA783C @default.
- Q57800674 P433 Q57800674-4F935952-DDF9-4E29-A4C7-4EEA12640455 @default.
- Q57800674 P478 Q57800674-5E73A866-4E0D-445A-B3D4-49FD1A89AFF4 @default.
- Q57800674 P50 Q57800674-0A976492-C2F8-4374-8600-02D5005B0284 @default.
- Q57800674 P577 Q57800674-38E18BBC-A228-496B-BD45-373893A405A4 @default.
- Q57800674 P6104 Q57800674-04053E90-CEC8-41E9-8BC9-0D718B9D8002 @default.
- Q57800674 P818 Q57800674-65A2E39B-5E47-4A97-BE69-72E8EC7DDE6C @default.
- Q57800674 P894 Q57800674-F52A5129-E4D5-4980-895C-FDBEE903369A @default.
- Q57800674 P356 LMCS-11(1:15)2015 @default.
- Q57800674 P1433 Q13644986 @default.
- Q57800674 P1476 "High-level Counterexamples for Probabilistic Automata" @default.
- Q57800674 P2093 "Erika Ábrahám" @default.
- Q57800674 P2093 "Nils Jansen" @default.
- Q57800674 P2093 "Ralf Wimmer" @default.
- Q57800674 P31 Q13442814 @default.
- Q57800674 P356 "10.2168/LMCS-11(1:15)2015" @default.
- Q57800674 P433 "1" @default.
- Q57800674 P478 "11" @default.
- Q57800674 P50 Q52726456 @default.
- Q57800674 P577 "2015-03-31T00:00:00Z" @default.
- Q57800674 P6104 Q8487137 @default.
- Q57800674 P818 "1305.5055" @default.
- Q57800674 P894 "1347.68211" @default.