{"entities":{"Q1708270":{"pageid":1719011,"ns":120,"title":"Item:Q1708270","lastrevid":72171663,"modified":"2026-04-14T03:06:26Z","type":"item","id":"Q1708270","labels":{"en":{"language":"en","value":"On the complexity of the quantified bit-vector arithmetic with binary encoding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856070"}},"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":"Q1708270$F06AB578-0C1E-46E2-9E14-2DBD73E2032D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a6bd95a1018a22cea826caff12c9a92e7201b83","datavalue":{"value":{"text":"On the complexity of the quantified bit-vector arithmetic with binary encoding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708270$906214CE-BC07-40A7-9A4E-648FDA3AC1DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66ef43ad1de8fe820fdcba6a804341e4353bdfb3","datavalue":{"value":"1476.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708270$15D4B58A-59DB-46EB-9B6A-0EE50F9CDC8B","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":"Q1708270$270C5105-D23D-4D6B-8C79-E6CEF952E3B9","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":"Q1708270$DC93C078-9CDA-4FF0-8C4F-84F7792D27EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$403B1107-D7E7-4175-9366-34482BBF8898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb5f99ba419b7cb955bf510c52103b6e8129dbb5","datavalue":{"value":{"time":"+2018-04-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":"Q1708270$962F1C1A-1C3A-4D32-8E34-B396B4B93BB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31af5aca95ff3b52378f483ec5c164f4d49bfd0d","datavalue":{"value":"https://arxiv.org/abs/1612.01263","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708270$5260F5AC-E0D5-4FAB-A2C2-4ACA1A5B8CEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708270$5EB2037C-8CA2-487A-82B5-19D41158241B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708270$DD70AF16-3665-4B85-8131-BFAA647B7F43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab5446d9b72d35eeb3c7605470c00355e732642e","datavalue":{"value":"6856070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708270$14FA7461-23C3-42BC-AF76-4E0D3D2B7616","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708270$B4376928-BE3F-46C1-9BFD-626478D1BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708270$29B4AAFF-8D20-42DE-9607-4B4DFACA1B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65618b1c5cf443ab1715447c31ddc8bcdcc623b","datavalue":{"value":"fixed-size bit-vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708270$87E93FBB-5000-46F3-9666-3CFFCC346766","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"228e7c7e00df0bab85c4263335c7b0708fe75fd0","datavalue":{"value":{"entity-type":"item","numeric-id":38419,"id":"Q38419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$8185A220-2486-40BA-A2B0-7600669BCDC5","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":"Q1708270$555CEC32-3A0F-4CE4-85E0-24B4DF22237F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc6c21d2e8a24fc426e8237564abf5907ffdf1ea","datavalue":{"value":"W2796456315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708270$9090F922-2EF3-44C3-A88E-F4F4EFD29DF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"705eb07356f3c57b6af5ee5160fdf7a239743339","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$15950B28-FC40-4AF1-B0DE-7397205689D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$EB6E6890-4D18-4A69-AAEA-78BF049B23CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb85f158fd0145c4ed4d2ff8f13fd27b67d63cb","datavalue":{"value":{"entity-type":"item","numeric-id":2248069,"id":"Q2248069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$F368FA5B-0C07-447C-AF10-8FCC9B8B26F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8f67bc300df73505926b0d8f2a4a3dfc98c2a","datavalue":{"value":{"entity-type":"item","numeric-id":746774,"id":"Q746774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$E5315C27-0BD9-434B-9142-EC6A55E23C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cf1fbb097a93619e873e24271fa9638a00cf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$F3768520-7063-492F-9511-3458DBBBF689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1090c0923a648c9a11d5455265fee31d46be151a","datavalue":{"value":{"entity-type":"item","numeric-id":504997,"id":"Q504997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$85034EFF-243F-49B2-8611-45C2E3B5657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$62ABAC52-A293-4071-B680-D6FE4D57A2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3e1f632aa6a45772004d57104ad9109cf2f75","datavalue":{"value":{"entity-type":"item","numeric-id":2492014,"id":"Q2492014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$53B1AF5D-86E6-4D16-9B9B-D0FA1F2766AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$62625D45-256E-4F7A-84B6-A7079172FD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89d43c584c3a5befe6e9a5021a9904d43767c15","datavalue":{"value":{"entity-type":"item","numeric-id":414908,"id":"Q414908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$04E9AE6B-1140-480B-9CA6-A50204ECBFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cade86c00ac7b634f7a23b90f53e7df91786416","datavalue":{"value":{"entity-type":"item","numeric-id":5278421,"id":"Q5278421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$F3B339D2-15A8-4160-99A4-99C336223FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf7dedc89a4c13084ddfcf138091edd6847a75b","datavalue":{"value":{"entity-type":"item","numeric-id":5015279,"id":"Q5015279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$A95732AF-407A-495C-9A82-E77B291B9B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df930a7271ffd5fbde145f2420863f456e120d7","datavalue":{"value":{"entity-type":"item","numeric-id":4928502,"id":"Q4928502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708270$4782CCE7-667C-40F7-9CED-729899E30596","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3913ba7404c73f3c2b5a646e47edfa7c706ab44","datavalue":{"value":"10.1016/J.IPL.2018.02.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708270$D98CAE25-EFFB-4917-9D85-51F839E8BA0C","rank":"normal"}],"P1643":[{"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":"22cd8c991624ca8eef5a0c94f2edc9b036a1be67","datavalue":{"value":{"amount":"+0.8468814492225647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708270$806A03B4-4C51-4664-93EE-60DD8090D670","rank":"normal"},{"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":"4392e7e526b37506d59cadca9d40cba074b42611","datavalue":{"value":{"amount":"+0.8181796669960022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708270$3BCACC71-518F-459D-B55B-B086AF2CCB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873a1445930348785a857813b9cea60c9fe0bc73","datavalue":{"value":{"entity-type":"item","numeric-id":2922635,"id":"Q2922635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3f989ed016fd01240796ed9d85cdf5765cf900","datavalue":{"value":{"amount":"+0.7967643737792969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708270$52302AE1-1D9E-4BDC-936C-B92F99E22AF5","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":"4e9d363a35bbab942996ace89ff5807588a2bfbf","datavalue":{"value":{"amount":"+0.7514058351516724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708270$DD54B6D6-140A-4D17-B1E1-DB8671F1A4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20144824755ce67035036226fb663b727c819291","datavalue":{"value":{"entity-type":"item","numeric-id":5111426,"id":"Q5111426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e7fbd1a563199859d7dd7fadd7fca3479b5490","datavalue":{"value":{"amount":"+0.743820309638977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708270$5384BA38-8E9B-4ED3-BF4E-1F8AF5EB4D5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of the quantified bit-vector arithmetic with binary encoding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_the_quantified_bit-vector_arithmetic_with_binary_encoding"}}}}}