{"entities":{"Q865930":{"pageid":867778,"ns":120,"title":"Item:Q865930","lastrevid":64975245,"modified":"2026-04-11T23:28:23Z","type":"item","id":"Q865930","labels":{"en":{"language":"en","value":"A complete algorithm for automated discovering of a class of inequality-type theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128501"}},"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":"Q865930$24B85752-5310-44FD-B625-1A4F59140C6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a578b87fc25c27a4294ed24274cd901f0e52396d","datavalue":{"value":{"text":"A complete algorithm for automated discovering of a class of inequality-type theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865930$2F998171-BFAD-4846-9873-9C8D41AE30D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d268138edb3ec6f0ef0f630e46d4f81def9c20ed","datavalue":{"value":"1125.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865930$B60C23B0-BA8C-4815-B8FA-BD8E60908ABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8853d6c0775ad54755cc913ff328f1ae7654339e","datavalue":{"value":"10.1007/BF02713938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865930$B7A53D7A-3E59-41B9-BA44-FC501CE164A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec7461111d9cda8617112c815269fb3ec99ff58","datavalue":{"value":{"entity-type":"item","numeric-id":215660,"id":"Q215660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$DA53D063-2D07-486E-B12D-7C586DEA1B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9707754086af6241d3ee4dc58d9ec324f0ca8fd","datavalue":{"value":{"entity-type":"item","numeric-id":215658,"id":"Q215658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$1ECEF03E-41FF-404E-A942-C5DC0119DAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$EB95B54B-C220-4E63-8486-CACD8C1FF597","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$ED1544EC-E508-417F-9ADD-AD84F5DA61BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865930$EE6E87D0-2ED0-4480-B6C9-9EA8A0E1477B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865930$D7248AE8-2DC7-461F-B7F0-F6AE051FABFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865930$DB601B00-62C0-4435-9D00-00DAA06820A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865930$0FD01809-691E-4135-86C1-9A2AC501DACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"145677f951fd9aaa0c8616a262ed7367901f4909","datavalue":{"value":"5128501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865930$FA160799-F52A-42C5-9766-FFB67CEF8CDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"897ad07b78d9f7c88cf81956b6f6dfd20e49b273","datavalue":{"value":"discriminant sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q865930$981199F7-4136-4CB4-A7F2-A14ABB600892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882dc88a52b62f02b50a53e007ab8a03004cd118","datavalue":{"value":"WR algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q865930$041FCBBC-A236-44B1-A61E-6483870580A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9f55947910366a552f7ca230f94a00b00a3d21","datavalue":{"value":"Wu's elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q865930$7FB5DB49-691C-4C83-BA01-F09AD870C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a4a5b0277a8111e8f9e694e5b7cb94c95d631","datavalue":{"value":"partial cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q865930$9D03C806-91B5-4172-879E-4367B479624D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$C82E0248-B1C8-4C33-BFDD-D5C32359E3D0","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":"Q865930$C6D83931-EB03-444C-BD9B-A0CCF6E00B92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a515cdff51b103086c852b009d0ff0219b9efdbb","datavalue":{"value":{"entity-type":"item","numeric-id":4324570,"id":"Q4324570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$80DF97C8-412F-47E6-9FB4-172DAC38411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5881c5116d45e36c26e65b8619474a2c1f63ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1303099,"id":"Q1303099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$7BB61969-B3DE-4496-A4D7-9F305FF090C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6cf7228f523b812b7b460d41fd7896d80b945ef","datavalue":{"value":{"entity-type":"item","numeric-id":1808669,"id":"Q1808669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$59CE4849-F703-457F-8D30-D3885E5CD7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7934204b58231f341d08f5324f7311be7182d97","datavalue":{"value":{"entity-type":"item","numeric-id":1841477,"id":"Q1841477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$3A6B61B1-731D-4CB4-9333-AD098578DC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478ddaeb0ebd9a5fb392b818612e3c4fd9e7702c","datavalue":{"value":{"entity-type":"item","numeric-id":674718,"id":"Q674718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$D2224D6E-0458-46FA-B1FE-3F06DB9913E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$5B64FB91-E9DF-44D7-9B1D-EF9E21BB938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efda1b1edde59aba7842f2b6b603ab1ff7d0845","datavalue":{"value":{"entity-type":"item","numeric-id":1912495,"id":"Q1912495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$16B5279E-1B81-49B9-84A4-CEBC31DB72E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$01BEFD2D-B330-4573-898A-125F3DB979E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$68F4A54C-1EA5-4C1C-B535-E07E18055F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4155e211966f4276804026a05f4801bceb7441e6","datavalue":{"value":{"entity-type":"item","numeric-id":1064352,"id":"Q1064352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865930$4836D5EC-77E0-458C-BDCE-C50C9EC74B27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a81144d5b49b153add2313d4a43268d73b38e0e4","datavalue":{"value":"https://doi.org/10.1007/bf02713938","type":"string"},"datatype":"url"},"type":"statement","id":"Q865930$04D0BF9E-E65F-4EB2-BC20-4A2CED372CD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2835f76781395b4eb216fd71670a963c8ca8d101","datavalue":{"value":"W1992483196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865930$2C8E982F-627D-4CAC-B4DA-E3E5DF8B1BFB","rank":"normal"}],"P1643":[{"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":"115c9617253961f3432d350ca921c50f02f89819","datavalue":{"value":{"amount":"+0.9214326739311218","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":"Q865930$809150B2-68E4-4A3B-8400-2CC78791CA57","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":"2eabb18fc617f52e8d6ff44a8920fbb3fadc4547","datavalue":{"value":{"amount":"+0.9171419143676758","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":"Q865930$35E6AFEB-BE1B-404C-9193-5BF9E9964187","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":"33cbc0e631de96b87d305f8d2e5f952964ad344e","datavalue":{"value":{"amount":"+0.8231674432754517","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":"Q865930$111B538B-8C80-493D-8BFC-56BB9998A678","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":"dbc88f3ac4f54fe77b5dcdce6f3bfef03b6a24f8","datavalue":{"value":{"amount":"+0.8178180456161499","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":"Q865930$B7FF28EC-652D-4809-B9C5-DA2F97912355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8172f9cb320a62eaa12f80bf4f1dc92214b160a","datavalue":{"value":{"entity-type":"item","numeric-id":3178360,"id":"Q3178360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0014b1c196e52504db863c7c40a17269323e41e4","datavalue":{"value":{"amount":"+0.7979569435119629","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":"Q865930$FE0F3DC6-EF47-4EE6-8F6D-0949B0A78560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete algorithm for automated discovering of a class of inequality-type theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_algorithm_for_automated_discovering_of_a_class_of_inequality-type_theorems"}}}}}