{"entities":{"Q2922635":{"pageid":2933355,"ns":120,"title":"Item:Q2922635","lastrevid":44731197,"modified":"2025-11-25T14:04:56Z","type":"item","id":"Q2922635","labels":{"en":{"language":"en","value":"On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6355338"}},"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":"Q2922635$E104A393-78C5-4989-8FFF-313F60E9CACC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86331a4ebc6443ec1e5c7e47c6376c2611ef601a","datavalue":{"value":{"text":"On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922635$BB5F20BA-6A46-434F-98A0-17960D061C71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92e4cae8b5feec0d946e35b2c1e673450dcc3e7c","datavalue":{"value":"1426.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$B70A2FEA-F693-40CE-AF1C-F5118BF8069C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ab818ec9c78c32d74668e08416be863ac7f273f","datavalue":{"value":"10.1007/978-3-662-44465-8_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$C3437D17-1797-4204-BDFB-D3E4EB17BDB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b66200cfa3f36ffd0b8d61c8c7da849baf5fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":504995,"id":"Q504995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922635$14CC2A91-8CEE-44D3-BE2A-73D1BECB42EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922635$83827E35-D18D-4643-A654-06A2A1884C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbc891224517055fc3e79fc6a5600693bb594076","datavalue":{"value":{"entity-type":"item","numeric-id":504996,"id":"Q504996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922635$17C55B41-F928-44ED-A6DD-FEB82CF5097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922635$D4000FBE-DA27-43DF-AEB2-ABCA604CB0EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68b25ed9d3c306483bfc58de311b8d2185d8c136","datavalue":{"value":{"entity-type":"item","numeric-id":2921996,"id":"Q2921996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922635$6A9EC069-C99B-4FEF-A252-2B28378C4137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b416645c0a17193441756de619503aab4f6e3c3f","datavalue":{"value":{"time":"+2014-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922635$FBBEBEC5-B462-4211-86AF-31C023DE2C04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$74911C3A-20E5-4926-9A02-288D40B38ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$37976970-36B3-4F84-869D-B8AC4A458551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$F798650D-DBB0-4046-A283-44142E656AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$7FFEAA32-8542-4841-8F11-653FBB60CE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$48210ECD-F4C9-4F4B-81D9-18685F912FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$BFE2B8BC-DD66-450D-9FDE-1F7EA6DCB1F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34d31e4c363628b98d53fe392b4d47c3fd0caece","datavalue":{"value":"6355338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$6F97EDC2-A6E1-4C37-AA38-9F85DDB5828A","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":"Q2922635$D5D6DE60-48B2-456D-A8B3-3D61C1083EC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c35dda2b88e4bbc69275c4be3a533f8f4e7bf2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44465-8_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922635$8E966513-8DD5-4F6E-AB17-5214E51A7B2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01c7880660c660aa28905a52705f389a422769c0","datavalue":{"value":"W1757339714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922635$160DD2AF-61E7-471B-B920-C50A34DF3C42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8b223bb7119783d9e3e7cf53443ec1e9496d8a","datavalue":{"value":{"entity-type":"item","numeric-id":504997,"id":"Q504997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44da84b65cff1fff47ab271405a4494ff82f04d","datavalue":{"value":{"amount":"+0.9078941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$5EBCB49F-CB20-4E7A-B371-2EE20B7EABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054842a2de5dff32b75f34c5574ca6dd881f24a2","datavalue":{"value":{"entity-type":"item","numeric-id":1647969,"id":"Q1647969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190a16b01d14f167d103296f06eff098f12ca010","datavalue":{"value":{"amount":"+0.88627267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$EE95301E-7CBF-4B9E-97D2-DAF178FEFE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c35845b74fffb2b3cbf21332b9e7f8be9711942","datavalue":{"value":{"entity-type":"item","numeric-id":4928502,"id":"Q4928502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e8d7d3f9b1b2d9203640ed3a7dbf465635712d","datavalue":{"value":{"amount":"+0.8821845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$1E83AA94-6AAD-4BA2-A261-44E17D3D94FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee124b3fd53c0d1ca99d8e27bf9f50dad3bbfc3","datavalue":{"value":{"entity-type":"item","numeric-id":6167165,"id":"Q6167165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932b965a5f439b380a4eab87171e76e1a798da0c","datavalue":{"value":{"amount":"+0.8710438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$A3ECAC49-A507-4F1B-B3D4-E6192B59C5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db243c484ecbe4c8541c0b4871c0e63c2dfa456","datavalue":{"value":{"entity-type":"item","numeric-id":2051567,"id":"Q2051567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496365e509e77a6104d5d6e6425ae52696d1f476","datavalue":{"value":{"amount":"+0.8703176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$95209CA8-CCB0-4D3F-8365-74DAD1B19C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ec5d5be1a750efa0d0f8f3485608c50f78d380","datavalue":{"value":{"entity-type":"item","numeric-id":4571133,"id":"Q4571133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e48d7d3d39a1646528ac868ab3bb6ef5cdc10b","datavalue":{"value":{"amount":"+0.8691252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$0B9C9AA1-03A8-4685-8931-70CD6362F2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ccfcb719718e5065a8b5bb0c73582eb2c13383","datavalue":{"value":{"entity-type":"item","numeric-id":2118330,"id":"Q2118330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68fb83f1bb4d18ad6d94638f71b4ad7e561dc05a","datavalue":{"value":{"amount":"+0.86649466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$F2CF25BC-CD0A-4B79-80B9-9948F8D5645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd67d9904f8497b4b7b4ba2781e1ac9bb002f","datavalue":{"value":{"entity-type":"item","numeric-id":2818019,"id":"Q2818019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb0aaef8cf3133dc4c832d9becbbc1ece900517","datavalue":{"value":{"amount":"+0.8661582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$00921BF3-5035-4337-8146-AF020D91A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8fd66b5c9c1158a1833c6186cfcd5a83fadfcf","datavalue":{"value":{"entity-type":"item","numeric-id":3012165,"id":"Q3012165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4921101cd14f5873e638aa87e07a890aa71103","datavalue":{"value":{"amount":"+0.8647757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2922635$4FC98BBC-A69F-4FCB-801C-767EE642EE3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2922635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2922635"}}}}}