{"entities":{"Q3608775":{"pageid":5638681,"ns":120,"title":"Item:Q3608775","lastrevid":49678114,"modified":"2026-01-08T23:46:48Z","type":"item","id":"Q3608775","labels":{"en":{"language":"en","value":"Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523775"}},"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":"Q3608775$9E9DC4D3-1F8A-4528-A1DF-4FF48221CD33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd1acbed5da453acc0042fa3d938ea5af4a97f9a","datavalue":{"value":{"text":"Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608775$5C2CBF17-39DD-4139-A05D-C24B43A155F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3195cea83a55b0e3089ce997fc58a7c3d8728ee","datavalue":{"value":"1213.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$6C24A90D-3F21-46BE-BD28-7F3326662587","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adc65b0e5eea38eec81548ce21ae7ade3e3896c3","datavalue":{"value":"10.1007/978-3-540-73595-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$44634A8F-85DD-44CB-8E3F-E577DD4BB0CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608775$B280A780-D0D4-4907-9DEB-6B999169BDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3818a1716b8610e195be4975a458855618b9d1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1268805,"id":"Q1268805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608775$A4504F6E-611B-4F6A-B467-6A6450929CEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608775$4E8C641B-098D-4D67-B2D1-031E835215C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608775$D99D7DC8-B50C-42B5-8EAC-9D9D2811B9D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2999293262afeb6f3eb4e0841e15ae1b6a984be0","datavalue":{"value":"http://infoscience.epfl.ch/record/110254","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608775$36137E9D-88A4-4BB1-9B91-2A1E2751289F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$E6633520-9046-47A6-BFB1-BC1674CBD2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$30621C5B-7779-4FF3-ADAB-5E4DBF3FFC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$57A0E13A-C0DF-443B-B28C-0B3CB2E9687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$B7F28FBB-A0D7-4F3D-BB14-F3ACB53D503F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"777a2870d6f539df89400eb9959413a2555a34f5","datavalue":{"value":"5523775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$CD5052A4-18CF-4D8B-A927-DC30391F5D3C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3672d7e02d9f1e10e36edaa35b5c5b486c0a28ca","datavalue":{"value":{"entity-type":"item","numeric-id":24314,"id":"Q24314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608775$61084A2B-7071-4692-9FCD-0D74FD4BA6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608775$61851137-EA79-4B7E-B1C3-509FDEBDC323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608775$EC191DF8-BC77-4118-B357-5C13199E0C8F","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":"Q3608775$BFCCE059-C62C-432B-B399-7553A01BDF0E","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":"Q3608775$D526A47B-BC52-4540-B693-F557554CC7A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"451450e18b8de5a3aabeba8bba9513811939867f","datavalue":{"value":"W1607550340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608775$9A2637BD-C1DD-4758-86E1-14A58EEC98BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f4e6ebfa1e70192a844c78c3c46c7dff577c39","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7a11a44e9eaad3b77fb85d12dcb3ba65078640","datavalue":{"value":{"amount":"+0.9210297","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":"Q3608775$2F8F32E6-F182-450C-B8D0-E6073CE09BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7d43b784d929863205f924cfc38c9762006778","datavalue":{"value":{"amount":"+0.90144753","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":"Q3608775$B239E2A9-A4E7-4853-BA46-40FAAB07A09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7d43b784d929863205f924cfc38c9762006778","datavalue":{"value":{"amount":"+0.90144753","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":"Q3608775$632B96CA-0E86-4BC8-93AB-D7A858B5AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e60bc3c769daab1ffe80c2487a23dfe700335fd","datavalue":{"value":{"entity-type":"item","numeric-id":5312909,"id":"Q5312909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87970e05d7dd0d23d6b43fb26ff6e60bfb77db7","datavalue":{"value":{"amount":"+0.8977367","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":"Q3608775$A802E3E3-AE51-45A0-B49B-B2D51609285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638dcd163079b05892c4f4da51df6b1b41c666fe","datavalue":{"value":{"entity-type":"item","numeric-id":2289080,"id":"Q2289080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e751acfcafcddad0e78249da9ad2e86f667850","datavalue":{"value":{"amount":"+0.8914441","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":"Q3608775$7BCA54E2-659B-4B4E-8193-3FA654A1C53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b8d4a41d7b58615ce21e787d0e566caa1880be","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a244269dc4984047c174f6dd2c86cbe721e838","datavalue":{"value":{"amount":"+0.88980997","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":"Q3608775$002A99E4-5550-45AC-A949-2609C6FA3E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56333c01f72340c60a9d60cd9f1e0709b308d580","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79cb10383cb11f7c2acc52d8c12792979c19a12","datavalue":{"value":{"amount":"+0.88771117","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":"Q3608775$EAA83BDD-AF62-40C3-93B5-A3D64351C972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7b8bb72e0c80f6e372a8a89999c6bac81cba3","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c138538f4d22769e32e73a760ee4c865926ba678","datavalue":{"value":{"amount":"+0.8873427","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":"Q3608775$483D10E5-6CD7-411B-8C4C-E24BB5B0B03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846afb139aed527fc01206a57444f5a65f155eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2767086,"id":"Q2767086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56de6734e428d4b6859b3b3579bda11481e122c","datavalue":{"value":{"amount":"+0.88114226","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":"Q3608775$715593DA-CFA6-4430-BC32-5743CF38542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de47448d9497c2fb7c5211eec4c35b626540420","datavalue":{"value":{"entity-type":"item","numeric-id":5348066,"id":"Q5348066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71c7b7e7ea78e460d4d8d04e42b898f3e4b526b","datavalue":{"value":{"amount":"+0.88089514","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":"Q3608775$DEC4D9AC-18A2-4A65-B905-3BC2AAF77744","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608775"}}}}}