{"entities":{"Q2405243":{"pageid":2415986,"ns":120,"title":"Item:Q2405243","lastrevid":57907950,"modified":"2026-04-03T01:14:09Z","type":"item","id":"Q2405243","labels":{"en":{"language":"en","value":"Satisfiability modulo transcendental functions via incremental linearization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778399"}},"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":"Q2405243$9D8CECEA-749E-4BDE-950A-64DDCF0A152C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d5a34787239090d79eb5db4dcc1133d1ff29fc2","datavalue":{"value":{"text":"Satisfiability modulo transcendental functions via incremental linearization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405243$00D2DC49-16D2-48E7-9D4A-66AE05D79DC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"561dff0a1a507e9c7bec60ab54580c28f672139d","datavalue":{"value":"1494.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405243$33E5323B-2922-4221-8860-BB50E883C159","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"137cb8ab4d68cf6ed17f434cc1387fdeba52ca13","datavalue":{"value":"10.1007/978-3-319-63046-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405243$9344108B-4436-4E18-A813-4F6FC247BA3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405243$83868E4A-9FAB-4B88-B2A7-E0814663FC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405243$7A14E162-6510-4493-9EB2-940F6AB1D1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"637b63b8551b0d9a45289b2321fc07fbecec8861","datavalue":{"value":{"entity-type":"item","numeric-id":831940,"id":"Q831940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405243$BC60E896-28D3-4B9D-9483-07BAD2DCE49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405243$7079ABC4-023E-4772-8F9E-57A77C5A5632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405243$F014E2BF-B000-42AB-B40D-B479F4A15DB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405243$5D5C1F43-5224-4A2D-AD19-41AC3A37C819","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d592ac13b3d66d1f424f30ee108e072707f1630","datavalue":{"value":"https://arxiv.org/abs/1801.08723","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405243$C52603BF-08E8-4945-9B9F-A296CC57F33C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405243$4E1E151F-F034-4BAE-B92F-223FF373E190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405243$5D0106DC-BBE8-42C9-844C-193D9CA2FBC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68de8afe295bd390b63f2e01c54cd1c089be669a","datavalue":{"value":"6778399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405243$AFCD3516-591C-4E00-8A24-67F491AF8DBB","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":"Q2405243$0B3D1934-F4EE-407C-92C4-BA3D3A159310","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bac698aa2d31f350f5dfac7eee286867bb1badc","datavalue":{"value":"W3103017377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405243$D58ABE79-503A-46EE-BE40-83D6AAE013B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db25a7119b2a8d25c0688b5864ff0373f07b71b6","datavalue":{"value":"Q62041076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405243$3EDD7887-F97E-4C9C-A3E1-8BB1FB5444A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e215f86533eaa3eaf49a50b0753748c44692a677","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e879f3e39f67a202b54a8215a26187d7042d080","datavalue":{"value":{"amount":"+0.95814","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":"Q2405243$E9296384-9A3B-43B5-824C-FFCB341603AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97b5ee32fb9eec173aac6cbcd5f47715b0af46b","datavalue":{"value":{"amount":"+0.89694583","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":"Q2405243$2E087EE6-26B2-42A5-82EB-BF0A2CFD7277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bebf68972046aef75b5f13357c3e867ea2bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5889305,"id":"Q5889305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b353177b86322d05fea2e3baea62ebfc45e522eb","datavalue":{"value":{"amount":"+0.88468945","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":"Q2405243$6748F4EB-DF97-4AF7-AA7B-ECEE9529206A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc83c4c516d53f51d966d326af951ecf990e51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5746001,"id":"Q5746001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7812bb67a119cf707d0338b513ed5d3f788c666","datavalue":{"value":{"amount":"+0.87472093","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":"Q2405243$1779CC86-78B3-4D26-BDFC-DBCEDF56625E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb29bdfd2432d520a44e436c9a9d449e487108e7","datavalue":{"value":{"entity-type":"item","numeric-id":2405239,"id":"Q2405239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548cc97ce6bcae7263859a5b84c1ae8f85d67a31","datavalue":{"value":{"amount":"+0.8738173","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":"Q2405243$6FD8BB7E-79D4-4DE4-996F-0B069C712790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff398daa810e103a4cd1e0b35ba7a69419d933d0","datavalue":{"value":{"entity-type":"item","numeric-id":5703769,"id":"Q5703769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d31d0c1cbd2b9d278c7af29ff7bfd48370cc692","datavalue":{"value":{"amount":"+0.8737168","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":"Q2405243$8667ACA2-F4BC-44FC-AD8A-567F6EEE4DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5391bc9fd53f74aae20ee0a00abf3dc61ed6a51","datavalue":{"value":{"entity-type":"item","numeric-id":3066114,"id":"Q3066114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0795cec167842cc378c1041ee853f25dc564cc6f","datavalue":{"value":{"amount":"+0.872024","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":"Q2405243$83E88FA6-CF18-4A8E-997F-10CAE56464B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f723bba1b695d1681446ac4507f1d5994ab14ca","datavalue":{"value":{"amount":"+0.8711849","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":"Q2405243$BD9D79D2-D230-4C64-9C9E-3D98F9A24429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595cefd90525ffad04e3ab457d7ec7b70fdc6b5e","datavalue":{"value":{"entity-type":"item","numeric-id":3502696,"id":"Q3502696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba6e80285339927e304a518bcc751ba825105f4","datavalue":{"value":{"amount":"+0.87064433","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":"Q2405243$2E59BDBB-5700-4CEA-A952-C544D3FE08F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405243"}}}}}