Template:Workflow: Difference between revisions
From MaRDI portal
| Line 670: | Line 670: | ||
<div class='no-pagination no-filter'> | <div class='no-pagination no-filter'> | ||
{{#sparql: | {{#sparql: | ||
SELECT ? | SELECT ?Mathematically | ||
?run_result | ?run_result | ||
?res_result | ?res_result | ||
| Line 678: | Line 678: | ||
WHERE { | WHERE { | ||
# Mathematical Reproducibility | # Mathematical Reproducibility | ||
OPTIONAL { | OPTIONAL { | ||
wd:{{#invoke:Wd|label|raw|}} p:P31 ?math_statement. | wd:{{#invoke:Wd|label|raw|}} p:P31 ?math_statement. | ||
?math_statement ps:P31 wd: | ?math_statement ps:P31 wd:Q6534215. | ||
BIND("Yes" AS ? | BIND("Yes" AS ?math_hasTriple) | ||
OPTIONAL { | OPTIONAL { | ||
?math_statement pq:P8 ?math_text. | ?math_statement pq:P8 ?math_text. | ||
BIND(CONCAT("Yes: ", STR(?math_text)) AS ?math_result) | BIND(CONCAT("Yes: ", STR(?math_text)) AS ?math_result) | ||
} | |||
} | } | ||
BIND(IF(BOUND(?math_result), ?math_result, IF(BOUND(?math_hasTriple), "Yes", "No")) AS ?Mathematically) | |||
# Runtime Reproducibility | # Runtime Reproducibility | ||
| Line 751: | Line 751: | ||
BIND(IF(BOUND(?trans_result), ?trans_result, IF(BOUND(?trans_hasTriple), "Yes", "No")) AS ?Transferability) | BIND(IF(BOUND(?trans_result), ?trans_result, IF(BOUND(?trans_hasTriple), "Yes", "No")) AS ?Transferability) | ||
} | } | ||
GROUP BY ? | GROUP BY ?Mathematically ?run_result ?res_result ?plat_result ?xplat_result ?Transferability | ||
| chart=bordercloud.visualization.DataTable | | chart=bordercloud.visualization.DataTable | ||
Revision as of 09:46, 17 December 2024
