{"entities":{"Q504997":{"pageid":506764,"ns":120,"title":"Item:Q504997","lastrevid":62336328,"modified":"2026-04-11T05:23:19Z","type":"item","id":"Q504997","labels":{"en":{"language":"en","value":"Complexity of fixed-size bit-vector logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676008"}},"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":"Q504997$641836E4-3252-473D-B6AA-9B116FF2303D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"100326e27925a4029d73a1eefcaf3ea20b3268fd","datavalue":{"value":{"text":"Complexity of fixed-size bit-vector logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q504997$52CD0955-2160-4307-AC14-CD3683094EAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e01452e129792e366b19c073ab53adc8bc4201a0","datavalue":{"value":"1357.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504997$B8BCC6E6-B678-482B-8E99-F7C95DBA273D","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":"Q504997$770E3CD5-993C-4755-84E3-47ABB6EA3603","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":"Q504997$0E85ED25-65BB-4622-91C9-A0097FCA8B12","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":"Q504997$85C6ABAC-6A14-4578-9FD9-FE922A0CEDC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$262D74DC-1F9D-4A7D-8E50-9AFC9CAC4447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da62c406b4a04eca20d16dbf434fddd11a83f858","datavalue":{"value":{"time":"+2017-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q504997$D26425C7-2F92-49E3-B18A-D8347CE04CD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504997$7FFEA440-2203-4D5A-A228-BD015549CA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504997$1393C3CC-5579-4C7A-A5DF-FC90A405E205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b33db93a04e705e2d4aa784422cebc27c15e9ae5","datavalue":{"value":"6676008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504997$BF60A770-FFE9-4983-A90A-5894655F52BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$1CF4FCAB-8564-425E-B974-0EABA34E16CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$1F6F506F-77C3-4967-A29E-768571EA940D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8af2a650260ed14f9a2ecee0f16283c5e6cc69","datavalue":{"value":"bit-vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$9B9454D4-2330-4405-8373-A3535A2B24B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4807cc4dcc952c63afdfd4829e07668cf6dd8b7d","datavalue":{"value":"bit-vector logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$AEFC1873-FA12-4EF0-9EF2-176CA1786C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f730b9d52a9cddb45bd0dd0b4bbb917d598746","datavalue":{"value":"binary encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$E6181FC8-F2AC-4CC0-AC56-92D590AECB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0596688b151b03a8f41ea732ddf447153e7f2e2c","datavalue":{"value":"logarithmic encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$D129E65E-8129-4533-AE96-88DC4D1D18C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62f9ed7444d260c736682e528b9cbd3a10ed85f","datavalue":{"value":"unary encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$13E58703-D517-40A2-8FBB-55E410E876A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$1069C143-2CFA-4524-8A34-29EEBDBAB6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f64ae39b4a5c00a2411b90ea62cecd541f35fde","datavalue":{"value":"NEXPTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$95D5A823-53F6-4B28-9E07-819C4A0268F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$85FC01C4-DA14-4477-97E7-1DF901902FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$AD375FB0-14B3-4547-B6E9-EFE198A88644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q504997$6FC0C9A2-BE01-42D2-B89A-5E08433CDC9F","rank":"normal"}],"P1463":[{"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":"Q504997$AEE7BE32-1A42-4B2A-906C-D13BE4893978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$4B2A855C-0B71-4B93-B94B-8DC28650101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$46B1595C-3B73-463C-BACC-5B5E38170B5E","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":"Q504997$BDD6542C-C056-4BD9-BC19-AB40BF520691","rank":"normal"},{"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":"Q504997$7988314B-6F11-46D4-9F5B-AA8250C32C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$38102F1F-C332-4651-A6E1-3C96A2E9EA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$D4EC2731-CA03-444E-ADEA-3A3C1443448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$BB1EEF56-A1B1-4D2D-9A31-859B4750A051","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":"Q504997$28783C9A-B30A-4D25-99C5-349BDAF5A5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$E9488A2E-98EA-4199-987C-EA39562B1F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a0f9a97f12aafd7c258bb9b7eba4ff6246a62e7","datavalue":{"value":{"entity-type":"item","numeric-id":40362,"id":"Q40362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$73CB71DB-4153-44DF-B30B-6F403AAB4A01","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":"Q504997$D797FE4E-2035-4C5B-8CCE-B39B0A79DA2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d527a1e0110514b9285d2e72aea2816dbed3dd4a","datavalue":{"value":"https://doi.org/10.1007/s00224-015-9653-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q504997$D216ED46-BFBA-4EC0-954D-5258B1E20292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71271a18c05bcd20c7f49a7680859f3f8ef2d66a","datavalue":{"value":"W2211407346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504997$E29D043A-7C06-455F-AD9A-267C0EA74BFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2240533a0e7ecdcbcdbd4e37e1684cf3a859a4","datavalue":{"value":{"entity-type":"item","numeric-id":2754082,"id":"Q2754082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$0B9D3456-2606-465A-8F91-60F1599440A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85767f2b66a371c728d9f8299a78f1e167e30750","datavalue":{"value":{"entity-type":"item","numeric-id":2843328,"id":"Q2843328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$510D1E89-DA4F-4C3D-A232-372E55F31575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$69CFD4AA-9944-4E3A-8132-EC6AC603806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e65d73ae8ce50631a13a2e25599a048bc2eda73","datavalue":{"value":{"entity-type":"item","numeric-id":4158479,"id":"Q4158479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$DD259C60-6832-4175-BC53-CF7462303A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$C30438BB-E125-4B3D-B55A-8FB98AF7646B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$A5076D50-7927-4101-B671-479903FA8D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$063AE695-037E-457A-BBD3-8A0B7A998AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$FC8186AE-F84C-4DF0-A610-1C1BD334DC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037b802fba046e36ddf986e84c18ed7122a56d32","datavalue":{"value":{"entity-type":"item","numeric-id":2786912,"id":"Q2786912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$C6A04200-843B-47CD-BFA8-3D616F005636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$8A8A31AD-2F28-494B-81A1-3C185B578373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aba1adcbf09e40de2694013fce9f78f505bd9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3741056,"id":"Q3741056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$9E9FC58C-2E7E-4B19-B0CF-B5445425D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$5815E848-F3BE-49E0-994A-44FBFCDDECAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72218519db5d67e742c1d9933b547c92ef121134","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$A84EBCB5-6654-4349-9FDE-AF2D91BA002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898af68b03762e5167ac8c8573f4a5acf41514c7","datavalue":{"value":{"entity-type":"item","numeric-id":4489064,"id":"Q4489064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$7C77BB1E-89DE-4D6A-8732-2A3DBD38EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$A815D01D-2C0C-4976-BB1B-09D5F390D7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e999bd55b11c678149a2fc808a71ea252c5ca3c0","datavalue":{"value":{"entity-type":"item","numeric-id":4928459,"id":"Q4928459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$B7F9C1D6-7A1A-45B0-914D-1A4F5464A438","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":"Q504997$98E03FEA-26DC-45BE-B562-6F1ECCAEFD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$990CDC12-74F4-42AD-AD1B-158521128548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$5265DCB5-E9F3-482B-B75E-7EDDB8EE52E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05471aae7e071cb257e3673e6ee079f4d3972f3","datavalue":{"value":{"entity-type":"item","numeric-id":4540967,"id":"Q4540967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$F65C4D2E-EA5D-41DD-806B-9A1D4F95AB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$2555D54B-61F0-4C16-8702-0EAB7600EB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$411AAB52-14E6-4439-BF2A-77C6E26EC6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$54F36C52-3943-4776-ACFF-74A8EC1247D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$82F8E78C-0615-47AB-B456-EF4593475F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$2A62EB2F-A268-4CF2-9F15-09F85CC6E4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa38bde05dfb6ebb2547c80c058cc29d4941a6c8","datavalue":{"value":{"entity-type":"item","numeric-id":2908521,"id":"Q2908521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$AA8E85FE-A586-476F-B07B-AA91873E96D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504997$F8185471-E20D-4773-9B47-D05FA7895BF4","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":"Q504997$B89EFB04-3AA2-4E2C-9266-CF2184A417DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a768cf0a4bf5e5f9f65ef2c245fbf0b49769fc3","datavalue":{"value":"10.1007/S00224-015-9653-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504997$B723FAB5-FD50-44F4-A0AE-FD5867ADD1C8","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":"63a99ebf6fe092507dfede3a902244eab588a764","datavalue":{"value":{"amount":"+0.9273419","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":"Q504997$60624CA3-E37C-48C5-AF05-399F433CF8CD","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":"a44da84b65cff1fff47ab271405a4494ff82f04d","datavalue":{"value":{"amount":"+0.9078941","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":"Q504997$3BCA50E3-3CA1-4F42-B2F1-CA2FDD3949C5","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":"1ddb80dc8f9e42be15a7a5b5babf7a568178632f","datavalue":{"value":{"amount":"+0.8919195","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":"Q504997$4CD0F15C-6919-441C-AABE-463FA13D1ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f8190b5ea90a522bd51294a0dffe2b41549121","datavalue":{"value":{"entity-type":"item","numeric-id":4522831,"id":"Q4522831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0016e92a57afc042120a442f0ef4f7a939683cc0","datavalue":{"value":{"amount":"+0.88899076","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":"Q504997$7044C104-2F7E-422E-AAF9-D00C7DB885A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4048e1ff823dbd3c370164b4e7d8484fc67d13d8","datavalue":{"value":{"entity-type":"item","numeric-id":955019,"id":"Q955019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf830f31cc0eac64da42b85c050c2eae54f341ee","datavalue":{"value":{"amount":"+0.8878852","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":"Q504997$614075F2-C8BC-441B-9E0F-2925F2BA1AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bcdf8a099926f29724311dd4b238c496128a6d","datavalue":{"value":{"entity-type":"item","numeric-id":2978506,"id":"Q2978506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c0b0a7740bbb216bcf24cb99f92ccccd02cbe3","datavalue":{"value":{"amount":"+0.8824486","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":"Q504997$79852C6C-028B-47CF-BA50-EC4F6D927555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f56997a5b8c2f4cc03bec0c73250da5a491d9f0","datavalue":{"value":{"entity-type":"item","numeric-id":1704580,"id":"Q1704580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bb5eeae98d903e0e7eefc15f0c8b5d8fa518ed","datavalue":{"value":{"amount":"+0.8823006","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":"Q504997$D45E2FCC-5D1F-42E0-AA37-EA0204FF6B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095d2d47d1d78fc2535d6cfd834cf25389de1592","datavalue":{"value":{"entity-type":"item","numeric-id":1688711,"id":"Q1688711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85558dfb741b28745274136fd07cbb3cf695124d","datavalue":{"value":{"amount":"+0.87616676","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":"Q504997$1846CB0C-0368-4324-9679-E01D997E9C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a4fffdda03c47c59864162b71344c1395c6f95","datavalue":{"value":{"entity-type":"item","numeric-id":3457729,"id":"Q3457729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85558dfb741b28745274136fd07cbb3cf695124d","datavalue":{"value":{"amount":"+0.87616676","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":"Q504997$EF28D2B4-0A6F-4E5F-B2D6-BD2A08076911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64151fcec3c1d5c36d0cccfb62de57afe7bc355e","datavalue":{"value":{"entity-type":"item","numeric-id":3576211,"id":"Q3576211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea813b68f63cf90e5405bc783c7b58e51a20447f","datavalue":{"value":{"amount":"+0.8738328","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":"Q504997$7FDCB1F9-9D44-4D72-A3F3-EFF2094E9C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of fixed-size bit-vector logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_fixed-size_bit-vector_logics"}}}}}