{"entities":{"Q3403789":{"pageid":3414492,"ns":120,"title":"Item:Q3403789","lastrevid":50906255,"modified":"2026-01-15T16:59:59Z","type":"item","id":"Q3403789","labels":{"en":{"language":"en","value":"A method of decreasing dimension by partition and automated proving for algebraic inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5670612"}},"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":"Q3403789$981EE8C4-F842-4BCF-8098-99CFE53E910B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ee5048c284ee750c7b1a66fc5ae053013e5ef8d","datavalue":{"value":"1199.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403789$530EC13B-5C2F-457C-B898-4F6221A01C4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0104059ebce6197ab83463303aba7afa959fd9f6","datavalue":{"value":{"entity-type":"item","numeric-id":696268,"id":"Q696268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3403789$58702716-FF58-475E-B624-8492F4C5586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ac9635505bca23614edda0b1686771b26b534c","datavalue":{"value":{"entity-type":"item","numeric-id":636238,"id":"Q636238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3403789$5F4B89DD-DE6E-4B4F-9803-1764BEFC0F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5cc597cd3656af376f7d4622a8adf5bc8a13fb","datavalue":{"value":{"entity-type":"item","numeric-id":340615,"id":"Q340615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3403789$5E51A58D-2383-4E0F-93AD-25D2F0E26F1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f701a5fb7efb18b2a5b2faa4325ff6ec6c98bb41","datavalue":{"value":{"time":"+2010-02-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":"Q3403789$83D45C9C-9FF6-4514-89BA-6844EEE32895","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403789$95C24E29-D6D5-4E74-8907-CB20EF384CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403789$CA195A91-0D2E-4775-A6BA-23D6B7C3A151","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e4e1e6f55b302d83729e928624681272d006e50","datavalue":{"value":"5670612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403789$711E7710-0441-4382-827B-E7E65623828C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fdb5b8c281a50c1ce4e01189f3a6d7690d0440f","datavalue":{"value":"algebraic inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403789$B0912471-11EA-4455-BEA8-B0F6EAFB83E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de179972b67df6b2b17dd64c19263315f7dfc9d","datavalue":{"value":"decreasing dimension by partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403789$AF0F5EBB-B79D-400D-889B-2D2772AB25EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403789$F02A088F-A334-4D67-89C4-4981ED5F995A","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":"Q3403789$901985F3-6A28-46C9-8366-4122DBE63314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0601388ab00eeddd5f3e12d5857048cbabb8796d","datavalue":{"value":{"entity-type":"item","numeric-id":5398485,"id":"Q5398485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ce19e1528177900b205099346476e359188058","datavalue":{"value":{"amount":"+0.7790822982788086","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":"Q3403789$73F1A538-8273-4B9C-8621-BFA1B060BECC","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":"06942115c4d035a87f806f4605806ad3c393ca1e","datavalue":{"value":{"amount":"+0.7413983941078186","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":"Q3403789$9DAF81AE-AA33-4A8C-BC3E-5651DC04218A","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":"92fcb905d348f9d4c7113295e50685c5c23d9c59","datavalue":{"value":{"amount":"+0.7223129868507385","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":"Q3403789$C3A1F0B5-070E-4EC4-8211-39A8EE427A6D","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":"b62e69e4aec92782e5229b2d0e1d7d36ac9d51e7","datavalue":{"value":{"amount":"+0.713356077671051","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":"Q3403789$5CD8F1AB-F510-4411-8248-887B8E7D9B4F","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":"8921c4cba5dd9945eddf4edef07ae5ce92ed4fe4","datavalue":{"value":{"amount":"+0.7123724818229675","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":"Q3403789$32B32EC2-CE5A-4801-93EC-ABBFB513473E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3403789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3403789"}}}}}