{"entities":{"Q2096440":{"pageid":2107183,"ns":120,"title":"Item:Q2096440","lastrevid":43513148,"modified":"2025-07-30T11:23:16Z","type":"item","id":"Q2096440","labels":{"en":{"language":"en","value":"Solving bitvectors with MCSAT: explanations from bits and pieces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614509"}},"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":"Q2096440$36587A58-4C77-4D13-B412-7E72D5219C65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a26e2e13e6e1e0b57a2852becec26bc0be87e4","datavalue":{"value":{"text":"Solving bitvectors with MCSAT: explanations from bits and pieces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096440$29A30509-D536-4107-8DF3-766EECB7DF39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5d7844edc3be26cb6d7ad21722f2e5d2ebf9a7c","datavalue":{"value":"10.1007/978-3-030-51074-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096440$066E4E43-1437-483D-896A-FE85304EC323","rank":"normal"}],"P16":[{"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":"Q2096440$6784B125-0C4F-4366-B41B-9644C1C2AF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"397d77ad8bd1a3f514ce08804fba49d28413c3f4","datavalue":{"value":{"entity-type":"item","numeric-id":832266,"id":"Q832266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$1B674065-3006-49CB-8537-C72122937A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51678fc635b6d13e5bfb50dff43810a3a02420a6","datavalue":{"value":{"entity-type":"item","numeric-id":832267,"id":"Q832267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$3B5EEEC2-46DF-4327-B411-122D6BDBF0CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096440$EE1177FD-BE1F-4753-8AF0-6C7C802BFD00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfe8c6e9158823ebc4b7805136341ffcbc62f878","datavalue":{"value":"https://arxiv.org/abs/2004.07940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096440$E01F4AB2-C3D6-43B8-BD6D-7EBFD170AA49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096440$6E3B7287-E39C-458D-906D-AB31A1DF821A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97783fbcd998bc708203ad908dba040b4e8f2dfe","datavalue":{"value":"7614509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096440$504F60C8-F28A-4EE5-8037-225164BBFD8B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$B0841F64-3294-4091-9246-D45FD1B8AD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$F0A17E26-D6A0-4DC3-A07B-DC21BD62B3DA","rank":"normal"},{"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":"Q2096440$57E75EAA-6843-4B2A-BC0D-C7C34D4A2BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$8C946A3F-9879-454A-8F76-EF439AEB6407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$5AD17692-222D-4642-B066-C18C9974E129","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":"Q2096440$3204045A-EBD3-41CF-A966-3BA8B9E4285F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca5e7fcb72a8aba17e7d23fc72821085369be8ab","datavalue":{"value":"W3038318403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096440$D7C94A5C-B10A-4B4F-A39B-F3EAB499D81D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d645e2b876ab109a4fadcb1ed7f0c554bc73185c","datavalue":{"value":{"entity-type":"item","numeric-id":2303254,"id":"Q2303254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$95C0D6B2-181D-44D9-A4EE-93A3CD3DA2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f942974cb95506daf6c9f8a39d7c2f272d4faa3d","datavalue":{"value":{"entity-type":"item","numeric-id":2405239,"id":"Q2405239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$D5B8B15D-710B-401D-B033-AD6F78BDAE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$41D6C5BF-FE7A-4E2A-9E66-38D04D170016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70df9a7896b640fdd7fee976daf71b30a46806a0","datavalue":{"value":{"entity-type":"item","numeric-id":2011567,"id":"Q2011567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$3D9D0D5C-68CA-4502-B7EE-1875D542B918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$CB1F0611-D188-4D2D-AF04-84CA02A68DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f49ba8e90a8c0c9af094f27d35976bf29d0fe8e","datavalue":{"value":{"entity-type":"item","numeric-id":2382030,"id":"Q2382030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$6DB9AA6C-2C85-4F19-8C6D-762944983F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485257e2a8c4bb44d210af89ed8517de5ca7dfbf","datavalue":{"value":{"entity-type":"item","numeric-id":2248020,"id":"Q2248020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$9E88043F-99A6-48AD-8E71-0A9D48B47F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a02ce029e8ac8b500586f8f6f436af0dbdfad98","datavalue":{"value":{"entity-type":"item","numeric-id":2363817,"id":"Q2363817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$810D6860-A7E8-41F0-B3E9-138A0C51CC18","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":"Q2096440$93B12CAD-197D-41FC-A32B-0F712EB1645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$215C0877-3C3C-4193-AECC-FC059EA8D1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$6FCC05BA-026D-44AC-8660-489376F25DE4","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":"Q2096440$EC21A3E3-1E5B-46F8-AE76-9C2943667303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011fd911330c176d4f644d0d384d2eb0c583ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":6039405,"id":"Q6039405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$6F473229-74EA-4698-9934-5762906690D3","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":"Q2096440$5D8382C7-9F36-4514-9D26-D077B73576E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$722FE3E1-CA68-45F5-A0D8-DA49B5941D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3d8be39100c65d1e448187a4dbf9fe46245230","datavalue":{"value":{"entity-type":"item","numeric-id":2818018,"id":"Q2818018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096440$E3A516D8-0BDE-46BF-8784-672088AB1342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096440"}}}}}