{"entities":{"Q438576":{"pageid":440343,"ns":120,"title":"Item:Q438576","lastrevid":61924752,"modified":"2026-04-11T02:35:18Z","type":"item","id":"Q438576","labels":{"en":{"language":"en","value":"SAT modulo linear arithmetic for solving polynomial constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062063"}},"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":"Q438576$FFD27A9F-C819-4525-9D38-6AF177915AA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c837c190d610089efff5f040cfdf12bd34843eca","datavalue":{"value":{"text":"SAT modulo linear arithmetic for solving polynomial constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438576$CD932886-C719-4537-AF20-4B7BC2FE3E19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd97231c967bfa8dab594366f453d59857ac6d94","datavalue":{"value":"1243.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438576$15F9AE4F-21B9-4DA1-8401-7CBD80AE60DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f18c2b247eb825a22ef1ac6c7e11ce559c2677f","datavalue":{"value":{"entity-type":"item","numeric-id":438573,"id":"Q438573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$9B1CBB7D-358A-4D65-A87C-FB6EBD7F27BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$01066A3D-1608-4C8B-8382-A52594514A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$9C99B439-1D6F-4075-90E0-EB1958303ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$BAE4E709-1D61-46FF-A42A-A6772725333A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$EDB5597D-E8F2-4A5D-888A-A9B89C6E5D70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$845B7252-6300-4C5C-B086-41F684238955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438576$41675D1B-35BC-4100-87DF-361C397E99E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"860b96a787223d20b8db7ac959cc3d06eaf3368e","datavalue":{"value":"http://hdl.handle.net/10251/37666","type":"string"},"datatype":"url"},"type":"statement","id":"Q438576$B26AD128-3FFD-405F-AB22-578DF14D626D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438576$DA918FB8-E965-4040-A569-3CBA822C1BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438576$2C03BD3C-3D91-4439-A664-881E5733BBEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51f86f62b57729c1c0687e4d19800867574eb864","datavalue":{"value":"6062063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438576$609F927B-E89D-4B2C-979F-B54A9664EF7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3de569d510fcde5827fe74c064b72606aca9f0","datavalue":{"value":"non-linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q438576$C8454C9A-8983-4444-86B5-686C642F12FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q438576$0CB2C075-717B-4D73-81CE-FF874BFC48FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668c4fe6a3fc4e643381a2c84f3a6474c406ebfa","datavalue":{"value":"polynomial constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q438576$FBE154B8-0490-47B4-B7C7-D4F2DD8042CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d88b6e0f4b0254a0b4282c0a9f688566a888d5fb","datavalue":{"value":"SAT modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q438576$190EF8BC-36F5-4147-9978-7C195BEED03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q438576$9C5B310B-766A-4A5D-B478-65E61C2EDF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db158fb26b109c799e33bf311226359880ee7a54","datavalue":{"value":"system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q438576$29691FAC-15C8-447B-BC18-E21B9394D58C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$3DDFCAFA-0235-44E1-98E9-741E42925284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$49E3A102-2643-436E-BB10-D4AD0C5B5102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$79A99115-1052-4030-9F29-955C778C0592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$EBBCA706-C76B-450E-AFFB-A51B9B8F6947","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":"Q438576$B21F5A38-CB48-40A3-A7E0-2ED7AD3485BD","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":"Q438576$091580E8-3A95-4F0C-8D8F-27B823016830","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":"Q438576$EE4D2C65-6AA9-4DCD-9CDA-1DA32BB30FBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d259de29bcaea9838cf26f49f747f006c267062","datavalue":{"value":"W1974368544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438576$A5125567-AD9E-4E6F-9E9A-B7B3966F18CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12258990216ff4021b244dae9f1b968a1473efa1","datavalue":{"value":{"entity-type":"item","numeric-id":3067476,"id":"Q3067476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$96537C5F-8A42-454C-B3CF-EB28D1CB3B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95127141592e878799f1620a9e20ee4ed2d5aea0","datavalue":{"value":{"entity-type":"item","numeric-id":5906950,"id":"Q5906950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$26295A9E-38BE-4EA5-B9A8-157361B9C60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cfb6ec665f8eac1f665978ac78d9eeb093c3d24","datavalue":{"value":{"entity-type":"item","numeric-id":5191109,"id":"Q5191109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$CC7C03AB-F27D-4252-A4E6-367A39B23214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$DDBF1B3F-8300-4DE4-8553-1D323D126896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$ADD47920-5A05-42D0-AA59-045A74190EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$E23526A7-3085-423D-A108-62EEAB6D002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$9E5B05DB-FC76-4CF9-BEF4-A6D803F61FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233b9f4475cdb26cfc8da5745612d758a0f40a05","datavalue":{"value":{"entity-type":"item","numeric-id":5505493,"id":"Q5505493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$9D30EA78-F73F-42F9-8C64-EC9E2ADF6853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$4C3F187D-826F-4F81-8116-6FE8C16928FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0c73b387080cf3cd7ee1613d8ba593ebd754f8","datavalue":{"value":{"entity-type":"item","numeric-id":844184,"id":"Q844184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$4946DEA7-8E7C-4643-820C-673F5F7BFFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ef8fa59cd5d1da98c2f800c01383734c4999e6","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$70848549-C814-4BB2-91AC-3D3147B07CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e9433babfa01b39b72b0ddf6c5f892aa6f566","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$B0CC0565-C77D-4353-B5BC-DF6D74ADF1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6730550a11c6a1243c11c8b5e1cd605627b493d","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$682B6783-DEAF-4AE3-BE89-55373C5CA46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df16580f6f974f881ed949b615e442cb8d0f868","datavalue":{"value":{"entity-type":"item","numeric-id":1424271,"id":"Q1424271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$1ECBD1A8-ED99-47F7-BAFF-2A61228F1176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d31587db9fc2bf1e4c778f1f84d35a04e852bc","datavalue":{"value":{"entity-type":"item","numeric-id":5466578,"id":"Q5466578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$5FD1D7F6-F082-4909-8F94-E248E3CD742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$4835D851-5570-48D1-B09E-0C84826A438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$8A599D90-B92C-4060-B367-4469DEE77E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e86e3f368ee6d35fd08f2ebbc23ffa549f4542","datavalue":{"value":{"entity-type":"item","numeric-id":5394581,"id":"Q5394581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$1B970C67-D896-4607-BB57-DC6B98F1954C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac27b687c7a6102d152723e7b5b7704ccbccbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3066114,"id":"Q3066114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438576$AC1F819C-9FE3-42EE-9A9A-32AD34F9ABD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75160f065a1659248606c670ae7471e2ee53ab6c","datavalue":{"value":"10.1007/S10817-010-9196-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438576$F0151B87-7490-470E-BF4F-049690C05D5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326b087848ae01e2bca640403e3b0a3f1fb856a4","datavalue":{"value":{"entity-type":"item","numeric-id":5191109,"id":"Q5191109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5434388bd2f32825e061c35329204c977698e9e0","datavalue":{"value":{"amount":"+0.9197124242782592","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":"Q438576$9FC1DA6B-148B-4EF6-A495-AEAC0B042CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484a4c8b09e108fa59838458d6677aa387d0c4f8","datavalue":{"value":{"entity-type":"item","numeric-id":2817923,"id":"Q2817923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa86075c3ae09fdbf6fae001fe87462f307b637","datavalue":{"value":{"amount":"+0.8174289464950562","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":"Q438576$21126474-CEF0-422B-8556-54467863A3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148233dac74b824b39a35c083b6942896a6d39dc","datavalue":{"value":{"entity-type":"item","numeric-id":1688535,"id":"Q1688535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fc5fb270a4a4a039d41dd1188340fa58a9dd35","datavalue":{"value":{"amount":"+0.8086121082305908","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":"Q438576$511B2C1F-5604-430C-AB24-6F8BC232F137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6637717eeff2e9f7bf26e6c5e446c536ee733e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2307623,"id":"Q2307623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9c359ee9f6f9a40c81dda5eb8b0dfcbae90cf4","datavalue":{"value":{"amount":"+0.7928361296653748","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":"Q438576$015079E2-C0F6-4241-8E02-B744A8A1F94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de94fdb67b3ec18a4a9afac48a95b409770048b","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918d3231abc669d61e6993091155d2383e8afaa7","datavalue":{"value":{"amount":"+0.7904670238494873","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":"Q438576$9D2287CB-BD1B-41FC-96CC-6410B385957D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT modulo linear arithmetic for solving polynomial constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_modulo_linear_arithmetic_for_solving_polynomial_constraints"}}}}}