{"entities":{"Q6887933":{"pageid":20824138,"ns":120,"title":"Item:Q6887933","lastrevid":84201698,"modified":"2026-05-13T12:58:36Z","type":"item","id":"Q6887933","labels":{"en":{"language":"en","value":"Solving linear functional inequalities with a computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8133254"}},"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":"Q6887933$6E3C3865-87A7-4AA9-91AE-94267604B46D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68e614f0c90bc5712bb5ceacbbb6ad6ef1803245","datavalue":{"value":{"text":"Solving linear functional inequalities with a computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6887933$73B6B45C-74F1-48BD-98BA-E9FDC94E2239","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28db8ee575d4d2ed220a4df99be6019f90ace5eb","datavalue":{"value":"10.1007/S00010-025-01218-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$A070A80A-BE29-4BFE-AC06-2F228B4117D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156eb18c924f75c2e726ae71f9b0391feb4fc6d7","datavalue":{"value":{"entity-type":"item","numeric-id":2055254,"id":"Q2055254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$580D9B4A-BF26-4534-98FC-85DED38F7E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82ad22c39ad24a152caffb607e93a401dffa1969","datavalue":{"value":{"entity-type":"item","numeric-id":264169,"id":"Q264169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$B63C9DBE-16CF-4454-BFAB-5BF95E10D677","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e8211cf89fb3e58cebf657950368971306be793","datavalue":{"value":{"entity-type":"item","numeric-id":176881,"id":"Q176881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$F3EC9ED5-76AE-43A3-A96F-948CC6619820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"500c42754512091ea24a7a0986a3bee447ae34bc","datavalue":{"value":{"time":"+2025-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6887933$E0866D43-6F4F-4CEE-9AEE-747550C85C7F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df3e8b7d7a29613abb42c611cf63720a6d04059c","datavalue":{"value":"The authors discuss a universal procedure and use results concerning stochastic orderings to obtain continuous solutions of inequalities of the form \\(a_{1} f(\\alpha_{1}x + (1-\\alpha_{1}) y) + \\cdots + a_{n} f(\\alpha_{n}x + (1-\\alpha_{n})y) \\leq 0, x,y \\in I\\), where \\(x, y\\) are any points form the interval \\(I \\subset \\mathbb{R}\\), \\(f : I \\rightarrow \\mathbb{R}\\) is an unknown function and \\(a_{i} \\in \\mathbb{R}\\), \\(\\alpha_{i} \\in [0, 1]\\) are given numbers. The authors assume that \\(a_{1} + \\cdots + a_{n} = 0\\) in this paper.\\N\\NIn the beginning, the authors give the basic tools and provide simple examples to explain their use. It is shown that the expressions the authors study may be written as Stieltjes integrals with respect to suitably constructed functions. The authors claim that a function \\(f\\) is convex of order \\(n\\) if \\(f[x_{1}, \\cdots, x_{n+2}]\\geq 0\\), \\(x_{1}, \\cdots, x_{n+2} \\in I\\). The authors provide a simple example of the application of the theorem that gives a simple sufficient condition for the higher-order convex ordering by considering the inequality \\[f(x)-3f\\left(\\frac{2x+y}{3}\\right)+3f\\left(\\frac{x+2y}{3}\\right)-f(y)\\leq 0.\\] Further, they show that a continuous function \\(f : \\mathbb{R} \\rightarrow \\mathbb{R}\\) satisfies the inequality \\[-2f(x)+3f\\left(\\frac{3x+y}{4}\\right)-2f\\left(\\frac{x+y}{2}\\right)+3f\\left(\\frac{x+3y}{4}\\right)-2f(y)\\leq 0\\] if and only if it is convex.\\N\\NMoreover, the authors present the construction of a computer program that solves inequalities of the above type after providing all necessary theoretical details. They divide the procedure in the following three steps: \\N\\N(1) They show that every continuous solution of the considered inequality is a convex function of some order;\\N\\N(2) They calculate the number of crossing points; and\\N\\N(3) They find the numbers \\(\\alpha_{i}\\), that is a crucial step. \\N\\NEach step is based on several results, properly discussed in the paper. The computer method used to achieve their result is a Python function named \\textbf{Linear\\(_-\\)inequality\\((\\cdot)\\)}. This function includes all the steps from 1 to 3 and works by accepting a considered functional inequality as input.\\N\\NThe authors explore some results with accompanying graphs and others without graphical representation. For a complete overview of all results, including graphs and the Python source code, refer to the GitHub URL \\url{https://github.com/CPOkeke/Solving-linear-functional-inequalities-with-a-computer}. The authors give the following examples on inequalities illustrating the application of the computer approach:\\N\\N\\begin{itemize}\\N\\item \\(\\frac{1}{3}\\big[f\\big(\\frac{2+\\sqrt{2}}{4}x+\\frac{2-\\sqrt{2}}{4}y\\big)+f\\big(\\frac{x+y}{2}\\big) +f\\big(\\frac{2-\\sqrt{2}}{4}x+\\frac{2+\\sqrt{2}}{4}y\\big)\\big] -\\frac{1}{12} (f(x)+f(y)) -\\frac{5}{12} \\big[f\\big(\\frac{5+\\sqrt{5}}{10}x+\\frac{5-\\sqrt{5}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{5}}{10}x+\\frac{5+\\sqrt{5}}{10}y\\big)\\big]\\leq 0\\).\\N\\N\\item \\(\\frac{4}{9}f\\big(\\frac{x+y}{2}\\big) +\\frac{5}{18}\\big[f\\big(\\frac{5+\\sqrt{15}}{10}x+\\frac{5-\\sqrt{15}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{15}}{10}x+\\frac{5+\\sqrt{15}}{10}y\\big)\\big] -\\frac{1}{12} (f(x)+f(y)) -\\frac{5}{12} \\big[f\\big(\\frac{5+\\sqrt{5}}{10}x+\\frac{5-\\sqrt{5}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{5}}{10}x+\\frac{5+\\sqrt{5}}{10}y\\big)\\big]\\leq 0\\).\\N\\N\\item \\(\\frac{4}{45}f\\big(\\frac{x+y}{2}\\big) +\\frac{5}{18}\\big[f\\big(\\frac{5+\\sqrt{15}}{10}x+\\frac{5-\\sqrt{15}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{15}}{10}x+\\frac{5+\\sqrt{15}}{10}y\\big)\\big] -\\frac{1}{20} (f(x)+f(y)) -\\frac{49}{180} \\big[f\\big(\\frac{7+\\sqrt{21}}{14}x+\\frac{7-\\sqrt{21}}{14}y\\big)+f\\big(\\frac{7-\\sqrt{21}}{14}x+\\frac{7+\\sqrt{21}}{14}y\\big)\\big]\\leq 0\\).\\N\\N\\item \\(\\frac{16}{45}f\\big(\\frac{x+y}{2}\\big)+\\frac{49}{180} \\big[f\\big(\\frac{7+\\sqrt{21}}{14}x+\\frac{7-\\sqrt{21}}{14}y\\big)+f\\big(\\frac{7-\\sqrt{21}}{14}x+\\frac{7+\\sqrt{21}}{14}y\\big)\\big]-\\frac{1}{30} (f(x)+f(y))-\\frac{5}{12}\\big[f\\big(\\frac{5+\\sqrt{5}}{10}x+\\frac{5-\\sqrt{5}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{5}}{10}x+\\frac{5+\\sqrt{5}}{10}y\\big)\\big] \\leq 0\\).\\N\\N\\item \\(\\frac{1}{3}\\big[f\\big(\\frac{2+\\sqrt{2}}{4}x+\\frac{2-\\sqrt{2}}{4}y\\big) +f\\big(\\frac{2-\\sqrt{2}}{4}x+\\frac{2+\\sqrt{2}}{4}y\\big)\\big] -\\frac{1}{9}f\\big(\\frac{x+y}{2}\\big) -\\frac{5}{18}\\big[f\\big(\\frac{5+\\sqrt{15}}{10}x+\\frac{5-\\sqrt{15}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{15}}{10}x+\\frac{5+\\sqrt{15}}{10}y\\big)\\big]\\leq 0\\).\\N\\N\\item \\(\\frac{1}{3}\\big[f\\big(\\frac{2+\\sqrt{2}}{4}x+\\frac{2-\\sqrt{2}}{4}y\\big) +f\\big(\\frac{2-\\sqrt{2}}{4}x+\\frac{2+\\sqrt{2}}{4}y\\big)\\big] -\\frac{1}{45}f\\big(\\frac{x+y}{2}\\big) -\\frac{1}{20} (f(x)+f(y)) -\\frac{49}{180} \\big[f\\big(\\frac{7+\\sqrt{21}}{14}x+\\frac{7-\\sqrt{21}}{14}y\\big)+f\\big(\\frac{7-\\sqrt{21}}{14}x+\\frac{7+\\sqrt{21}}{14}y\\big)\\big]\\leq 0\\).\\N\\N\\item \\(\\frac{5}{12}\\big[f\\big(\\frac{5+\\sqrt{5}}{10}x+\\frac{5-\\sqrt{5}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{5}}{10}x+\\frac{5+\\sqrt{5}}{10}y\\big)\\big] -\\frac{1}{12} (f(x)+f(y)) -\\frac{2}{3}f\\big(\\frac{x+y}{2}\\big)\\leq 0\\).\\N\\N\\item \\(\\frac{5}{18}\\big[f\\big(\\frac{5+\\sqrt{15}}{10}x+\\frac{5-\\sqrt{15}}{10}y\\big)+f\\big(\\frac{5-\\sqrt{15}}{10}x+\\frac{5+\\sqrt{15}}{10}y\\big)\\big] -\\frac{1}{6} (f(x)+f(y)) -\\frac{2}{9}f\\big(\\frac{x+y}{2}\\big)\\leq 0\\).\\N\\N\\item \\(\\frac{49}{180} \\big[f\\big(\\frac{7+\\sqrt{21}}{14}x+\\frac{7-\\sqrt{21}}{14}y\\big)+f\\big(\\frac{7-\\sqrt{21}}{14}x+\\frac{7+\\sqrt{21}}{14}y\\big)\\big]-\\frac{7}{60} (f(x)+f(y))-\\frac{14}{45}f\\big(\\frac{x+y}{2}\\big) \\leq 0\\).\\N\\N\\item \\(\\frac{1}{2} \\big[f\\big(\\frac{3+\\sqrt{3}}{6}x+\\frac{3-\\sqrt{3}}{6}y\\big)+f\\big(\\frac{3-\\sqrt{3}}{6}x+\\frac{3+\\sqrt{3}}{6}y\\big)\\big]-\\frac{1}{3}\\big[f\\big(\\frac{2+\\sqrt{2}}{4}x+\\frac{2-\\sqrt{2}}{4}y\\big)+f\\big(\\frac{x+y}{2}\\big) +f\\big(\\frac{2-\\sqrt{2}}{4}x+\\frac{2+\\sqrt{2}}{4}y\\big)\\big] \\leq 0\\).\\N\\N\\item \\(3f(\\frac{3x+y}{4})+3f(\\frac{x+3y}{4})-f(x)-4f(\\frac{x+y}{2})-f(y)\\leq 0\\).\\N\\N\\item \\(9f(\\frac{2x+y}{3})-8f(x)-f(y)\\leq 0\\).\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887933$12719FD8-1DA7-4E6F-B979-E4F94988DC1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"32f0c25f9ecf04b5fd6db29128977d340c6fc486","datavalue":{"value":{"entity-type":"item","numeric-id":589965,"id":"Q589965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$775E435B-5AAB-4C53-87A3-EA8252842D3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"926a94849bae9cf6ddbb7bc98a7d2798e0adccf9","datavalue":{"value":"39-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$921324CC-807F-47D7-8805-3FF21812259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba7a0f626b40f2f0685d4ff8e04f6e3f86913be8","datavalue":{"value":"39B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$B03ACF44-DFA5-477D-9468-758090B0D936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e47afcf5bc34959cb796e473da4539181b00ab12","datavalue":{"value":"39B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$73AB6CB9-C0D1-46E8-81BE-843E06DDCAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fedc54d041dbaf3922f156ba09e5514c44ab5169","datavalue":{"value":"60E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$33ECFE71-ED0D-4E0A-A8EA-2690D34C62B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1370c07e3bee774bec8714185f9afe83c7d2085f","datavalue":{"value":"65Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$6CFCC455-BEE2-4EBF-8E59-D5024E6FC801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$4E8990AC-7392-438D-95C6-0046EFCFA2BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8aa7aafaa1f679ee773d655041d6c8208273efb","datavalue":{"value":"8133254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887933$9101D7ED-02D1-40EF-9447-51A8C33AAA45","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$251A21C9-F701-4152-A54C-797BE536EF54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a34549a14396b7228b5fe579daeb1b1aab33456","datavalue":{"value":"linear functional inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887933$9EB04A03-3FC3-4097-9A3E-DF831C556C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34366df9fdf359e063b2c24ca51a2956f762dc08","datavalue":{"value":"higher-order convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887933$3C8B3307-E037-4841-9E4C-02665E27212F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed310f934fa8c3173cb55ce084e3a73cfdfd5d16","datavalue":{"value":"stochastic orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887933$F19090C7-A6FC-4362-8A6C-0EEB90F9548E","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":"Q6887933$61CDB37E-8416-4137-85E1-6F675A3545F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8578d27a49f4c27fa375b4a3dd916ac5259e547c","datavalue":{"value":{"entity-type":"item","numeric-id":980074,"id":"Q980074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$D62B7898-334E-477C-902C-CECA6D6C3791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9318178c2f44756575153784d65fd798c7711b66","datavalue":{"value":{"entity-type":"item","numeric-id":984372,"id":"Q984372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$6072CE2D-6EA5-43C8-8CFD-F882FAF39D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f475a296c72979303e22c8876b84d7cb47e30f20","datavalue":{"value":{"entity-type":"item","numeric-id":3580648,"id":"Q3580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$8CDD938C-F9B5-48B4-8A55-41FE4F8DA516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e2a5ca70626559ecda30c4e75f075e9c20ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":785649,"id":"Q785649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$E89DA24F-A7DB-4014-98B5-3B956A851CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0772e769e6aedd0d1060b59cc8cf82f81d5286","datavalue":{"value":{"entity-type":"item","numeric-id":1364863,"id":"Q1364863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$4C3B40C1-386E-40F1-9791-C6767821EF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c8633c20ea87b8b9d479a657fd8ef7de078608","datavalue":{"value":{"entity-type":"item","numeric-id":4222609,"id":"Q4222609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$156E7090-0EC3-4675-8AFA-22BE76B8EA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad99b00ed76ba6d612eda7c32554734d4dd2d397","datavalue":{"value":{"entity-type":"item","numeric-id":4269211,"id":"Q4269211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$15ED7B0E-971F-4069-A0FB-3FB8B85C00AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b2842f656edc8b306ea16a538332731d6418ef","datavalue":{"value":{"entity-type":"item","numeric-id":3504144,"id":"Q3504144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$A2150DE6-EC8A-481C-9E7E-995A963ECC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feda7d0b303295d8b0e2f4bfa1b943ad742767aa","datavalue":{"value":{"entity-type":"item","numeric-id":1888651,"id":"Q1888651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$386AFCBA-8C1F-4CBF-96CC-DD2D0ECCF2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52c0cf6192ad8d186d4e8b819824752422e7102","datavalue":{"value":{"entity-type":"item","numeric-id":3391382,"id":"Q3391382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$540898ED-03B8-4729-A006-4A56F9E45E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063cbb57229a8f4b180783ed4d7dcc9b24fe45cc","datavalue":{"value":{"entity-type":"item","numeric-id":5895967,"id":"Q5895967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$58D07D03-19E3-41B4-83F2-542613076813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5a864fd170def307f1d9ae69a5f7c0605ce888","datavalue":{"value":{"entity-type":"item","numeric-id":2166150,"id":"Q2166150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$0AA5FD74-6D98-4BD8-AC56-307187F5E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f3c0eb0337fa7f9b82cf2e0e50bd0416d40afb","datavalue":{"value":{"entity-type":"item","numeric-id":321839,"id":"Q321839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$7FF35674-5CF3-4A3C-AF12-D994597093CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c4f7767ab7439383e28a28ff9d594319e968cd","datavalue":{"value":{"entity-type":"item","numeric-id":6918674,"id":"Q6918674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$5876CAB9-894B-4E76-A8AF-9D14832DB8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a33aee8256a436850fa1d2467445c3b609d36bb","datavalue":{"value":{"entity-type":"item","numeric-id":2307658,"id":"Q2307658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$61791A45-C6E2-4BA2-A494-CB9BD849D9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbe2b3e555efaa00db2ce77c07f1a4f02ed19a4","datavalue":{"value":{"entity-type":"item","numeric-id":2134905,"id":"Q2134905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$44EB9702-D0A7-4D39-8435-14CE1E4D1912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d619eae2dc8112d1c1c58cee2948b6823c56d7","datavalue":{"value":{"entity-type":"item","numeric-id":2348390,"id":"Q2348390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$B7E55365-2E6A-4616-9751-AA8F9B44431F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82727a10b7cd7c4a37a5337feb5d02327529d1a4","datavalue":{"value":{"entity-type":"item","numeric-id":4980056,"id":"Q4980056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$E91E69E1-F36F-4B83-A0ED-0C42D3A5E7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265a354f6c3362155fc3b316fb567f65064972aa","datavalue":{"value":{"entity-type":"item","numeric-id":5272413,"id":"Q5272413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$3147CAD0-4B78-4F44-907A-C85B026C4D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9adf81a8dcf7381a88057459ea5a1660459d590e","datavalue":{"value":{"entity-type":"item","numeric-id":852427,"id":"Q852427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$4CDCDCF6-6AA5-49D4-8546-898C5729090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e6991e147fd0726319009295a6bf68499c59c","datavalue":{"value":{"entity-type":"item","numeric-id":4002300,"id":"Q4002300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$BDD93BD5-19D7-4013-A783-FFEE4B611829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854ab09cf7171bcf80357281de1b7489f7064e28","datavalue":{"value":{"entity-type":"item","numeric-id":2350287,"id":"Q2350287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$6BB72AC0-5C2A-461F-939B-1E89949BE342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aa9d4881b6167dd1db185bcf70d79770ce165b","datavalue":{"value":{"entity-type":"item","numeric-id":2658877,"id":"Q2658877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$0D50BA15-C3A9-446A-B9E9-0FE27D1B78BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ca78fc913a4a327e56a6ee26309ff995c3164a","datavalue":{"value":{"entity-type":"item","numeric-id":6140070,"id":"Q6140070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$4C3F2A96-4DC8-4592-BA1E-0FA000F12180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1687e4f8ea1d07242e3725f43792a057e72408","datavalue":{"value":{"entity-type":"item","numeric-id":5433890,"id":"Q5433890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887933$37E4C6BC-98EA-491A-8A12-4C87E78FF1AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving linear functional inequalities with a computer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_linear_functional_inequalities_with_a_computer"}}}}}