{"entities":{"Q2661364":{"pageid":2672107,"ns":120,"title":"Item:Q2661364","lastrevid":44590494,"modified":"2025-11-24T04:20:15Z","type":"item","id":"Q2661364","labels":{"en":{"language":"en","value":"Speeding up quantified bit-vector SMT solvers by bit-width reductions and extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331034"}},"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":"Q2661364$178E8846-E8CC-4267-BD1B-AA06B1001D3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c82154fd68ac2f7771a4e898d19ee7f46837a5cc","datavalue":{"value":{"text":"Speeding up quantified bit-vector SMT solvers by bit-width reductions and extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2661364$7D177421-C713-4623-9B1F-14216DC5FE5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cd9a8d7fca7d6ab3815ffaa51d1a013c910469d","datavalue":{"value":"10.1007/978-3-030-51825-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661364$F98FEC2C-F8BD-4C72-BB58-7E53B15BBE7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ddb4098032df6ce539b1158bb4b49fd29d7ae1d","datavalue":{"value":{"entity-type":"item","numeric-id":831941,"id":"Q831941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661364$18AE9703-ADDB-4A05-888E-2BB34FABB192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"952e13cf13a37e2b25a37008848ccc82d63b7b29","datavalue":{"value":{"entity-type":"item","numeric-id":832316,"id":"Q832316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661364$A7317BF8-5E5D-4A6E-A9C4-3F9DCFC27C00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2661364$BA84B0D9-3C83-40CF-86CA-584F166DB447","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661364$9FB8F807-9395-49BE-831F-178268958CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661364$957764E4-26DC-4A0D-BB56-A5501DC451F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661364$0F1D5FE1-192A-4BF2-A33A-853D58F21C9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"123a40af530ef615f37ec585cd530a8d72d92409","datavalue":{"value":"7331034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661364$80FD1606-CC3C-43D0-8866-5DE148A77AA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2213f6ebf04facfbb2d7eedf1dee83d9d1743e86","datavalue":{"value":{"entity-type":"item","numeric-id":1354195,"id":"Q1354195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661364$5FF01A22-0839-44D5-B2D3-57304AC544D9","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":"Q2661364$953E05FA-5243-4ED0-9218-7EB3C85A7E49","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":"Q2661364$E5DCC6AE-8E38-4C6E-8E08-C72652F095FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661364$32FB49FA-3838-49A9-9CC5-41A689ED81B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661364$1AB88C6F-0136-4BE9-8DF8-1672ED2C2C75","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":"Q2661364$011D7405-BB1D-49DE-9EB9-C432DA0E7733","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce141f880cda80d933a8d5a695a67ea7942c315f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51825-7_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2661364$4CE7A589-AE30-481F-A9BB-11D762169670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68b2f63cef806876bc8a476622580ec7d1005789","datavalue":{"value":"W3040049348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661364$FA38CE3F-F40C-4932-9F61-76420F18E908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2661364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2661364"}}}}}