{"entities":{"Q6869961":{"pageid":20716357,"ns":120,"title":"Item:Q6869961","lastrevid":75238081,"modified":"2026-04-18T07:28:39Z","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"}]},"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"}}}}}