{"entities":{"Q6869961":{"pageid":20716357,"ns":120,"title":"Item:Q6869961","lastrevid":84234089,"modified":"2026-05-14T00:22:06Z","type":"item","id":"Q6869961","labels":{"en":{"language":"en","value":"Boosting MCSat modulo nonlinear integer arithmetic via local search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149347"}},"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":"Q6869961$DE7B68D1-6C05-40CC-88BB-58D431BB75A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c6294352584f440a5de9305a43bb308a83775b6","datavalue":{"value":{"text":"Boosting MCSat modulo nonlinear integer arithmetic via local search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869961$2F35C7B9-B47A-4147-BF14-4EFA9ABB9765","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b9a9882be6e47a2234f9414c33f9103539a2762","datavalue":{"value":"10.1007/978-3-031-99984-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869961$9B10DBA8-771C-485D-A2C9-A8B7B1AB2B54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a059c4a96f66f9dd4b4953d0276d1e1cfa90099","datavalue":{"value":{"entity-type":"item","numeric-id":4669553,"id":"Q4669553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$D74AC28F-EEC5-453B-A969-0467FB137D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b2c44308686fce031a7f4d2c9aa87d83fa4b08","datavalue":{"value":{"entity-type":"item","numeric-id":6869960,"id":"Q6869960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$C708DA59-F652-4D6E-8E13-F3F010E18890","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":"Q6869961$02E6A5FE-E4CA-4C37-8679-1D5BD58A81E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6be8d909a46685b6a24cecd253b3dd33cd2a6cb","datavalue":{"value":{"entity-type":"item","numeric-id":832718,"id":"Q832718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$76169FFC-BEBF-469D-B87F-0D0B57102383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869961$EACDC1E0-2E0D-44BF-A389-CB37BA20AF2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869961$3594123A-EEE8-4ED1-A9C9-B58A16E4B2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869961$14A39187-C376-49DD-9A3C-66DDC72686E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869961$B14029F6-AB90-4BA9-A158-7BC310271995","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0efb3f8b758d0d472dcfb586404cdb8c9e08d41","datavalue":{"value":"8149347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869961$8AC12CF7-9E88-4764-BC94-F72DAD32F320","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$3656F466-AF9E-41FE-8015-DA4761708C92","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":"Q6869961$C9A8D472-D930-4430-850A-654AD22AB699","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d52c7527ed5ce8045cda54dd18d2e3d39d3753","datavalue":{"value":{"entity-type":"item","numeric-id":6487338,"id":"Q6487338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$7A9D2FBE-4ED5-4CB4-860C-7FF47058329C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab137725a9dcabe048a16da884104c812257008","datavalue":{"value":{"entity-type":"item","numeric-id":6082229,"id":"Q6082229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$CB08055D-1906-4381-8576-04374B0DD22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f295a0643642f08cc9f31a43d3743041fa86a26d","datavalue":{"value":{"entity-type":"item","numeric-id":2118286,"id":"Q2118286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$32F7FECF-A707-4E81-8CC7-B7F0AF60359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1da5c22d4d2c4c355c02f06551c5180aa6ea86","datavalue":{"value":{"entity-type":"item","numeric-id":5101311,"id":"Q5101311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$245FE4DE-762B-49FC-9E82-F2E7B55D7ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabe94fb24430481039ea5aae6b5f4cd8c2b1f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1656597,"id":"Q1656597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$34C18ED0-53F7-47BE-BBE4-65F32BB6DF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1645d5977fcbb346c223f2e9f46edf7dc223d58","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$EE4A0A23-6929-4D10-A592-CB7111A2A607","rank":"normal"},{"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":"Q6869961$08E84A18-9BAF-4F04-86E1-96F2CBDFE714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$D3B21E9E-FC25-4F07-98D7-A40FAC4E0FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$7AB0371E-5C4D-4E90-B046-4366EFDE2E3B","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":"Q6869961$17E390EC-64A8-47BF-B67F-99483E834EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef8a8532db5854f5d22fa31dcae929508b22146","datavalue":{"value":{"entity-type":"item","numeric-id":2096440,"id":"Q2096440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$47C7959A-D9B2-4382-BF11-7709A7CFC77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4881d6b7fb8d175bf1c046124177a852c3e5907","datavalue":{"value":{"entity-type":"item","numeric-id":3172891,"id":"Q3172891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$7BAE7B60-E6EA-4079-9512-79CE510DF21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a73aa50c71044c2c5e3fe09f5c1a6ba063eb772","datavalue":{"value":{"entity-type":"item","numeric-id":7034852,"id":"Q7034852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$1E91E7B9-B7FB-4F16-BAFB-8CEE27E26EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd7b0cc2fe1e93d1b3664031733149aae245bda","datavalue":{"value":{"entity-type":"item","numeric-id":7025216,"id":"Q7025216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$AD77DAC1-9C20-4687-B7A8-13239DEA0C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa4c2387ad30aeefcdaa752dcaca22072d33adf","datavalue":{"value":{"entity-type":"item","numeric-id":2961575,"id":"Q2961575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$2CB6A38D-0E10-47AE-B1AC-D0798AD33FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69516d40ec97b384f70501283c3b5c722beb3b0","datavalue":{"value":{"entity-type":"item","numeric-id":2830009,"id":"Q2830009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$B0233134-ABB6-40F1-A508-2F163313C0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e411c3d3561ee7f7443d18d70a22a212cccbf0","datavalue":{"value":{"entity-type":"item","numeric-id":2414693,"id":"Q2414693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$A823D22D-5ADE-4064-9EF6-199258FB8B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7627bebb2503422dc5fc4e031dd16317c3781af8","datavalue":{"value":{"entity-type":"item","numeric-id":6535529,"id":"Q6535529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$D402F697-85FF-4AD2-BCCF-D27C1D19E9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ac1dec4c44e7022f565fd90e837a738b783d1d","datavalue":{"value":{"entity-type":"item","numeric-id":6160909,"id":"Q6160909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$541F7DB3-22A6-44D8-A316-A6652E2987C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56192e320e67f4d82a18dfed115958a1499d7dab","datavalue":{"value":{"entity-type":"item","numeric-id":7009616,"id":"Q7009616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$C01EDCA3-2708-4C38-A555-807B3CFE0ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$F708636A-C5F8-459F-9F0D-7DAEF7A3EE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c060d6258d63ebf14a77434a67c0cf971997ce","datavalue":{"value":{"entity-type":"item","numeric-id":1688546,"id":"Q1688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$AC809EFA-32F1-47EF-B1B5-D1CAAA58DD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$3B1E86C0-5EF7-4DB2-8DC9-824DF3E5D625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4626347e32378157ea8b60d8cdb2d81bc108721f","datavalue":{"value":{"entity-type":"item","numeric-id":5756575,"id":"Q5756575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869961$DEC07EF5-2620-46CC-BB82-9615E5A57ADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boosting MCSat modulo nonlinear integer arithmetic via local search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boosting_MCSat_modulo_nonlinear_integer_arithmetic_via_local_search"}}}}}