{"entities":{"Q3175733":{"pageid":3186443,"ns":120,"title":"Item:Q3175733","lastrevid":53147513,"modified":"2026-01-24T07:59:05Z","type":"item","id":"Q3175733","labels":{"en":{"language":"en","value":"Automated proving of exponent polynomial inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6907916"}},"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":"Q3175733$A591FBDA-893B-497A-8DAB-BD3E61E2546D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e89934c3306bdcfc0f82684db4767f49c37f587","datavalue":{"value":"1399.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3175733$2630B7CE-708C-4214-B37A-5B826E0483EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66b3a24d210331ae24fd0d7e459e5a66d3b5e6","datavalue":{"value":{"entity-type":"item","numeric-id":413110,"id":"Q413110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3175733$CBB96660-BACD-4031-AB60-F28E847CA93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fea5729a6f59a7550271b40c681db4c115e3b9ab","datavalue":{"value":{"entity-type":"item","numeric-id":702353,"id":"Q702353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3175733$C38E8DEF-6FEC-4DD0-96DD-B37E9BAF7479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"595170a4b875a61e7a2746d3d821c86b24ad02ad","datavalue":{"value":{"time":"+2018-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3175733$63907408-3195-4B00-9600-23FF1508357D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3175733$B3D641A0-AF55-41EF-88F5-7E69360D0514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d78e388b062fdd7338bcba30f6223a2b5ff6bcb","datavalue":{"value":"26D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3175733$B060D876-B688-4A45-8BB3-CC00CA3E2A38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d77f63309e773a3f55e1bd8d0c06ad499dc6786","datavalue":{"value":"6907916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3175733$DA2BBC92-C8AC-4C20-883B-3668221106CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d93e60f7c3f3b03fa8eb653b9ecf14fe3aa1b801","datavalue":{"value":"exponent polynomial inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3175733$91E8311A-8A12-43BA-92D0-99948E8256CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cb0ee4d64eeecc8a076e8bdecb84e8ad122015","datavalue":{"value":"automated proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3175733$220704C0-CC25-4686-B383-99016722E9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da7c02102c80a8c9a364685d5489b5d6ccc7232","datavalue":{"value":"upper limit polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q3175733$57C467E0-8D27-4F0A-A0CC-178398EAC7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00cc535b79e4f6377772aed17db931b2d575119b","datavalue":{"value":"lower limit polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q3175733$DAE1378C-C6BE-4E74-8CE4-DEF5C3875BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cccf8e51ad05a1ac0bc1bb0127778dafdc83670","datavalue":{"value":"readable proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3175733$690E6040-7EDE-478F-B606-AD6EF02FDC24","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":"Q3175733$3A3DF00C-5EA5-429B-93BC-9CD0C6D9E46F","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":"Q3175733$B0C8EFA3-BE3A-472C-AD41-D9D0CDA492B6","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":"Q3175733$C426D3C4-116C-4826-9687-32AF97049198","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb34ff50bdf2d7dbd29b1e28024cc256cf089287","datavalue":{"value":{"entity-type":"item","numeric-id":5210068,"id":"Q5210068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5501011539c40f682f724e02be9300b655ab202d","datavalue":{"value":{"amount":"+0.8866047859191895","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":"Q3175733$4E844E8D-54E0-406F-A20E-3661E6B81F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6203a59fa114a12408e08543d4fd1e5bb2cf064d","datavalue":{"value":{"entity-type":"item","numeric-id":2987155,"id":"Q2987155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e9b24174934e3e9e9e579ef00b58fd9585d93a","datavalue":{"value":{"amount":"+0.8286227583885193","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":"Q3175733$A62B3021-09B6-4B39-8984-24238596FB46","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":"cff595eecfc8f91f13a8a89d76dcb59d05383f54","datavalue":{"value":{"amount":"+0.8159472346305847","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":"Q3175733$40B86897-48A9-462B-9181-4239E0A350F9","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":"695d861aaa5e46596be7df89f4c1272dc7d60b7a","datavalue":{"value":{"amount":"+0.7928416728973389","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":"Q3175733$F54FA26C-48FB-427E-840D-F9A120174E64","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":"050ccb9d4d7e12037b7a312cfb720362dc374a8d","datavalue":{"value":{"amount":"+0.7869502902030945","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":"Q3175733$5C46E9C4-E86B-4EF3-9E56-B20851AF09EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3175733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3175733"}}}}}