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
Q56891959-E0FC9320-0017-4281-8529-F0628E6B29BF
Q56891959-E0FC9320-0017-4281-8529-F0628E6B29BF
BestRank
Statement
http://www.wikidata.org/entity/statement/Q56891959-E0FC9320-0017-4281-8529-F0628E6B29BF
Integrating formal verification in an online judge for e-Learning logic circuit design
P356
Q56891959-E0FC9320-0017-4281-8529-F0628E6B29BF
BestRank
Statement
http://www.wikidata.org/entity/statement/Q56891959-E0FC9320-0017-4281-8529-F0628E6B29BF
rank
NormalRank
type
BestRank
Statement
P356
10.1145/2157136.2157268
http://www.w3.org/2001/XMLSchema#string
P356
2157136.2157268