wikimedia
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q34109051-084DD34F-46B6-4819-A208-BBE12A50B2AE
Q34109051-084DD34F-46B6-4819-A208-BBE12A50B2AE
BestRank
Statement
http://www.wikidata.org/entity/statement/Q34109051-084DD34F-46B6-4819-A208-BBE12A50B2AE
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
P2860
Q34109051-084DD34F-46B6-4819-A208-BBE12A50B2AE
BestRank
Statement
http://www.wikidata.org/entity/statement/Q34109051-084DD34F-46B6-4819-A208-BBE12A50B2AE
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
0fb43031d0575b8a6918c097722c092cae35f6fd
P2860
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.