{"entities":{"Q4928502":{"pageid":6958084,"ns":120,"title":"Item:Q4928502","lastrevid":51744887,"modified":"2026-01-19T19:38:35Z","type":"item","id":"Q4928502","labels":{"en":{"language":"en","value":"More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176269"}},"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":"Q4928502$13589F14-C36A-4D15-BFC4-52582D06245D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d08ddc32d2b5142cb982b48e48b706d3ec19578","datavalue":{"value":{"text":"More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928502$B7E5DA64-19D3-47AB-A4F7-59A65CA52761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a73201313a1f65327f8cb0329d6e795e8c37a59","datavalue":{"value":"1345.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928502$33CD439A-F75B-4D25-B2B5-4F2ABAB5CD2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f32ab9b61f25fcf2f791754b239c827210b07ed","datavalue":{"value":"10.1007/978-3-642-38536-0_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928502$6126C11C-B6EC-4C13-8CE6-E93BFC5D2CA0","rank":"normal"}],"P16":[{"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":"Q4928502$9A49E97F-5B90-4F46-8D50-24BC229847A8","rank":"normal"},{"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":"Q4928502$C0672A17-EC33-4A2F-95A0-12E4DB6CBD9B","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":"Q4928502$88F250D9-5FBE-43FF-9028-F972D5C89EFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928502$5975DF24-4BF7-4A8C-9C58-AB6FA94A2E66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-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":"Q4928502$C950C2F3-6BAA-4E50-82D8-53E3ADBA5A27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928502$4080CD9F-2B15-4492-8863-89F512BBF989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928502$8233A293-B95C-4CBE-BBF6-75FD84AEA77F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cfcad5ca23e724811ccb4fce7de06c57d4cbfd2","datavalue":{"value":"6176269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928502$F4D0806E-4D6A-48B4-997F-742B698FA374","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c68f838646040a47725898c45ccbdd7767d141c","datavalue":{"value":{"entity-type":"item","numeric-id":19197,"id":"Q19197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928502$695FB995-B3AA-4165-BC5B-AEDD693283EC","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":"Q4928502$37A20E77-201F-445E-B83E-F00DB1F1A7E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97e02a064f5c0202c700d61cc042f6c89bc8b846","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38536-0_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928502$E2938B1C-7C6F-4D8C-BC5C-7DAA8E4587F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4403ec5acf784b49ef9cab45c2c19e780a88175","datavalue":{"value":"W177940266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928502$4B8B84F6-A45D-43F3-95EC-5C58820CF1C6","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":"3478ddb42a84e50c89b478686d3111a369f0d862","datavalue":{"value":{"amount":"+0.9488474130630492","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":"Q4928502$FA4220C5-F412-499D-8883-AC16849645B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaa2b0b7bdbae8948cf00ec922e4fb8da9276d5","datavalue":{"value":{"entity-type":"item","numeric-id":1708270,"id":"Q1708270"},"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":"Q4928502$4E06827D-45C7-4449-A6C1-9B0E29DF206A","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":"858a0d4ca2b5e86317d8e68c53d33f142943e3be","datavalue":{"value":{"amount":"+0.7917983531951904","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":"Q4928502$0331B5BD-340C-4D1A-B3BA-4AB2DE1EC176","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":"bd0083b14125a031c1a4e820fb67ac0b3651d6c8","datavalue":{"value":{"amount":"+0.7524756789207458","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":"Q4928502$02F78FD2-649E-4230-BE9B-BCCCDEB95EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d05978db3d9cb2be429a98108d0dc51f38337cd","datavalue":{"value":{"entity-type":"item","numeric-id":4928459,"id":"Q4928459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84a5326b6759f20ac6a2e353ad0ca7d2efd93d1","datavalue":{"value":{"amount":"+0.7523676156997681","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":"Q4928502$80011402-7127-4342-AF4F-9536F24A03BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928502"}}}}}