Skip to content
Snippets Groups Projects
scrolls.json 1.15 MiB
Newer Older
  • Learn to ignore specific revisions
  • 29001 29002 29003 29004 29005 29006 29007 29008 29009 29010 29011 29012 29013 29014 29015 29016 29017 29018 29019 29020 29021 29022 29023 29024 29025 29026 29027 29028 29029 29030 29031 29032 29033 29034 29035 29036 29037 29038 29039 29040 29041 29042 29043 29044 29045 29046 29047 29048 29049 29050 29051 29052 29053 29054 29055 29056 29057 29058 29059 29060 29061 29062 29063 29064 29065 29066 29067 29068 29069 29070 29071 29072 29073 29074 29075 29076 29077 29078 29079 29080 29081 29082 29083 29084 29085 29086 29087 29088 29089 29090 29091 29092 29093 29094 29095 29096 29097 29098 29099 29100 29101 29102 29103 29104 29105 29106 29107 29108 29109 29110 29111 29112 29113 29114 29115 29116 29117 29118 29119 29120 29121 29122 29123 29124 29125 29126 29127 29128 29129 29130 29131 29132 29133 29134 29135 29136 29137 29138 29139 29140 29141 29142 29143 29144 29145 29146 29147 29148 29149 29150 29151 29152 29153 29154 29155 29156 29157 29158 29159 29160 29161 29162 29163 29164 29165 29166 29167 29168 29169 29170 29171 29172 29173 29174 29175 29176 29177 29178 29179 29180 29181 29182 29183 29184 29185 29186 29187 29188 29189 29190 29191 29192 29193 29194 29195 29196 29197 29198 29199 29200 29201 29202 29203 29204 29205 29206 29207 29208 29209 29210 29211 29212 29213 29214 29215 29216 29217 29218 29219 29220 29221 29222 29223 29224 29225 29226 29227 29228 29229 29230 29231 29232 29233 29234 29235 29236 29237 29238 29239 29240 29241 29242 29243 29244 29245 29246 29247 29248 29249 29250 29251 29252 29253 29254 29255 29256 29257 29258 29259 29260 29261 29262 29263 29264 29265 29266 29267 29268 29269 29270 29271 29272 29273 29274 29275 29276 29277 29278 29279 29280 29281 29282 29283 29284
    															"arguments": [
    																{
    																	"applicant": {
    																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
    																		"kind": "OMS"
    																	},
    																	"arguments": [
    																		{
    																			"applicant": {
    																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt",
    																				"kind": "OMS"
    																			},
    																			"arguments": [
    																				{
    																					"applicant": {
    																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
    																						"kind": "OMS"
    																					},
    																					"arguments": [
    																						{
    																							"applicant": {
    																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
    																								"kind": "OMS"
    																							},
    																							"arguments": [
    																								{
    																									"applicant": {
    																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    																										"kind": "OMS"
    																									},
    																									"arguments": [
    																										{
    																											"applicant": {
    																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																												"kind": "OMS"
    																											},
    																											"arguments": [
    																												{
    																													"applicant": {
    																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
    																														"kind": "OMS"
    																													},
    																													"arguments": [
    																														{
    																															"applicant": {
    																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
    																																"kind": "OMS"
    																															},
    																															"arguments": [
    																																{
    																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																																	"kind": "OMS"
    																																}
    																															],
    																															"kind": "OMA"
    																														}
    																													],
    																													"kind": "OMA"
    																												}
    																											],
    																											"kind": "OMA"
    																										},
    																										{
    																											"applicant": {
    																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																												"kind": "OMS"
    																											},
    																											"arguments": [
    																												{
    																													"applicant": {
    																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
    																														"kind": "OMS"
    																													},
    																													"arguments": [
    																														{
    																															"applicant": {
    																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
    																																"kind": "OMS"
    																															},
    																															"arguments": [
    																																{
    																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																																	"kind": "OMS"
    																																}
    																															],
    																															"kind": "OMA"
    																														}
    																													],
    																													"kind": "OMA"
    																												}
    																											],
    																											"kind": "OMA"
    																										}
    																									],
    																									"kind": "OMA"
    																								},
    																								{
    																									"applicant": {
    																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    																										"kind": "OMS"
    																									},
    																									"arguments": [
    																										{
    																											"applicant": {
    																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																												"kind": "OMS"
    																											},
    																											"arguments": [
    																												{
    																													"applicant": {
    																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
    																														"kind": "OMS"
    																													},
    																													"arguments": [
    																														{
    																															"applicant": {
    																																"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
    																																"kind": "OMS"
    																															},
    																															"arguments": [
    																																{
    																																	"applicant": {
    																																		"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
    																																		"kind": "OMS"
    																																	},
    																																	"arguments": [
    																																		{
    																																			"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																																			"kind": "OMS"
    																																		}
    																																	],
    																																	"kind": "OMA"
    																																}
    																															],
    																															"kind": "OMA"
    																														}
    																													],
    																													"kind": "OMA"
    																												}
    																											],
    																											"kind": "OMA"
    																										},
    																										{
    																											"applicant": {
    																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																												"kind": "OMS"
    																											},
    																											"arguments": [
    																												{
    																													"applicant": {
    																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
    																														"kind": "OMS"
    																													},
    																													"arguments": [
    																														{
    																															"applicant": {
    																																"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
    																																"kind": "OMS"
    																															},
    																															"arguments": [
    																																{
    																																	"applicant": {
    																																		"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
    																																		"kind": "OMS"
    																																	},
    																																	"arguments": [
    																																		{
    																																			"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																																			"kind": "OMS"
    																																		}
    																																	],
    																																	"kind": "OMA"
    																																}
    																															],
    																															"kind": "OMA"
    																														}
    																													],
    																													"kind": "OMA"
    																												}
    																											],
    																											"kind": "OMA"
    																										}
    																									],
    																									"kind": "OMA"
    																								}
    																							],
    																							"kind": "OMA"
    																						},
    																						{
    																							"applicant": {
    																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    																								"kind": "OMS"
    																							},
    																							"arguments": [
    																								{
    																									"applicant": {
    																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
    																										"kind": "OMS"
    																									},
    																									"arguments": [
    																										{
    																											"applicant": {
    																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
    																												"kind": "OMS"
    																											},
    																											"arguments": [
    																												{
    																													"applicant": {
    																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
    																														"kind": "OMS"
    																													},
    																													"arguments": [
    																														{
    																															"applicant": {
    																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
    																																"kind": "OMS"
    																															},
    																															"arguments": [
    																																{
    																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																																	"kind": "OMS"
    																																}
    																															],
    																															"kind": "OMA"
    																														}
    																													],
    																													"kind": "OMA"
    																												}
    																											],
    																											"kind": "OMA"
    																										}
    																									],
    																									"kind": "OMA"
    																								},
    																								{
    																									"applicant": {
    																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
    																										"kind": "OMS"
    																									},
    																									"arguments": [
    																										{
    																											"applicant": {
    																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
    																												"kind": "OMS"
    																											},
    																											"arguments": [
    																												{
    																													"applicant": {
    																														"uri": "http://mathhub.info/MitM/core/geometry?Planes?planeNormal",
    																														"kind": "OMS"
    																													},
    																													"arguments": [
    																														{
    																															"applicant": {
    																																"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circlePlane",
    																																"kind": "OMS"
    																															},
    																															"arguments": [
    																																{
    																																	"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																																	"kind": "OMS"
    																																}
    																															],
    																															"kind": "OMA"
    																														}
    																													],
    																													"kind": "OMA"
    																												}
    																											],
    																											"kind": "OMA"
    																										}
    																									],
    																									"kind": "OMA"
    																								}
    																							],
    																							"kind": "OMA"
    																						}
    																					],
    																					"kind": "OMA"
    																				}
    																			],
    																			"kind": "OMA"
    																		},
    																		{
    
    MaZiFAU's avatar
    MaZiFAU committed
    																			"value": 4.626e-12,
    																			"kind": "OMLIT<Double>"
    
    																		}
    																	],
    																	"kind": "OMA"
    																}
    															],
    															"kind": "OMA"
    														}
    													],
    													"kind": "OMA"
    												}
    											],
    											"kind": "OMA"
    										},
    										{
    											"applicant": {
    												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
    												"kind": "OMS"
    											},
    											"arguments": [
    												{
    													"applicant": {
    														"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
    														"kind": "OMS"
    													},
    													"arguments": [
    														{
    															"applicant": {
    																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    																"kind": "OMS"
    															},
    															"arguments": [
    																{
    																	"applicant": {
    																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_pow",
    																		"kind": "OMS"
    																	},
    																	"arguments": [
    																		{
    																			"applicant": {
    																				"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
    																				"kind": "OMS"
    																			},
    																			"arguments": [
    																				{
    																					"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																					"kind": "OMS"
    																				}
    																			],
    																			"kind": "OMA"
    																		},
    																		{
    
    MaZiFAU's avatar
    MaZiFAU committed
    																			"value": 2.0,
    																			"kind": "OMLIT<Double>"
    
    MaZiFAU's avatar
    MaZiFAU committed
    																	"value": 3.141592653589793,
    																	"kind": "OMLIT<Double>"
    
    																}
    															],
    															"kind": "OMA"
    														},
    														{
    															"applicant": {
    																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    																"kind": "OMS"
    															},
    															"arguments": [
    																{
    																	"applicant": {
    																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    																		"kind": "OMS"
    																	},
    																	"arguments": [
    																		{
    																			"applicant": {
    																				"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
    																				"kind": "OMS"
    																			},
    																			"arguments": [
    																				{
    																					"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem?top",
    																					"kind": "OMS"
    																				}
    																			],
    																			"kind": "OMA"
    																		},
    																		{
    																			"applicant": {
    																				"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
    																				"kind": "OMS"
    																			},
    																			"arguments": [
    																				{
    																					"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?base",
    																					"kind": "OMS"
    																				}
    																			],
    																			"kind": "OMA"
    																		}
    																	],
    																	"kind": "OMA"
    																},
    																{
    
    MaZiFAU's avatar
    MaZiFAU committed
    																	"value": 3.141592653589793,
    																	"kind": "OMLIT<Double>"
    
    																}
    															],
    															"kind": "OMA"
    														}
    													],
    													"kind": "OMA"
    												},
    												{
    													"applicant": {
    														"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    														"kind": "OMS"
    													},
    													"arguments": [
    														{
    															"applicant": {
    																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_pow",
    																"kind": "OMS"
    															},
    															"arguments": [
    																{
    																	"applicant": {
    																		"uri": "http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleRadius",
    																		"kind": "OMS"
    																	},
    																	"arguments": [
    																		{
    																			"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem?top",
    																			"kind": "OMS"
    																		}
    																	],
    																	"kind": "OMA"
    																},
    																{
    
    MaZiFAU's avatar
    MaZiFAU committed
    																	"value": 2.0,
    																	"kind": "OMLIT<Double>"
    
    MaZiFAU's avatar
    MaZiFAU committed
    															"value": 3.141592653589793,
    															"kind": "OMLIT<Double>"
    
    														}
    													],
    													"kind": "OMA"
    												}
    											],
    											"kind": "OMA"
    										}
    									],
    									"kind": "OMA"
    								},
    								{
    									"applicant": {
    										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    										"kind": "OMS"
    									},
    									"arguments": [
    										{
    											"applicant": {
    												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    												"kind": "OMS"
    											},
    											"arguments": [
    												{
    													"applicant": {
    														"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
    														"kind": "OMS"
    													},
    													"arguments": [
    														{
    															"applicant": {
    																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
    																"kind": "OMS"
    															},
    															"arguments": [
    																{
    																	"applicant": {
    																		"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																		"kind": "OMS"
    																	},
    																	"arguments": [
    																		{
    																			"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?areaBase",
    																			"kind": "OMS"
    																		}
    																	],
    																	"kind": "OMA"
    																},
    																{
    																	"applicant": {
    																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt",
    																		"kind": "OMS"
    																	},
    																	"arguments": [
    																		{
    																			"applicant": {
    																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
    																				"kind": "OMS"
    																			},
    																			"arguments": [
    																				{
    																					"applicant": {
    																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																						"kind": "OMS"
    																					},
    																					"arguments": [
    																						{
    																							"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?areaBase",
    																							"kind": "OMS"
    																						}
    																					],
    																					"kind": "OMA"
    																				},
    																				{
    																					"applicant": {
    																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																						"kind": "OMS"
    																					},
    																					"arguments": [
    																						{
    																							"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll/Problem?areaTop",
    																							"kind": "OMS"
    																						}
    																					],
    																					"kind": "OMA"
    																				}
    																			],
    																			"kind": "OMA"
    																		}
    																	],
    																	"kind": "OMA"
    																}
    															],
    															"kind": "OMA"
    														},
    														{
    															"applicant": {
    																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    																"kind": "OMS"
    															},
    															"arguments": [
    																{
    																	"uri": "http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll/Problem?areaTop",
    																	"kind": "OMS"
    																}
    															],
    															"kind": "OMA"
    														}
    													],
    													"kind": "OMA"
    												},
    												{
    													"applicant": {
    														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
    														"kind": "OMS"
    													},
    													"arguments": [
    														{
    															"uri": "http://mathhub.info/FrameIT/frameworld?ConeProblem?height",
    															"kind": "OMS"
    														}
    													],
    													"kind": "OMA"
    												}
    											],
    											"kind": "OMA"
    										},
    										{
    
    MaZiFAU's avatar
    MaZiFAU committed
    											"value": 0.3333333333333333,
    											"kind": "OMLIT<Double>"
    
    MaZiFAU's avatar
    MaZiFAU committed
    							"value": "TruncatedConeVolume Scroll",
    							"kind": "OMLIT<String>"