{"entities":{"Q3178360":{"pageid":3189069,"ns":120,"title":"Item:Q3178360","lastrevid":86390033,"modified":"2026-06-03T19:55:20Z","type":"item","id":"Q3178360","labels":{"en":{"language":"en","value":"Automated inequality proving and discovering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603043"}},"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":"Q3178360$24D203B9-47A1-4033-B8D9-2F4D03E61973","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e13665f002f2fb1ca685389b8a0442d8f92947f2","datavalue":{"value":{"text":"Automated Inequality Proving and Discovering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178360$381B5ADE-B3EB-4030-8301-9D378B112D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9680b707fc476b21b7f1fe08fff25dfe296a21b9","datavalue":{"value":"1362.26001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$BA653B6A-F36A-4037-A4A7-391583485061","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c072f841830c8cb88c139067a1d5eb641ee8642","datavalue":{"value":"10.1142/9951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$E0AD1E21-2EB1-4744-9E5F-CEE81604B8DD","rank":"normal"}],"P16":[{"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":"Q3178360$B32B8130-1148-4548-8B78-0602B573F76B","rank":"normal"},{"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":"Q3178360$17DDDB1E-DCAC-4318-A73E-4ADEA9D18D8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1bf7d6c96d6d6818f0f4bbac84ed11fc2c70e07","datavalue":{"value":{"time":"+2016-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178360$679F21C6-0B91-472F-894E-3BF0B186F549","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c7e9d10ff5c09d4881365aa8252c30b72f806c5","datavalue":{"value":"26-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$6919988E-7A51-40A2-957B-105963C39A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$565C7208-9C9D-4DF5-9DDF-FC37B3E67E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d78e388b062fdd7338bcba30f6223a2b5ff6bcb","datavalue":{"value":"26D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$8E9C475D-6BCF-4F48-A145-9E14BEB20DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$B839B53E-9311-4FB8-B024-A71ED46B10B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$43273090-97F5-4EFF-994F-C1B3BBB14DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$457BB8C3-9F7D-4E9A-97B9-27695C1798DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$290C2900-2832-4139-B670-FAA718BFBBCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"409aea4c85627ac68202bdb89907cef9a4f27d40","datavalue":{"value":"6603043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$F410A493-341D-4726-922A-735303956348","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291b83954b5e0a31a7429b9eb661d9bc7cc93177","datavalue":{"value":"polynomial inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178360$BDB89AA1-4F16-4D8A-950C-130C7B7D6BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da772a7d15f1e0e64cc9efacaff0ecb899b0c810","datavalue":{"value":"real polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178360$97A0FAA9-21D8-437C-8CCF-7F29A2A9AD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768cd7dd72dfceab9880fdf5c9505130b6fcbcd2","datavalue":{"value":"resultant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178360$A1EEED54-4AE6-45E5-A2DD-437BB93CBDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af6c0ce125de9c76915ea79b5fafd9e3a058261a","datavalue":{"value":"subresultant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178360$F136CB2B-5A13-4B13-93A3-0242F2C319A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178360$20102CCA-BEE7-4319-BC21-E80AC786E671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4edfbbae10f51c03a0767ecf26d0d454aeb01a","datavalue":{"value":"sums of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178360$48089C79-7E59-40F5-8E1E-BD8FFE40B4EC","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":"Q3178360$0EABB65A-6984-49BA-8A38-BC4C4011F583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfd90e0763a84ca2e3f11697d883ee6fa74ed0e1","datavalue":{"value":{"entity-type":"item","numeric-id":19736,"id":"Q19736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178360$3173B5FC-695D-46E1-8CB9-BA7213A9C5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84a210e590f65e4f56bcb13fb38e4ae9727f0b7d","datavalue":{"value":{"entity-type":"item","numeric-id":21230,"id":"Q21230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178360$C3003551-137D-4792-A25C-54415E83C6EA","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":"Q3178360$45C4D404-4F4B-42F3-8D0A-4EA00CD69617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbcf39b5adadc512efb11cad30a19c285f65ed59","datavalue":{"value":"https://doi.org/10.1142/9951","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178360$D169B003-2ED1-406A-AA13-E17185453D27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b492ee3d3705f21e5ab9c16ba8ed13f1f27effb","datavalue":{"value":"W2485122293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178360$EB3ED60C-ECCF-4C16-903A-DE1AFC85062A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904b268bef1b0f56408b711dfc7e30d9db025f1f","datavalue":{"value":{"entity-type":"item","numeric-id":865930,"id":"Q865930"},"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":"Q3178360$A53D5E43-D4E7-41D8-BC90-6A8F85656C40","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":"2802012b3ed477b9b3fab3c2dea5f0d88b004cb4","datavalue":{"value":{"amount":"+0.7967599034309387","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":"Q3178360$3F4ED5C5-CDBC-436C-A86B-C0391950DF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6155274faabcfd06df095ba4c04767c3502b4083","datavalue":{"value":{"entity-type":"item","numeric-id":2188988,"id":"Q2188988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7efe112d7615647fc5affc5bbbd535bd832645c","datavalue":{"value":{"amount":"+0.7887385487556458","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":"Q3178360$93552570-47AA-427A-8855-F8C3CC1EE273","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":"869f1c8d7ee00945d5255d80d5641500ea3e9036","datavalue":{"value":{"amount":"+0.7828680872917175","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":"Q3178360$BD0A6061-9923-48B8-BCD4-C20014D36A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7dad0160e1987f7fff1d7bff8f73b5f56a3c271","datavalue":{"value":{"entity-type":"item","numeric-id":1966106,"id":"Q1966106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033d35e9faf27be474e3f365828014341b66db6e","datavalue":{"value":{"amount":"+0.7643691301345825","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":"Q3178360$A781D0FE-B856-4542-ABFC-390255EF0EF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated inequality proving and discovering","badges":[]}}}}}