{"entities":{"Q5262757":{"pageid":7292333,"ns":120,"title":"Item:Q5262757","lastrevid":52306781,"modified":"2026-01-21T09:59:10Z","type":"item","id":"Q5262757","labels":{"en":{"language":"en","value":"A procedure for proving special function inequalities involving a discrete parameter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6459443"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262757$88569555-97BE-4308-B620-2D96FFFC0F9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a7906ad6c5d6e3bf748458719e1ae923baa3ecb","datavalue":{"value":{"text":"A procedure for proving special function inequalities involving a discrete parameter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262757$75947EA9-E1D9-4235-BCF5-AEF83E6C7C84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e2a7ae1aea6149caca9cdf912939490b5862159","datavalue":{"value":"1360.68933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$1BF0A8D1-55F8-4580-A60A-6F5E6B18A229","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a8fc8cb5944450bc4aa4fac6b792d7fa9ecca50","datavalue":{"value":"10.1145/1073884.1073907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$40833D09-FE9B-4353-982D-EAEDC8A1777C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0550d882eb87a1e704b56043eb12b52a9a94094","datavalue":{"value":{"entity-type":"item","numeric-id":457078,"id":"Q457078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262757$5E17E8CD-B8B3-4361-B123-785CC9A36E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e34375b1d44004fc65a252d19b9e51bf0f0a020","datavalue":{"value":{"entity-type":"item","numeric-id":392146,"id":"Q392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262757$E462BC97-FECF-46F7-BFCC-10A7AF6BED70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37b9c7314536760cad9d3a845cf3d15c16dd6e70","datavalue":{"value":{"entity-type":"item","numeric-id":5262735,"id":"Q5262735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262757$A271D682-53AA-49AB-AD5F-52BBF664752B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38321b4e664b4a74165b417293e336a01a814025","datavalue":{"value":{"time":"+2015-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262757$50C972B7-9CC2-4A08-A617-30D3F02AB0F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"901e82c0ef4c5ac544b3fd7668e69846a6950644","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.359","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262757$363AB6EC-0F56-4ED8-B64A-1D943D657DBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$88BD0744-C948-49B8-9914-1F6BB6998E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a44d5e731b0cda80053db6ad84346bf1a3e85d88","datavalue":{"value":"26D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$5D6E256D-9115-4A17-B6B1-EF2466D09E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0582a11cd91bee5fb0e516ec28b7e777c918d03b","datavalue":{"value":"33C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$B27E9523-2FED-42A0-9A90-20BACC400007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$9E7EE453-35D4-4D22-B6A0-16B3C7063F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$83F08FFF-B1C8-4280-9B02-6769E4A2AE18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9d3e36dcfbb496976ed53589c84a1e0a7024557","datavalue":{"value":"6459443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$1FD10E77-C3B4-4540-A1BF-4F2EB88E4263","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8eddecc5ce394430330a44a53dc94ae4fe184","datavalue":{"value":"computer proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262757$6D17AB7A-1F82-476A-BFCF-09A4B793C1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262757$A003C346-CBF3-4C11-907C-B5283B15B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dcefb52ae4954b255af60bc8280a5163401a38","datavalue":{"value":"inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262757$74607EE8-219C-4113-A9B1-1E8780E7589E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec82de4d18400b7abbc9e9ad63527fc444f8047","datavalue":{"value":"special functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262757$C466E866-F54E-4ED9-B697-2D86C8F67B3A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262757$D904F827-454F-4E0D-AE0A-BD12762494AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5e39e16386f182f1ef2e79f1048b56956235c65","datavalue":{"value":"W2002543270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262757$5023E7B6-78A5-4326-A4E7-CCA68FC60868","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d7a735969eeb3949187ed708bd43e66adf91f1","datavalue":{"value":{"entity-type":"item","numeric-id":3602576,"id":"Q3602576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cb1dbf0873c6c305a31a9063d629f7cf2f16bf","datavalue":{"value":{"amount":"+0.887479841709137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262757$F0EDA00F-9C76-4522-B68B-0EBC4AC502D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b97bee572372d1e7a536475a0f4a725d4602a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3102741,"id":"Q3102741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165cde0524eb19e3cde6d5248b81ff36b5dbdaeb","datavalue":{"value":{"amount":"+0.7586513161659241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262757$B3797BE1-F259-437A-94A9-65E327C8DC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd5f93221a0db6331aea6d0a0d171162f3d63f3","datavalue":{"value":{"entity-type":"item","numeric-id":2634304,"id":"Q2634304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6117f8b67b6f8d04fee76e9477da176908761eab","datavalue":{"value":{"amount":"+0.7562190890312195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262757$AF232DF7-B6A2-4BDB-AF44-C67DA80B3124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fd89973533409fe87cf8328c7f04b80807dd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4531854,"id":"Q4531854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64651900f1c8635a14d51c45f0e6d3b8776030d3","datavalue":{"value":{"amount":"+0.750649094581604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262757$E1833203-9106-4D26-B2B8-FBEF98F7553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b360687fbb91abbd8b131ebd7a12117c200994da","datavalue":{"value":{"entity-type":"item","numeric-id":5505501,"id":"Q5505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a4fe8d32e9b5fe0333fcc9a8a2db2e7de212f7","datavalue":{"value":{"amount":"+0.7484162449836731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5262757$1F2834F3-1D25-4C34-80BE-210BF9BA45DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262757"}}}}}