{"entities":{"Q3102741":{"pageid":3113456,"ns":120,"title":"Item:Q3102741","lastrevid":51373121,"modified":"2026-01-17T23:41:38Z","type":"item","id":"Q3102741","labels":{"en":{"language":"en","value":"On one method of proving inequalities in automated way"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5979329"}},"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":"Q3102741$E9C1AC5B-9BD5-4BBD-A1FB-B86E8793DA51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"855de68bdc0e8167f88490eb5a06a855aa5be1b4","datavalue":{"value":{"text":"On One Method of Proving Inequalities in Automated Way","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3102741$95657519-FCDC-4480-B7DD-48B2B29D63AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"784474d0b5b8cbe6098d4adc9a0db9d6a02fe289","datavalue":{"value":"1350.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102741$A05F6DE0-8587-428D-9E90-2C6AF84681DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"309b05661b355ea19f83584c9dbcfe0b57c951ce","datavalue":{"value":"10.1007/978-3-642-25070-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102741$B4F67362-8811-49E6-8957-C21159589B7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a44774625f957312bbbebc884fe42f11ed6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":491568,"id":"Q491568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$F8493ECA-2793-436B-B3EA-713D4BE49B80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$AAE1E2A5-51C3-4A07-854E-B087F909CC93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3102741$35F061F8-85D0-4E4C-96EC-4F3AE1D03A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102741$D6964CAC-CCDA-4A68-9FC7-9DFC33DCB648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102741$99B98766-1BE0-46D0-BB2C-26AD3A4FE14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143bf73f3f2801b42b1d69fc571c2af593dde5c","datavalue":{"value":"51M16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102741$DEE87FA5-2385-4270-B1B2-0F54A1A7C905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8ccc6c55ce90d79e6df59c44b4120e30714b10b","datavalue":{"value":"5979329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102741$67A35141-A1C4-4137-843C-07B25357F18B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6dff05f1b3599f765d01df0ef81314822073e73","datavalue":{"value":"geometric inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3102741$495148B4-8A1E-43FC-AA2F-151329B73C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43dc8fe8f1ab231872a9f4f599c0cc472dd10ff","datavalue":{"value":"automated geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3102741$5A54F5DE-A32A-47C5-948E-644DD4338DBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7922910f294a9803858a673fdbe62341cd39b532","datavalue":{"value":{"entity-type":"item","numeric-id":13007,"id":"Q13007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$88936E21-0C3B-4997-A02E-061A819F1B22","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":"Q3102741$B7C9956E-02CA-4E71-8490-B9A53B0C3789","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87a2c5f2c905e27fb7d994f9a095ef5bb9abcf1d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25070-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3102741$47A6FD85-8CA1-439E-91ED-EFB3BDD0FF40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93d01799cb46770f380559b44f263be0a9e7393e","datavalue":{"value":"W92926489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102741$D305517E-28F3-46B4-AE6E-1B673E01D4D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b98068c1cca3583ab8c1310f9614c4363bbeec","datavalue":{"value":{"entity-type":"item","numeric-id":5563234,"id":"Q5563234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$A9BE093A-8AA1-45F1-8610-20447EED5844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$FA50BDCB-F4B3-4D2F-BB6E-6304CB447AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81add882687483fd918df0010fcaf5b17ef28","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$04C99308-8B35-4835-A845-0D31F7F86ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b925cccc1e58506ad359aa217b61004f927f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":1216630,"id":"Q1216630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$D6120B4B-49B1-42F4-ABBE-606A3E886BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2d39d0b26650537dd03ca1a0d9186a9a2bd465","datavalue":{"value":{"entity-type":"item","numeric-id":415953,"id":"Q415953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$CE2F36F2-DDB3-46A7-B318-9426C5ED6111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f1b17812e6037d2b7d557b0a7606920332b887","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$D0B7904F-9A81-4683-8843-3802EA1C8821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb907451cecb549b44c6551fa6231389c491af0f","datavalue":{"value":{"entity-type":"item","numeric-id":4523518,"id":"Q4523518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$C8460742-8FB5-4903-93F2-E6426B732DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e6b1bd06448aa661cd711094d49a57e92bc300","datavalue":{"value":{"entity-type":"item","numeric-id":5433133,"id":"Q5433133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$E0714D82-E8B0-48B0-9CE6-9AFB49BD93A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33e85decbd3dde336af3f30eb71587cc94e59e","datavalue":{"value":{"entity-type":"item","numeric-id":4238968,"id":"Q4238968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$22DE56A8-7AE4-4A9E-8292-D29033FAA300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b122ba48fb88f4d42b5b90c34bde3276063ec4e","datavalue":{"value":{"entity-type":"item","numeric-id":4496287,"id":"Q4496287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$3874F036-EC62-4629-89B5-4DE9B7FB3156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6789dca8231e015f9afe019411156ee6c5c30079","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$C09AE194-A199-47E2-95FB-ABE2CC322C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d80d10655647513f1efec0d8560effd4b94c30","datavalue":{"value":{"entity-type":"item","numeric-id":1125620,"id":"Q1125620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$65FF836B-FF1A-40F8-BDB1-9D1F10AE9013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef9736f8b49328d5416cb2c5a0be1ca90d2c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4823164,"id":"Q4823164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$2ECF5951-7569-47B2-8C50-752A0148F1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4fde4a3a6c5f45a04085405a3f73f111c6a04cc","datavalue":{"value":{"entity-type":"item","numeric-id":4531854,"id":"Q4531854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102741$D8F3A07E-7EE6-4185-9B8F-C80155611B17","rank":"normal"}],"P1643":[{"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":"195a20176e16cabf3e5e34a010009ef0f2f35778","datavalue":{"value":{"amount":"+0.863918662071228","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":"Q3102741$9B268B45-61C6-49B3-B4AC-61602799130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e5de0c225e49be7f064d18c0d2c8372c1b24b8","datavalue":{"value":{"entity-type":"item","numeric-id":4946077,"id":"Q4946077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd2f7383778935d047c889e47298b8671e8a72c","datavalue":{"value":{"amount":"+0.8396852016448975","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":"Q3102741$5D83D9E8-FF8D-44F1-88E0-9E749D4DD6AB","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":"53dfd98081dac4e01fe297ae739e4eea0b4b6de0","datavalue":{"value":{"amount":"+0.831217348575592","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":"Q3102741$D5AFE865-03A7-4B3C-BDA6-5B38AB1E17CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d591099048177ce04bab4cf52b0f41d012c75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5751975,"id":"Q5751975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9a9734efc6e3ddbba3bdae64e54eb57ee8fbf4","datavalue":{"value":{"amount":"+0.8288498520851135","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":"Q3102741$2371AC0E-C762-4C6F-A610-EF2B86DED1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd0b2b5b09d3f3e907bda725894e0405d69ed2e","datavalue":{"value":{"entity-type":"item","numeric-id":4244779,"id":"Q4244779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988ac26c34ebcd392742ca99f1cc11120028346a","datavalue":{"value":{"amount":"+0.8097657561302185","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":"Q3102741$5AA44BBE-283E-4602-A771-698985AEEFF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3102741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3102741"}}}}}