{"entities":{"Q1735326":{"pageid":1746067,"ns":120,"title":"Item:Q1735326","lastrevid":53400356,"modified":"2026-01-24T21:46:25Z","type":"item","id":"Q1735326","labels":{"en":{"language":"en","value":"Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7044071"}},"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":"Q1735326$66932BCD-D018-4C95-A518-239639B5CCA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"219eecd0775e86e23ad8c2247fae7fd44b6fd6dc","datavalue":{"value":{"text":"Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1735326$12991308-334D-43F1-A054-09DF9B7264F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b6c514ebfc70192291e067af46a024eafa07299","datavalue":{"value":"1486.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1735326$FBB3682E-7ADC-4D7A-B133-6BAC9CD90444","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcf8b29f998e6586890411a08c34f70ea4883f1","datavalue":{"value":{"entity-type":"item","numeric-id":1717924,"id":"Q1717924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$6B765D12-6CFB-4BDE-8548-606888461B31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$EC68933A-E388-4E99-B631-93D5C5622F60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a37ff889da6e99144d0bc2a153cfe35be0514e07","datavalue":{"value":{"time":"+2019-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1735326$706DCE88-56D4-44C0-AB8B-EFD49E382DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1735326$377B4473-5E2C-4D39-9CF8-113F76C235D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fefe0fc827ec0c7784b576cd6e1892a5eaa08c6","datavalue":{"value":"7044071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1735326$281F2D62-9F90-4BC3-B714-CCE09702BF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780aa31aabe63e350d953e44e392b588d88bd8b1","datavalue":{"value":"system of linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1735326$14AADE7D-2FEE-4826-AD29-446199F0B28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26cfc320bc0b2eea3bb70032d463c157fe8a361b","datavalue":{"value":"algebraic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1735326$2403B58F-C58B-44C6-B412-DA617A06D707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1735326$B294D075-376A-4831-89D6-DCC8F3A6E7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935a7531cf251d4944b7da7fef31a513c4154654","datavalue":{"value":"canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1735326$47C137FF-AB9A-4A7E-84EC-633423175DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ee0c658369e7dce45e340e0bd0da11241b6a48","datavalue":{"value":"linear semialgebraic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1735326$E2319E2D-087E-4247-AE0E-136827305007","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$0915D0B2-2606-4CCE-8B07-33310B2FFADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$072D76D4-3ED7-4090-B8B3-F7FFD11E2AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$61FE1F59-8307-43B2-9767-CC5592DED52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$AFE0956E-00E5-4089-A741-EF035359584F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$886C4EBB-F26B-431B-B5D7-0FCBC817CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$CAC3EE81-627B-4A83-AB60-C5C7FFAEC956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$488E8029-EFD1-4E28-B4E2-71B4DAA3381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$977AC3D6-595A-4431-AD8B-73CBED8E9F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$2015CEC1-9BA3-4802-8F61-3EC11B51D46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$6D701AD5-EB86-4CA1-93F2-626AA15739CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$EC874AC6-F1F9-472F-B014-0DFA22C8DBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$3EDB2826-E3F9-4587-BDA9-9C66995FC327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$C34FDCA6-DF17-4083-B1CD-10AA2295568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cef536c0e8573a04b650f51204fb1a17c80e051f","datavalue":{"value":{"entity-type":"item","numeric-id":16055,"id":"Q16055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$7C95782A-FA53-4959-B520-16C5D5ACF741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$04B72202-8CF7-4B68-AFFB-F2A6DEFCB47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$F962242C-C568-4E7C-ABB8-3C4B6DEF7B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$8273B7E7-E2A4-469E-80D8-456AB0439F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$2A7C6753-2D76-46A6-BB34-F2535C479851","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":"Q1735326$4C6C2224-AD83-4C2E-BC34-E09D35B20A4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42b5146fdda890c22dc1a7d146fb12e7e74c19a7","datavalue":{"value":"https://doi.org/10.1007/s10559-018-0102-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1735326$E6CAE9F8-9A5F-465A-B092-2F65A7FA4C57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cec0f04fe8cc687bedf212dafe885e259c08d46","datavalue":{"value":"W2901948111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1735326$832759F2-6BA8-4489-B5A4-EE116EAC1B6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$750C7062-039B-4343-B10C-97700C7EBFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0b44a1980fd52f4da02cc11f9f87d23f44f653","datavalue":{"value":{"entity-type":"item","numeric-id":4002851,"id":"Q4002851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$60049FDA-C5F4-420E-9A4A-D2C29BD9FACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0990793c3ee061ace0a6ccae899c7783993b9b13","datavalue":{"value":{"entity-type":"item","numeric-id":5817857,"id":"Q5817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$71987F4E-0867-40B0-968E-708AA7E84C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dfe5f4a5c1e63f4b2ecba9b9630577b9e4ae7c","datavalue":{"value":{"entity-type":"item","numeric-id":1957004,"id":"Q1957004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$60F23FBC-C075-4D73-B751-803B00F49E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8b46211fb878b174f2faee3effb071281f0be0","datavalue":{"value":{"entity-type":"item","numeric-id":2263246,"id":"Q2263246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$1741C0EE-8ACD-4323-87AA-CB756B69A5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1735326$EE1F3B8F-C11A-4CD8-B2D0-FE58FDA4ADBF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fcf2be4c7457655663c27414e33e2a00cbc3735b","datavalue":{"value":"Q128884225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1735326$C9E5FE0E-D778-42B9-8804-75C3E00E4A84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e61dc7615d1faa69a5be7b16df6323998e69bb5","datavalue":{"value":"10.1007/S10559-018-0102-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1735326$A8C44331-B5D6-4FA0-86BD-7AD12C2AA2AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b50e5be62f48ac130b03678a86c2ca49354e49","datavalue":{"value":{"entity-type":"item","numeric-id":3454537,"id":"Q3454537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0587b9206fc76e8131d93cbf737e710bfb296d1f","datavalue":{"value":{"amount":"+0.7062066197395325","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":"Q1735326$562496B9-3FC7-4279-813A-C44AAEE6B569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6102a2dcd49bc581ac6f2b193d94e8f09ad0f7ea","datavalue":{"value":{"entity-type":"item","numeric-id":1186697,"id":"Q1186697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54496fc4666c9408aca9a080ca8155d649f9560","datavalue":{"value":{"amount":"+0.6890098452568054","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":"Q1735326$FF8EFB89-5C06-4640-99B8-BA6AB25AB931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb11c85a4e06de2c02af7796d7ab2932b2eb5a57","datavalue":{"value":{"entity-type":"item","numeric-id":4232513,"id":"Q4232513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247c5fc3d1c5c304c2f37e2256132d324548e655","datavalue":{"value":{"amount":"+0.6881971955299377","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":"Q1735326$5BB25B79-7AB0-43F0-BC56-BAE352418DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846a1c02acdd1526c5ea5c3987fb6a02e89caf6b","datavalue":{"value":{"entity-type":"item","numeric-id":2946521,"id":"Q2946521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9b6a4f5405455196b84ea262c891addc16d695","datavalue":{"value":{"amount":"+0.6862457394599915","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":"Q1735326$C4CEB6D6-C48B-4E9F-899B-2F632B8EB582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004dff7e6556c36d6ac3e919cf37873b9b94adf","datavalue":{"value":{"entity-type":"item","numeric-id":5938543,"id":"Q5938543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4919f957384c4f5f4cc0879132160f27347c8059","datavalue":{"value":{"amount":"+0.6860840916633606","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":"Q1735326$DFF0AAF0-4C0C-4EA9-8EC9-03A6A16ED48E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1735326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1735326"}}}}}