{"entities":{"Q3110281":{"pageid":3120997,"ns":120,"title":"Item:Q3110281","lastrevid":85796873,"modified":"2026-06-03T11:34:12Z","type":"item","id":"Q3110281","labels":{"en":{"language":"en","value":"Automatic inequality proving based on interval analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6000947"}},"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":"Q3110281$F9FECE10-08F3-413C-BAFF-AFAA3DC47802","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aee845cb0bd610478993d00983226aede61d99b","datavalue":{"value":"1240.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110281$8A4D56F7-5FCB-4AB8-A683-91171CEEE1B6","rank":"normal"}],"P16":[{"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":"Q3110281$CBD451AF-DF3A-4B88-97C1-9E9008E4E02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fec45827116ed01b75928aa8f4c7514f618870e5","datavalue":{"value":{"entity-type":"item","numeric-id":415952,"id":"Q415952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3110281$D4FDE876-FF79-4878-9500-BE8BDDDB19CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c16e0eeef530b0f383903918789ff63ba236294e","datavalue":{"value":{"time":"+2012-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3110281$EEF3A26E-E29B-4BE4-A03A-15A883CFC816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110281$0BECCA13-E74D-4A44-B1ED-C31BCCA0ED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cafcbcbef7f95fcf601e4b056a5de4b502e9c7c","datavalue":{"value":"26D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110281$A323D415-FB64-411C-BF00-71E9896A1E15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b50ea9efd15976bb31b594e8d73c56fda125b5e3","datavalue":{"value":"6000947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110281$B049A1DD-C543-46C0-B20C-A43022933BF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3110281$3AC593B4-C75C-4F32-A685-1CF26FC6FFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806579905f5a2fcb27a9ac34cbd08f75ff5f5d7a","datavalue":{"value":"inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3110281$12820A81-3F40-4BE3-9A54-5A61922BF140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001bcc4003e82b518e8db70a781511a363a83e24","datavalue":{"value":"automatic proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3110281$28227124-CFE7-432E-8762-20EFF5BAE6E1","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":"Q3110281$F8C8F666-4A66-4605-8E07-F22C33134533","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcaaf52af001132a76a4b81d0a2e62bd1c098b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4849582,"id":"Q4849582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246d1c3fb8ffc9a43e928024babd6fa2336ed5f3","datavalue":{"value":{"amount":"+0.7782607078552246","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":"Q3110281$BBE016BD-BA0A-42D6-A4EF-C1704AD2A1C2","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":"944e7423dc10e98d5571380900e338532271a905","datavalue":{"value":{"amount":"+0.7573691606521606","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":"Q3110281$119B9C68-CC94-4CBE-BB40-171D98219275","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":"d93e0a5cd4a1ef204402d82d40b90acd40cdc490","datavalue":{"value":{"amount":"+0.7342618703842163","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":"Q3110281$09B5D139-1014-4232-8D7C-28B7EF90802C","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":"fd0174e08cf40e2f558b64cd3192969c5a7037e5","datavalue":{"value":{"amount":"+0.7253915071487427","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":"Q3110281$2A5F09C2-6141-4F59-8BC5-281E27B0C81D","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":"e2086aca0e37c808590f06d2169c1e489f5521a3","datavalue":{"value":{"amount":"+0.7167878746986389","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":"Q3110281$557BC6F6-1E77-4E68-8C90-2F35345A18A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic inequality proving based on interval analysis","badges":[]}}}}}