{"entities":{"Q2817923":{"pageid":2828661,"ns":120,"title":"Item:Q2817923","lastrevid":79420424,"modified":"2026-05-06T13:51:59Z","type":"item","id":"Q2817923","labels":{"en":{"language":"en","value":"raSAT: An SMT Solver for Polynomial Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623264"}},"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":"Q2817923$0266BAE1-2516-440A-BFB2-411279A8170B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f8eaa21cc56a2f602511b50169d38d13efe2ff9","datavalue":{"value":{"text":"raSAT: An SMT Solver for Polynomial Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817923$CF9224C6-A248-4A02-9AFD-CBDF1D55FA5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd2882c96612cd20e0c309bc3ddd8d062688b04f","datavalue":{"value":"1475.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817923$76AE56E1-B2F8-4DC7-B2AA-4C4D39147484","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3e99817caae243b47088f3a732631feb57946e4","datavalue":{"value":"10.1007/978-3-319-40229-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817923$FC74731A-F233-4FC3-B8C6-A7C6284D0DAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22b8eb69ee219e48132d7f7214865c30d12244af","datavalue":{"value":{"entity-type":"item","numeric-id":1688533,"id":"Q1688533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$98F12AE0-8ED7-43CC-8E46-BDFC84217817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9625f2fd7936318913ac4ff5cd51fb50365e35a3","datavalue":{"value":{"entity-type":"item","numeric-id":1688534,"id":"Q1688534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$52D2E521-36C4-4EE7-A37A-5A4E3EA92649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$9D3A30FD-EC47-4021-B2B3-655C49E2BF5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$4D008182-A0B1-4271-8C6A-4634582CCB8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817923$8C7AB4D4-9A94-40FB-A900-EC8241E9EF7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817923$5E92C171-94BE-4A42-A452-C80699BFF15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817923$1820B391-92D9-41A1-8EB9-F8B7D4641311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817923$01B6A614-72AD-4DC5-8FAD-DD5431BBF5EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"443f48e300b536721b7f19f5d375d8cedcccbc6b","datavalue":{"value":"6623264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817923$AC2237FF-E36A-4787-9894-4351238D1D49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$E9C824AE-B2AD-4779-9503-DE99BFC2E42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f22790b7d685d2c32362b8971015fd7b35add539","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$76A4CFAD-607F-4109-886F-28866A888F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2704b04c837be55ede02d9103b8b97888a2d5c14","datavalue":{"value":{"entity-type":"item","numeric-id":27097,"id":"Q27097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$2593FBBE-1999-404D-84BE-E9FBEFA17021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$259A7A33-EA66-4285-9438-947BB624AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$28954ECF-4D1A-4ACD-A403-74CA21569795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$60AFF9E9-C93F-4859-9D7C-0394D59C4C87","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":"Q2817923$672FA824-FE92-4D82-9BAB-48D0061C97A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bbcf66feaf91b0a863ce8d6acd1f05084cc47a7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817923$C354813D-7AD5-4570-A756-58082297453F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4f6811de185435aead110f49f024d521a1cdb90","datavalue":{"value":"W2496780659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817923$D2A3ADBB-CFDA-4DA2-AD98-C56DD12D2873","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$10005129-C054-428A-8362-8943DE20194B","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":"Q2817923$AFE2D0CE-451A-4C31-BC73-C529F6E28708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$121E0FC0-0ACA-4FD9-B2CB-1DDA4A3C35DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5ffd31d465a566a686c7d217db9ca46a4868d","datavalue":{"value":{"entity-type":"item","numeric-id":3549165,"id":"Q3549165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$3B2FE4DF-3AF8-48BC-84A4-5E15B9A357BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c35882bf1fd03aee6c18d4a286039bac87ad7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3196626,"id":"Q3196626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$80FD9A66-E4FD-4082-BEDF-1954EE4B85AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$24591F57-FE1D-4710-9A17-87FE4EC3BCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6cc27714dfcbf9570a3ef3a476ae8c566cb39b3","datavalue":{"value":{"entity-type":"item","numeric-id":5421933,"id":"Q5421933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$2C301365-DE0E-4C28-9DB5-D78FE0447369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$1631487E-278E-40F5-B629-7A70CCE085DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03a63a3adb35736d065ca0dff5ea03b35bdf282","datavalue":{"value":{"entity-type":"item","numeric-id":3637273,"id":"Q3637273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$049A9FA8-AD58-4E84-84C5-58FF0DE44291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd173596d7a74de8f64338b828f706cbd4fbeca3","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$9EA82058-82F7-4657-96F9-5A5C204CE7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49f4f7d6b91784c37c6cc02d22520c86677ca2c","datavalue":{"value":{"entity-type":"item","numeric-id":1688535,"id":"Q1688535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817923$EA32A84A-6B6D-4869-8C76-44E3C6BB9DEE","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":"Q2817923$90FC3042-F8ED-4FE2-9F9F-C20ED568711F","rank":"normal"}],"P1643":[{"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":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$D9BCDD8A-1430-4146-8776-BE0A19E239EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bbfd54b1a8265b5163400539449c0671db6607","datavalue":{"value":{"entity-type":"item","numeric-id":2871851,"id":"Q2871851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e6fa368f300f10629d88049969e363e296b575","datavalue":{"value":{"amount":"+0.87209463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$374F3326-52FC-4C81-ADB3-BBB33AE8FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38e6aaa02a6dd15149691d75689b8dee0520308","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719c77b8cb3f8c453bbcf63058ff7c63bcee634c","datavalue":{"value":{"amount":"+0.86119705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$5CD6B041-B01E-4453-AD39-D154663BD7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f45fa5f642568b2e77dd0d7c52295771c9a05b","datavalue":{"value":{"entity-type":"item","numeric-id":2405247,"id":"Q2405247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59fcffdee0b30523691b86173f2c4314a3c359cc","datavalue":{"value":{"amount":"+0.8539122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$5C3FDA27-3CC4-455D-98D4-72EB2CC44615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca42033159db7f723e09df228b4b44dba035fc70","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1800e027d47dfa28015635ffdb73375c3d4f52e","datavalue":{"value":{"amount":"+0.85318184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$048311D6-8380-47D2-9E7E-811740E04666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ab284ca282458f5ee0350d83f2498c8c16f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da11592b8130e3e337c58544ba6aa592fc0b1161","datavalue":{"value":{"amount":"+0.8515111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$1E78DDAB-1A16-4971-BFD4-3D3CDBF9080A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76729df570c7e1b7eacd2a5d8d2fe2be8e9765f9","datavalue":{"value":{"entity-type":"item","numeric-id":4930597,"id":"Q4930597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511b3078bede478260daa3e77109695b7665ad0e","datavalue":{"value":{"amount":"+0.8503598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$C303EA96-1D80-418C-A35E-F446FD4CFF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50b8d77b0618ee94c2e94364df7fcb2c178d8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5747769,"id":"Q5747769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c16553b4e71065ec4ed3794c59d799eb2baab7","datavalue":{"value":{"amount":"+0.8491975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$59C9500E-D405-451F-B9E1-5142715DB830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2017ffbaaf64a3442ec712ffb9f4a28070b28e","datavalue":{"value":{"entity-type":"item","numeric-id":321002,"id":"Q321002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898c5742ada13224835943e60fa043afdb0aa529","datavalue":{"value":{"amount":"+0.84846723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$4E1317B2-96F6-4CB6-814E-728DE29F9C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a375a9028884bca82d55545cbc5f5a504d58991e","datavalue":{"value":{"entity-type":"item","numeric-id":436423,"id":"Q436423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ece943fc3770078aec3247f0b7ff6549f3bcf3","datavalue":{"value":{"amount":"+0.84839493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817923$9F10F083-1D01-48D9-9D11-04964C18DD65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RaSAT: An SMT Solver for Polynomial Constraints","badges":[]}}}}}