{"entities":{"Q43927":{"pageid":43983,"ns":120,"title":"Item:Q43927","lastrevid":105428435,"modified":"2026-10-09T10:09:49Z","type":"item","id":"Q43927","labels":{"en":{"language":"en","value":"Special_Function_Bounds"}},"descriptions":{"en":{"language":"en","value":"AFP entry Special_Function_Bounds"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f04f0b9e6eba3d663703f9b7c12694c33293ab08","datavalue":{"value":"32216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43927$945180A3-CA54-4BC6-8F01-C087367DE711","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$88BD2E19-17D9-47D7-AB77-1B7A90E87DF0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d5c7f979b73dcc540d4721453e98b0654a19156e","datavalue":{"value":"https://www.isa-afp.org/entries/Special_Function_Bounds.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43927$2171BBE3-CE0D-425B-AAFE-221B009E2827","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43927$2AB5F7DC-46E8-40EE-BC73-CB7D936FC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43927$E3FBC5F5-CF08-48E2-8BB0-D973632203BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43927$3A0A368C-E9E9-4493-A9E3-47E30BB9B6E4","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c2ac4e1b3ad95361592c0c270f5d8415957c4b5d","datavalue":{"value":{"entity-type":"item","numeric-id":40322,"id":"Q40322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$19AA0EC7-AC93-4006-A30A-755E86EFDA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$F2BAD6DC-DB06-49BC-AA2E-14C4D1000621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$37490D9E-E03A-43A3-A124-0823644FF21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$A12CC939-9362-42F4-B4F7-D9E01A6353E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"24c387ececd24fa7a9a4716819d51e1718cd572b","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$A04BBB21-693D-4593-83F0-2B49852EEC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$E196051B-92C5-4574-97BA-09A73846DEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$1718E6D7-A24D-486B-B0C3-2A69612D1E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$9D78DD2C-2DB2-4690-A1D6-3619FB89147B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$7F017E9D-DF98-4E09-9DE9-40660337E0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"654080dee7524f5000d195afeb10c1de4245a272","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$15EA1926-3DFE-4854-8ED4-05B587628CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9eb436930ab1f6d235b354c651322b547341064b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$B4E3D95D-7275-48F1-87E6-51662FCB275D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$FE44F223-0C3A-48EC-A9E8-E84F5D764D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5775bc1f7044a1f46d2ead67a978c68b9ab312c","datavalue":{"value":"https://isa-afp.org/entries/Special_Function_Bounds.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43927$ADB86054-9C2B-43C0-8E0F-3A0E66391E2B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q43927$232820F7-6ED8-41A2-8AF0-6BB185308BDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a4de599d1df275f22e97a806dd757e14b66f623","datavalue":{"value":"This development proves upper and lower bounds for several familiar real-valued functions. For sin, cos, exp and sqrt, it defines and verifies infinite families of upper and lower bounds, mostly based on Taylor series expansions. For arctan, ln and exp, it verifies a finite collection of upper and lower bounds, originally obtained from the functions' continued fraction expansions using the computer algebra system Maple. A common theme in these proofs is to take the difference between a function and its approximation, which should be zero at one point, and then consider the sign of the derivative. The immediate purpose of this development is to verify axioms used by MetiTarski, an automatic theorem prover for real-valued special functions. Crucial to MetiTarski's operation is the provision of upper and lower bounds for each function of interest.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43927$B8D26F20-8D76-4EF8-9B06-FF95862FEC20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43927$DA6AFF98-FDFB-41D9-9246-467575878296","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"261f77de54eeb136722de4149ccf4b8cdb048622","datavalue":{"value":{"text":"Real-Valued Special Functions: Upper and Lower Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43927$0D510432-B280-40B9-B40B-7356BB7C5A3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$AEF563BE-4F08-4073-9CAE-EA9F625DE13B","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$9898415A-2788-4A81-A9E0-BFEEF3A6288C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"902a200df68efe27ce065ea2c04682ea087ef202","datavalue":{"value":{"entity-type":"item","numeric-id":7361263,"id":"Q7361263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$E5564079-D0F4-4EAA-8B73-1EEBBD1005BE","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43927$5440F142-0345-417E-9E84-DB1CBF6C9D97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special Function Bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_Function_Bounds"}}}}}