0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksaclass TheoremSerializer < ApplicationSerializer
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa class Reference < ApplicationSerializer
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa attributes :iri
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa attributes :name
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa def iri
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa url_for(object)
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa attributes :iri,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :name,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :definition,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :evaluation_state
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa has_one :proof_status, serializer: ProofStatusSerializer::Reference
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa has_one :ontology, serializer: OntologySerializer::Reference
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa attributes :symbols,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :proof_attempts
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa def iri
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa Reference.new(object).iri
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa def definition
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa object.text
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa end
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa def evaluation_state
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa object.state
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa end
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa def symbols
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa url_for([object, :symbols])
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa def proof_attempts
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa url_for([object, :proof_attempts])
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksaend