Matches in Wikidata for { <http://www.wikidata.org/entity/Q120907349> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- Q120907349 description "article scientifique publié en 2014" @default.
- Q120907349 description "artículu científicu espublizáu en 2014" @default.
- Q120907349 description "scientific article published in 2014" @default.
- Q120907349 description "наукова стаття, опублікована у 2014" @default.
- Q120907349 name "Scaling Up Symbolic Analysis by Removing Z-Equivalent States" @default.
- Q120907349 type Item @default.
- Q120907349 label "Scaling Up Symbolic Analysis by Removing Z-Equivalent States" @default.
- Q120907349 prefLabel "Scaling Up Symbolic Analysis by Removing Z-Equivalent States" @default.
- Q120907349 P1433 Q120907349-E63F2012-2901-4BCC-894A-9A5D14D09802 @default.
- Q120907349 P1476 Q120907349-FF4BD331-CEC0-4827-B7A6-1B4D0CE820A8 @default.
- Q120907349 P2093 Q120907349-22A79058-2FE1-4B5D-9015-2053A98DFE57 @default.
- Q120907349 P2093 Q120907349-55318F42-ABD9-4FEC-A45D-75251CFE2794 @default.
- Q120907349 P2093 Q120907349-AFD7CCD6-9809-4E93-AE4A-D7ACD4E410C6 @default.
- Q120907349 P2093 Q120907349-E082D143-8F6E-4814-828A-574DAE89BD25 @default.
- Q120907349 P304 Q120907349-BE73BE56-5405-4DF3-90B5-913A27665C01 @default.
- Q120907349 P31 Q120907349-FE7E6DB1-63A0-4865-8481-D2ACC3C54392 @default.
- Q120907349 P356 Q120907349-C7590AE8-C5C0-4EDD-A39B-6BF44EB74FE2 @default.
- Q120907349 P433 Q120907349-5881743B-98D8-43EB-9269-8A824CA1F2D3 @default.
- Q120907349 P478 Q120907349-E8E9D006-2E14-41E7-B974-F4A45B98AD85 @default.
- Q120907349 P577 Q120907349-3E1C85D4-5E16-49E4-9E83-AAB45DC6006B @default.
- Q120907349 P356 2652484 @default.
- Q120907349 P1433 Q15763395 @default.
- Q120907349 P1476 "Scaling Up Symbolic Analysis by Removing Z-Equivalent States" @default.
- Q120907349 P2093 "S. C. Cheung" @default.
- Q120907349 P2093 "Xiangyu Zhang" @default.
- Q120907349 P2093 "Yepang Liu" @default.
- Q120907349 P2093 "Yueqi Li" @default.
- Q120907349 P304 "1-32" @default.
- Q120907349 P31 Q13442814 @default.
- Q120907349 P356 "10.1145/2652484" @default.
- Q120907349 P433 "4" @default.
- Q120907349 P478 "23" @default.
- Q120907349 P577 "2014-09-05T00:00:00Z" @default.