Skip to content

E
eye
Commit a1089777 authored by josd's avatar josd
Browse files
Options

remove libgmp dependency

parent 71544263
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 4105 additions and 2371 deletions
reasoning/3outof5/answer.n3
View file @ a1089777
...@@ -123,6 +123,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -123,6 +123,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/3outof5/sample.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/3outof5/sample.n3>].
#2018-11-11T22:33:11.474Z in=34 out=1 ent=1 step=1 brake=2 inf=47122 sec=0.113 inf/sec=417009 #2018-11-21T14:26:37.134Z in=34 out=1 ent=1 step=1 brake=2 inf=47073 sec=0.051 inf/sec=923000
#ENDS #ENDS
reasoning/bi/biE.n3
View file @ a1089777
This source diff could not be displayed because it is too large. You can view the blob instead.
reasoning/bi/biP.n3
View file @ a1089777
...@@ -44,7 +44,7 @@ PREFIX : <http://eulersharp.sourceforge.net/2007/07test#> ...@@ -44,7 +44,7 @@ PREFIX : <http://eulersharp.sourceforge.net/2007/07test#>
{(1 3 6 6 7 2 3) e:multisetNotEqualTo (3 3 7 6 2 1)} => {:emn1 :result true}. {(1 3 6 6 7 2 3) e:multisetNotEqualTo (3 3 7 6 2 1)} => {:emn1 :result true}.
{:a :b :d. ?SCOPE e:optional {:g :h :i}} => {:eo1 :result true}. {:a :b :d. ?SCOPE e:optional {:g :h :i}} => {:eo1 :result true}.
{((55 66 72 87 56 77 73 69 74 56) (1.66 1.78 1.87 1.92 1.66 1.89 1.86 1.79 1.80 1.66)) e:pcc ?R. ?R math:equalTo 0.9569729506311461} => {:ep1 :result true}. {((55 66 72 87 56 77 73 69 74 56) (1.66 1.78 1.87 1.92 1.66 1.89 1.86 1.79 1.80 1.66)) e:pcc ?R. ?R math:equalTo 0.9569729506311461} => {:ep1 :result true}.
{(10000000) e:random 5524830} => {:era1 :result true}. {(10000000) e:random 8579687} => {:era1 :result true}.
{((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d)) e:reverse ((9 :d) (8 :d) (7 :a) (6 :b) (5 :a) (4 :d))} => {:erv1 :result true}. {((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d)) e:reverse ((9 :d) (8 :d) (7 :a) (6 :b) (5 :a) (4 :d))} => {:erv1 :result true}.
{(55 66 72 87 56 77 73 69 74 56) e:rms ?R. ?R math:equalTo 69.2105483289939} => {:erm1 :result true}. {(55 66 72 87 56 77 73 69 74 56) e:rms ?R. ?R math:equalTo 69.2105483289939} => {:erm1 :result true}.
{((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:sort ((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d))} => {:es1 :result true}. {((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:sort ((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d))} => {:es1 :result true}.
......
reasoning/bmi/bmi_proof.n3
View file @ a1089777
...@@ -1144,6 +1144,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -1144,6 +1144,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3>].
#2018-11-11T22:33:15.055Z in=295 out=50 ent=100 step=48 brake=4 inf=220678 sec=0.228 inf/sec=967886 #2018-11-21T14:26:39.170Z in=295 out=50 ent=100 step=48 brake=4 inf=220668 sec=0.087 inf/sec=2536414
#ENDS #ENDS
reasoning/bmt/10tt_proof.n3
View file @ a1089777
...@@ -32573,6 +32573,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -32573,6 +32573,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmt/1tt8.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmt/1tt8.n3>].
#2018-11-11T22:33:20.887Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717694 sec=2.395 inf/sec=1969810 #2018-11-21T14:26:41.793Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717751 sec=0.786 inf/sec=6002228
#ENDS #ENDS
reasoning/crypto/crypto-proof.n3
View file @ a1089777
...@@ -94,6 +94,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -94,6 +94,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/crypto/cryptoP.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/crypto/cryptoP.n3>].
#2018-11-11T22:33:21.374Z in=9 out=3 ent=6 step=12 brake=2 inf=27340 sec=0.083 inf/sec=329398 #2018-11-21T14:26:42.096Z in=9 out=3 ent=6 step=12 brake=2 inf=27281 sec=0.032 inf/sec=852531
#ENDS #ENDS
reasoning/cs/proof-001.n3
View file @ a1089777
...@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/cs/rules-001.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/cs/rules-001.n3>].
#2018-11-11T22:33:22.082Z in=43 out=2 ent=4 step=8 brake=2 inf=41073 sec=0.098 inf/sec=419112 #2018-11-21T14:26:42.588Z in=43 out=2 ent=4 step=8 brake=2 inf=41036 sec=0.045 inf/sec=911911
#ENDS #ENDS
reasoning/csv/select-proof-extra.n3
View file @ a1089777
...@@ -113,6 +113,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -113,6 +113,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data-extra.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data-extra.n3>].
#2018-11-11T22:33:23.354Z in=17 out=5 ent=5 step=5 brake=2 inf=49935 sec=0.116 inf/sec=430474 #2018-11-21T14:26:43.399Z in=17 out=5 ent=5 step=5 brake=2 inf=49883 sec=0.051 inf/sec=978098
#ENDS #ENDS
reasoning/csv/select-proof.n3
View file @ a1089777
...@@ -323,6 +323,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -323,6 +323,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data.n3>].
#2018-11-11T22:33:22.718Z in=22 out=17 ent=17 step=17 brake=2 inf=74292 sec=0.129 inf/sec=575907 #2018-11-21T14:26:43.048Z in=22 out=17 ent=17 step=17 brake=2 inf=74245 sec=0.050 inf/sec=1484900
#ENDS #ENDS
reasoning/de/deE.n3
View file @ a1089777
...@@ -76,6 +76,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -76,6 +76,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
#2018-11-11T22:33:24.239Z in=22 out=1 ent=6 step=18 brake=3 inf=24395 sec=0.084 inf/sec=290417 #2018-11-21T14:26:43.893Z in=22 out=1 ent=6 step=18 brake=3 inf=24362 sec=0.038 inf/sec=641105
#ENDS #ENDS
reasoning/djiti/proof-10.n3
View file @ a1089777
...@@ -63,6 +63,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -63,6 +63,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10.n3>].
#2018-11-11T22:33:24.855Z in=14 out=2 ent=2 step=2 brake=1 inf=25775 sec=0.086 inf/sec=299709 #2018-11-21T14:26:44.229Z in=14 out=2 ent=2 step=2 brake=1 inf=25731 sec=0.039 inf/sec=659769
#ENDS #ENDS
reasoning/djiti/proof-100.n3
View file @ a1089777
...@@ -153,6 +153,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -153,6 +153,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-100.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-100.n3>].
#2018-11-11T22:33:25.275Z in=104 out=6 ent=6 step=6 brake=1 inf=43418 sec=0.095 inf/sec=457032 #2018-11-21T14:26:44.475Z in=104 out=6 ent=6 step=6 brake=1 inf=43369 sec=0.045 inf/sec=963756
#ENDS #ENDS
reasoning/djiti/proof-1000.n3
View file @ a1089777
...@@ -2145,6 +2145,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -2145,6 +2145,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-1000.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-1000.n3>].
#2018-11-11T22:33:26.037Z in=1004 out=92 ent=92 step=92 brake=1 inf=390916 sec=0.278 inf/sec=1406173 #2018-11-21T14:26:44.826Z in=1004 out=92 ent=92 step=92 brake=1 inf=390868 sec=0.107 inf/sec=3652972
#ENDS #ENDS
reasoning/djiti/proof-10000.n3
View file @ a1089777
...@@ -22107,6 +22107,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -22107,6 +22107,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10000.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10000.n3>].
#2018-11-11T22:33:29.658Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881471 sec=2.294 inf/sec=1692010 #2018-11-21T14:26:46.522Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881425 sec=0.838 inf/sec=4631772
#ENDS #ENDS
reasoning/djiti/proof-2-10.n3
View file @ a1089777
...@@ -139,6 +139,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#> ...@@ -139,6 +139,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10.n3>].
#2018-11-11T22:33:30.293Z in=54 out=2 ent=8 step=18 brake=2 inf=37868 sec=0.094 inf/sec=402851 #2018-11-21T14:26:46.868Z in=54 out=2 ent=8 step=18 brake=2 inf=37822 sec=0.039 inf/sec=969795
#ENDS #ENDS
reasoning/djiti/proof-2-100.n3
View file @ a1089777
...@@ -348,6 +348,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#> ...@@ -348,6 +348,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-100.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-100.n3>].
#2018-11-11T22:33:30.840Z in=124 out=6 ent=23 step=48 brake=2 inf=70141 sec=0.110 inf/sec=637645 #2018-11-21T14:26:47.236Z in=124 out=6 ent=23 step=48 brake=2 inf=70094 sec=0.053 inf/sec=1322528
#ENDS #ENDS
reasoning/djiti/proof-2-1000.n3
View file @ a1089777
...@@ -5060,6 +5060,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#> ...@@ -5060,6 +5060,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-1000.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-1000.n3>].
#2018-11-11T22:33:31.974Z in=1686 out=92 ent=355 step=712 brake=2 inf=804881 sec=0.459 inf/sec=1753553 #2018-11-21T14:26:47.736Z in=1686 out=92 ent=355 step=712 brake=2 inf=804839 sec=0.164 inf/sec=4907555
#ENDS #ENDS
reasoning/djiti/proof-2-10000.n3
View file @ a1089777
...@@ -51865,6 +51865,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#> ...@@ -51865,6 +51865,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10000.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10000.n3>].
#2018-11-11T22:33:36.885Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124380 sec=3.966 inf/sec=2048507 #2018-11-21T14:26:49.473Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124335 sec=1.249 inf/sec=6504672
#ENDS #ENDS
reasoning/dp/dpE.n3
View file @ a1089777
...@@ -69,6 +69,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -69,6 +69,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dp/dp.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dp/dp.n3>].
#2018-11-11T22:33:38.413Z in=43 out=1 ent=2 step=2 brake=1 inf=31622 sec=0.091 inf/sec=347495 #2018-11-21T14:26:50.712Z in=43 out=1 ent=2 step=2 brake=1 inf=31576 sec=0.040 inf/sec=789400
#ENDS #ENDS
reasoning/dpe/dpe_proof.n3
View file @ a1089777
...@@ -241,6 +241,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -241,6 +241,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3>].
#2018-11-11T22:33:39.305Z in=52 out=2 ent=32 step=120 brake=4 inf=42371 sec=0.098 inf/sec=432357 #2018-11-21T14:26:51.293Z in=52 out=2 ent=32 step=120 brake=4 inf=42336 sec=0.040 inf/sec=1058400
#ENDS #ENDS
reasoning/dqc/sdcoding-a.n3
View file @ a1089777
...@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#> ...@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 . 3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 . 3 dqc:sdcoding 2 .
#2018-11-11T22:33:39.994Z in=73 out=24 ent=0 step=0 brake=1 inf=16814 sec=0.077 inf/sec=218364 #2018-11-21T14:26:51.731Z in=73 out=24 ent=0 step=0 brake=1 inf=16767 sec=0.036 inf/sec=465750
#ENDS #ENDS
reasoning/dqc/sdcoding-answer.n3
View file @ a1089777
...@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#> ...@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 . 0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 . 2 dqc:sdcoding 2 .
#2018-11-11T22:33:40.513Z in=31 out=4 ent=4 step=4 brake=2 inf=15719 sec=0.072 inf/sec=218319 #2018-11-21T14:26:52.067Z in=31 out=4 ent=4 step=4 brake=2 inf=15672 sec=0.036 inf/sec=435333
#ENDS #ENDS
reasoning/dt/test-proof-1000.n3
View file @ a1089777
...@@ -15034,6 +15034,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -15034,6 +15034,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3>].
#2018-11-11T22:33:42.506Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940762 sec=1.097 inf/sec=1769154 #2018-11-21T14:26:52.941Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940728 sec=0.359 inf/sec=5405928
#ENDS #ENDS
reasoning/easter/easterE.n3
View file @ a1089777
...@@ -1016,6 +1016,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -1016,6 +1016,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/easter/easterP.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/easter/easterP.n3>].
#2018-11-11T22:33:43.245Z in=57 out=16 ent=32 step=64 brake=2 inf=200532 sec=0.162 inf/sec=1237852 #2018-11-21T14:26:53.410Z in=57 out=16 ent=32 step=64 brake=2 inf=200486 sec=0.066 inf/sec=3037667
#ENDS #ENDS
reasoning/einstein/einsteinE.n3
View file @ a1089777
...@@ -110,6 +110,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -110,6 +110,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/einstein/einstein.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/einstein/einstein.n3>].
#2018-11-11T22:33:44.304Z in=28 out=1 ent=2 step=4 brake=2 inf=671659 sec=0.386 inf/sec=1740049 #2018-11-21T14:26:53.959Z in=28 out=1 ent=2 step=4 brake=2 inf=671612 sec=0.139 inf/sec=4831741
#ENDS #ENDS
reasoning/equation4/result.n3
View file @ a1089777
...@@ -1004,6 +1004,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#> ...@@ -1004,6 +1004,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
((1.0 0.0) (31.479139483246144 -5.637636835003695) (49.6500993311686 21.292855459119252) (-7.509269162080673 -4.685394625106959) (44.19898428417116 0.09388861810012417)) e:roots ((-30.04806036124109 6.671361387382722) (-1.8564286933350918 -0.8715530609384365) (0.14001882652977038 -0.8874311173161269) (0.2853307448002713 0.725259625875537)). ((1.0 0.0) (31.479139483246144 -5.637636835003695) (49.6500993311686 21.292855459119252) (-7.509269162080673 -4.685394625106959) (44.19898428417116 0.09388861810012417)) e:roots ((-30.04806036124109 6.671361387382722) (-1.8564286933350918 -0.8715530609384365) (0.14001882652977038 -0.8874311173161269) (0.2853307448002713 0.725259625875537)).
((1.0 0.0) (-3.4735945942544033 -5.724317381286637) (27.95030525291834 -45.78866148003705) (-35.441953702016335 -26.5046605108508) (-14.350738086782172 -39.59708380047468)) e:roots ((5.746180404504588 9.593740189549036) (-0.3856613070277868 -0.47108060895022996) (-2.1856418312890327 -4.580144382021954) (0.29871732806663354 1.181802182709784)). ((1.0 0.0) (-3.4735945942544033 -5.724317381286637) (27.95030525291834 -45.78866148003705) (-35.441953702016335 -26.5046605108508) (-14.350738086782172 -39.59708380047468)) e:roots ((5.746180404504588 9.593740189549036) (-0.3856613070277868 -0.47108060895022996) (-2.1856418312890327 -4.580144382021954) (0.29871732806663354 1.181802182709784)).
#2018-11-11T22:33:51.074Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855557 sec=4.296 inf/sec=2294124 #2018-11-21T14:26:56.323Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855510 sec=1.176 inf/sec=8380536
#ENDS #ENDS
reasoning/fcm/fcm_proof.n3
View file @ a1089777
...@@ -669,6 +669,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -669,6 +669,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fcm/example002P.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fcm/example002P.n3>].
#2018-11-11T22:33:52.710Z in=260 out=8 ent=50 step=307 brake=6 inf=469019 sec=0.301 inf/sec=1558203 #2018-11-21T14:26:57.177Z in=260 out=8 ent=50 step=307 brake=6 inf=469008 sec=0.112 inf/sec=4187571
#ENDS #ENDS
reasoning/fgcm/fgcm_proof.n3
View file @ a1089777
...@@ -1211,6 +1211,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -1211,6 +1211,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
1 log:equalTo _:x_1_20} {1 log:equalTo 1 . 1 log:equalTo _:x_1_20} {1 log:equalTo 1 .
1 log:equalTo 1}) e:derive true}}}]. 1 log:equalTo 1}) e:derive true}}}].
#2018-11-11T22:33:54.624Z in=630 out=18 ent=237 step=1917 brake=5 inf=807053 sec=0.544 inf/sec=1483553 #2018-11-21T14:26:58.159Z in=630 out=18 ent=237 step=1917 brake=5 inf=807040 sec=0.187 inf/sec=4315722
#ENDS #ENDS
reasoning/fib/fibE.n3
View file @ a1089777
This diff is collapsed.
reasoning/gedcom/gedcom-proof.n3
View file @ a1089777
...@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
); );
r:rule <#lemma92>. r:rule <#lemma92>.
#2018-11-11T22:33:57.170Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753636 sec=0.364 inf/sec=2070429 #2018-11-21T14:26:59.367Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753609 sec=0.129 inf/sec=5841930
#ENDS #ENDS
reasoning/glass/testE.n3
View file @ a1089777
...@@ -172,6 +172,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -172,6 +172,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/glass/test.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/glass/test.n3>].
#2018-11-11T22:33:57.840Z in=46 out=6 ent=7 step=30 brake=2 inf=42995 sec=0.094 inf/sec=457394 #2018-11-21T14:27:00.801Z in=46 out=6 ent=7 step=30 brake=2 inf=42967 sec=0.039 inf/sec=1101718
#ENDS #ENDS
reasoning/gps/gps-proof1.n3
View file @ a1089777
...@@ -285,6 +285,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -285,6 +285,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-11T22:33:58.778Z in=60 out=1 ent=1 step=1 brake=2 inf=80229 sec=0.119 inf/sec=674193 #2018-11-21T14:27:01.424Z in=60 out=1 ent=1 step=1 brake=2 inf=80213 sec=0.058 inf/sec=1382983
#ENDS #ENDS
reasoning/gps/gps-proof2.n3
View file @ a1089777
...@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
); );
r:rule <#lemma336>. r:rule <#lemma336>.
#2018-11-11T22:34:00.627Z in=201 out=10 ent=10 step=10 brake=2 inf=2321231 sec=1.093 inf/sec=2123725 #2018-11-21T14:27:02.298Z in=201 out=10 ent=10 step=10 brake=2 inf=2321194 sec=0.353 inf/sec=6575620
#ENDS #ENDS
reasoning/graph/graph.proof.n3
View file @ a1089777
...@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/graph/graph.axiom.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/graph/graph.axiom.n3>].
#2018-11-11T22:34:01.622Z in=171 out=1 ent=24 step=70 brake=2 inf=39627 sec=0.101 inf/sec=392347 #2018-11-21T14:27:02.885Z in=171 out=1 ent=24 step=70 brake=2 inf=39591 sec=0.035 inf/sec=1131171
#ENDS #ENDS
reasoning/h2o/proof-001.n3
View file @ a1089777
...@@ -58,6 +58,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -58,6 +58,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/h2o/rules-001.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/h2o/rules-001.n3>].
#2018-11-11T22:34:02.939Z in=16 out=1 ent=6 step=12 brake=2 inf=27446 sec=0.083 inf/sec=330675 #2018-11-21T14:27:03.542Z in=16 out=1 ent=6 step=12 brake=2 inf=27425 sec=0.045 inf/sec=609444
#ENDS #ENDS
reasoning/hanoi/hanoiE.n3
View file @ a1089777
...@@ -149,6 +149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -149,6 +149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/hanoi/hanoi.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/hanoi/hanoi.n3>].
#2018-11-11T22:34:03.262Z in=13 out=1 ent=2 step=2 brake=1 inf=34254 sec=0.079 inf/sec=433595 #2018-11-21T14:27:03.756Z in=13 out=1 ent=2 step=2 brake=1 inf=34194 sec=0.038 inf/sec=899842
#ENDS #ENDS
reasoning/image/easter-proof.n3
View file @ a1089777
...@@ -6534,6 +6534,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -6534,6 +6534,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/image/year.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/image/year.n3>].
#2018-11-11T22:34:05.391Z in=46 out=101 ent=202 step=404 brake=2 inf=1216555 sec=0.570 inf/sec=2134307 #2018-11-21T14:27:04.692Z in=46 out=101 ent=202 step=404 brake=2 inf=1216497 sec=0.171 inf/sec=7114018
#ENDS #ENDS
reasoning/iq/iq_proof.n3
View file @ a1089777
...@@ -199,6 +199,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -199,6 +199,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/iq/iq.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/iq/iq.n3>].
#2018-11-11T22:34:05.941Z in=29 out=10 ent=13 step=26 brake=2 inf=55996 sec=0.094 inf/sec=595702 #2018-11-21T14:27:05.003Z in=29 out=10 ent=13 step=26 brake=2 inf=55938 sec=0.042 inf/sec=1331857
#ENDS #ENDS
reasoning/lldm/lldmE.n3
View file @ a1089777
...@@ -867,6 +867,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -867,6 +867,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/lldm/lldmP.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/lldm/lldmP.n3>].
#2018-11-11T22:34:07.209Z in=356 out=1 ent=39 step=124 brake=4 inf=129965 sec=0.152 inf/sec=855033 #2018-11-21T14:27:05.639Z in=356 out=1 ent=39 step=124 brake=4 inf=129931 sec=0.063 inf/sec=2062397
#ENDS #ENDS
reasoning/map/agent1-proof.n3
View file @ a1089777
...@@ -208,6 +208,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -208,6 +208,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-11T22:34:08.283Z in=56 out=1 ent=1 step=1 brake=2 inf=61597 sec=0.105 inf/sec=586638 #2018-11-21T14:27:06.127Z in=56 out=1 ent=1 step=1 brake=2 inf=61560 sec=0.042 inf/sec=1465714
#ENDS #ENDS
reasoning/map/agent2-proof.n3
View file @ a1089777
...@@ -295,6 +295,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#> ...@@ -295,6 +295,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-11T22:34:09.374Z in=309 out=1 ent=10 step=82 brake=4 inf=127919 sec=0.148 inf/sec=864318 #2018-11-21T14:27:06.794Z in=309 out=1 ent=10 step=82 brake=4 inf=127896 sec=0.067 inf/sec=1908896
#ENDS #ENDS
reasoning/medic/medicE.n3
View file @ a1089777
...@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/medic/medic.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/medic/medic.n3>].
#2018-11-11T22:34:10.123Z in=30 out=2 ent=4 step=8 brake=4 inf=34613 sec=0.091 inf/sec=380363 #2018-11-21T14:27:07.246Z in=30 out=2 ent=4 step=8 brake=4 inf=34589 sec=0.042 inf/sec=823548
#ENDS #ENDS
reasoning/mmln/mmln-gv-proof.n3
View file @ a1089777
...@@ -1538,6 +1538,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -1538,6 +1538,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3>].
#2018-11-11T22:34:12.228Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536563 sec=1.025 inf/sec=1499086 #2018-11-21T14:27:08.231Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536561 sec=0.262 inf/sec=5864737
#ENDS #ENDS
reasoning/mq/mq_proof.n3
View file @ a1089777
This diff is collapsed.
reasoning/n3p/extra-roundtrip-proof.ttl
View file @ a1089777
...@@ -133,6 +133,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -133,6 +133,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/extra.ttl>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/extra.ttl>].
#2018-11-11T22:34:18.614Z in=7 out=7 ent=7 step=7 brake=1 inf=26475 sec=0.077 inf/sec=343831 #2018-11-21T14:27:10.575Z in=7 out=7 ent=7 step=7 brake=1 inf=26404 sec=0.036 inf/sec=733444
#ENDS #ENDS
reasoning/n3p/literals-roundtrip-proof.ttl
View file @ a1089777
...@@ -185,6 +185,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -185,6 +185,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/literals.ttl>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/literals.ttl>].
#2018-11-11T22:34:18.912Z in=10 out=10 ent=10 step=10 brake=1 inf=29522 sec=0.082 inf/sec=360024 #2018-11-21T14:27:10.755Z in=10 out=10 ent=10 step=10 brake=1 inf=29452 sec=0.032 inf/sec=920375
#ENDS #ENDS
reasoning/n3p/sample-roundtrip-proof.n3
View file @ a1089777
...@@ -258,6 +258,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -258,6 +258,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/sample.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/sample.n3>].
#2018-11-11T22:34:19.227Z in=12 out=12 ent=13 step=29 brake=2 inf=53762 sec=0.095 inf/sec=565916 #2018-11-21T14:27:10.941Z in=12 out=12 ent=13 step=29 brake=2 inf=53689 sec=0.044 inf/sec=1220205
#ENDS #ENDS
reasoning/n3p/simple-roundtrip-proof.ttl
View file @ a1089777
...@@ -150,6 +150,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -150,6 +150,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/simple.ttl>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/simple.ttl>].
#2018-11-11T22:34:18.208Z in=8 out=8 ent=8 step=8 brake=1 inf=32241 sec=0.085 inf/sec=379306 #2018-11-21T14:27:10.366Z in=8 out=8 ent=8 step=8 brake=1 inf=32174 sec=0.037 inf/sec=869568
#ENDS #ENDS
reasoning/nbbn/nbbn_proof.n3
View file @ a1089777
...@@ -114,6 +114,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -114,6 +114,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
}; };
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3>]. r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3>].
#2018-11-11T22:34:20.297Z in=158 out=1 ent=1 step=1 brake=2 inf=72936 sec=0.134 inf/sec=544299 #2018-11-21T14:27:11.551Z in=158 out=1 ent=1 step=1 brake=2 inf=72897 sec=0.050 inf/sec=1457940
#ENDS #ENDS
reasoning/numeral/numeral.n3
View file @ a1089777
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>. @prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://example.org/try#>. @prefix : <http://example.org/try#>.
:s1 :p 99999999999999999999999999999999999999999999999999999999999999999999999999999999999. #:s1 :p 99999999999999999999999999999999999999999999999999999999999999999999999999999999999.
:s2 :p 9999999999999999999999999999999999999999999999999999999999999999.0. #:s2 :p 9999999999999999999999999999999999999999999999999999999999999999.0.
:s3 :p 99999999999999999999999999999999999999.9999999999999. #:s3 :p 99999999999999999999999999999999999999.9999999999999.
:s4 :p 00999999999.999999. :s4 :p 00999999999.999999.
:s5 :p 999999999.99999900. :s5 :p 999999999.99999900.
:s6 :p 999999999.999999. :s6 :p 999999999.999999.
......
reasoning/numeral/numeral_proof.n3
View file @ a1089777
...@@ -15,142 +15,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#> ...@@ -15,142 +15,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
r:component <#lemma7>; r:component <#lemma7>;
r:component <#lemma8>; r:component <#lemma8>;
r:gives { r:gives {
:s1 :p "99999999999999999999999999999999999999999999999999999999999999999999999999999999999"^^xsd:integer . :s1 :p "1.0e+83"^^xsd:double .
:s2 :p "9999999999999999999999999999999999999999999999999999999999999999.0"^^xsd:decimal . :s2 :p "#2018-11-21T14:27:11.847Z in=8 out=1 ent=8 step=8 brake=1 inf=16550 sec=0.034 inf/sec=486765
:s3 :p "99999999999999999999999999999999999999.9999999999999"^^xsd:decimal .
:s4 :p "999999999.999999"^^xsd:decimal .
:s5 :p "999999999.99999900"^^xsd:decimal .
:s6 :p "999999999.999999"^^xsd:decimal .
:s7 :p "9.99999999e+15"^^xsd:double .
:s8 :p "9.0"^^xsd:decimal .
}.
<#lemma1> a r:Inference;
r:gives {
:s1 :p "99999999999999999999999999999999999999999999999999999999999999999999999999999999999"^^xsd:integer .
};
r:evidence (
<#lemma9>
);
r:rule <#lemma10>.
<#lemma2> a r:Inference;
r:gives {
:s2 :p "9999999999999999999999999999999999999999999999999999999999999999.0"^^xsd:decimal .
};
r:evidence (
<#lemma11>
);
r:rule <#lemma10>.
<#lemma3> a r:Inference;
r:gives {
:s3 :p "99999999999999999999999999999999999999.9999999999999"^^xsd:decimal .
};
r:evidence (
<#lemma12>
);
r:rule <#lemma10>.
<#lemma4> a r:Inference;
r:gives {
:s4 :p "999999999.999999"^^xsd:decimal .
};
r:evidence (
<#lemma13>
);
r:rule <#lemma10>.
<#lemma5> a r:Inference;
r:gives {
:s5 :p "999999999.99999900"^^xsd:decimal .
};
r:evidence (
<#lemma14>
);
r:rule <#lemma10>.
<#lemma6> a r:Inference;
r:gives {
:s6 :p "999999999.999999"^^xsd:decimal .
};
r:evidence (
<#lemma15>
);
r:rule <#lemma10>.
<#lemma7> a r:Inference;
r:gives {
:s7 :p "9.99999999e+15"^^xsd:double .
};
r:evidence (
<#lemma16>
);
r:rule <#lemma10>.
<#lemma8> a r:Inference;
r:gives {
:s8 :p "9.0"^^xsd:decimal .
};
r:evidence (
<#lemma17>
);
r:rule <#lemma10>.
<#lemma9> a r:Extraction;
r:gives {
:s1 :p "99999999999999999999999999999999999999999999999999999999999999999999999999999999999"^^xsd:integer .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma10> a r:Extraction;
r:gives {
{?x_1_1 ?x_0_1 ?x_2_1} => {?x_1_1 ?x_0_1 ?x_2_1}.
};
r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2003/03swap/pass>].
<#lemma11> a r:Extraction;
r:gives {
:s2 :p "9999999999999999999999999999999999999999999999999999999999999999.0"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma12> a r:Extraction;
r:gives {
:s3 :p "99999999999999999999999999999999999999.9999999999999"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma13> a r:Extraction;
r:gives {
:s4 :p "999999999.999999"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma14> a r:Extraction;
r:gives {
:s5 :p "999999999.99999900"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma15> a r:Extraction;
r:gives {
:s6 :p "999999999.999999"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma16> a r:Extraction;
r:gives {
:s7 :p "9.99999999e+15"^^xsd:double .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma17> a r:Extraction;