{"entities":{"Q2908521":{"pageid":2919246,"ns":120,"title":"Item:Q2908521","lastrevid":44726643,"modified":"2025-11-25T12:15:07Z","type":"item","id":"Q2908521","labels":{"en":{"language":"en","value":"Synthesis for Unbounded Bit-Vector Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076930"}},"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":"Q2908521$A52854DA-EF6C-462C-8B3B-6A3A1BCB2600","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a100ec053046295875dc98a25828cc6529527da","datavalue":{"value":{"text":"Synthesis for Unbounded Bit-Vector Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908521$531835E5-DDC0-496D-9CB7-702C23F404C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1ddd1cc9ebf3c8138a8721a390aa37e03d7de35","datavalue":{"value":"1358.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908521$DE2B5A55-29C3-43D1-9780-FFBB22A831D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d89e9b3d5c8275557d9a0739c8f6503e86d765c","datavalue":{"value":"10.1007/978-3-642-31365-3_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908521$A9BB984C-BDE4-46C0-AE26-7DF502F14FA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a5abacd58418bfd4db5a25824fb8c9c160bb5c","datavalue":{"value":{"entity-type":"item","numeric-id":549876,"id":"Q549876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908521$E2CF6136-6444-4765-9328-B82DA698C302","rank":"normal"},{"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":"Q2908521$F7C67519-F0F0-40C6-A1AC-D90DD7A4B10E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908521$0C538A77-C0A4-4D0B-9CA8-695781835BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908521$AD277134-25C3-40F3-ADB5-9E1F8A7C59AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908521$B8B47D8E-19BE-463C-A76E-3FD003A86C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908521$DFF5888E-298A-4B9B-8FD7-7E2C4921EF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908521$8F93426F-5DAE-4E46-8112-707EC306D0BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0721d60736ba5e78b269dcb501102b3be5d54ff","datavalue":{"value":"6076930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908521$310BAE25-5872-465C-8D11-F8D9C3EEB433","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":"Q2908521$262867DB-6E95-40A0-A402-3C66389425F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd829cd1d066bf56771be1a697206e5fda1a561f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908521$7AFAF091-AF67-4D39-A0BD-65153E9DECE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a21facbaa5d5496abf659369af004d3dfe72fe15","datavalue":{"value":"W1810520346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908521$06AA72B8-C9C1-4871-95DF-B88D7FBE868B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f990f40e8009d88421ff8ae690e90bf503604d","datavalue":{"value":{"entity-type":"item","numeric-id":4498369,"id":"Q4498369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d900adf60e3456936f728f9f28ef2521fac03b72","datavalue":{"value":{"amount":"+0.8578837","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":"Q2908521$9F991237-436B-47F5-9CF5-58DAA9EA5BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887925069d9615572d47c7b054d26f8f6ec28e24","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fdb3fc60bb030080db15333c7856980ef88e3b","datavalue":{"value":{"amount":"+0.8529827","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":"Q2908521$F82A4266-8E3F-4136-B719-09A7837BAA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230d9bda81504d21543dfdef0313486af7e2f44d","datavalue":{"value":{"entity-type":"item","numeric-id":3597518,"id":"Q3597518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd84dc0d02f959e7f30898a384ce8bb541735321","datavalue":{"value":{"amount":"+0.84152806","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":"Q2908521$1DDBDD83-FA4B-4D76-99DF-82233EF926A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958a251eae217d720e5468190623fe7cee94a2f2","datavalue":{"value":{"entity-type":"item","numeric-id":5747772,"id":"Q5747772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b294ae91798854b8a192bb71f70f533620ee18a","datavalue":{"value":{"amount":"+0.8318793","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":"Q2908521$1B1777BE-B467-4AD4-B722-0EBCD61E287F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb02a597db6bc8fbefa867f8ca47e3ebda3cf632","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9c692bef1bbb6b3e0f77443744cdbc4d77813d","datavalue":{"value":{"amount":"+0.82911384","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":"Q2908521$CE141808-2169-4AEE-B3FB-90831F9CFB54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908521"}}}}}