{"entities":{"Q5148102":{"pageid":7177673,"ns":120,"title":"Item:Q5148102","lastrevid":100342289,"modified":"2026-06-05T21:54:12Z","type":"item","id":"Q5148102","labels":{"en":{"language":"en","value":"ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7303637"}},"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":"Q5148102$C7364020-96E9-43CC-92DE-336CCB872ECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4603f03ee6c26938da9a2b4995d06d64e3d3cd45","datavalue":{"value":{"text":"ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5148102$0F533974-4413-412D-B29F-062DDFE977FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bab026d2c45c5966bc0a427b4d91a6feebcaeb17","datavalue":{"value":"1497.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$9FC7B100-E510-44B1-A154-7FA9EAA91901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$460E41CE-6EB8-422F-8234-595BCB43938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ec1f3506837cdbc96572a8b9752777c89e7629","datavalue":{"value":{"entity-type":"item","numeric-id":1635509,"id":"Q1635509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$6C7BE069-B2B6-47B0-9A4F-C1AAADB2803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"801443bcdf7411de1b6e68c3a4294f9eec71cb12","datavalue":{"value":{"entity-type":"item","numeric-id":235580,"id":"Q235580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$74B5E54F-F206-4838-82D6-832611D87DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf90adf2f8c4be6bf83c172c6d96044304e5e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":508471,"id":"Q508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$BE1D7AF7-DC8C-484C-9A49-7ABAE9571D94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d9d719ebb8f670fd6c641609e1f785d25edf480","datavalue":{"value":{"time":"+2021-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5148102$DAFFA81C-9DF4-4C75-AC27-C5DC0D515D2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a35f92406ac816c2fbdb754d6ac792de92db2519","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2017/6991/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5148102$3BCE0E2E-36C7-41C4-8F18-84DC3DCAAA16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ff42dddfe5f41df416984cf4dad89a0ad78ba0b","datavalue":{"value":"68Q11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$5D9A3DE5-150F-4207-B94C-F77A9460CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$DBCC0F8A-D87D-4AB1-A4AC-A83A200175FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$0F96DDCA-D146-4469-B5E6-D3352337C16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$866149E0-770E-40DF-A575-DA1D8C77BDF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7127974414dfcea208fa42f42c3edf327ed2ada","datavalue":{"value":"7303637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$9B1D0F8A-3165-4F16-AC08-3AB2FEDD530D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d59f9270ba2c0b3161162dab212fcc774a42eba","datavalue":{"value":"communication complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5148102$F9EA89A0-4991-438C-B1C2-7DCF152B5A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4771e87024379a127eeb5cb825da92270294fe37","datavalue":{"value":"error-correcting codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5148102$1E8F0904-0471-423A-A1B8-C7458A095A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5148102$B42340CA-AEBD-4493-B906-B15BB11D68CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5148102$8318E619-5638-4401-A5B1-83A831D5CDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0634b490a4639eeb6732497eb5e16842e3f9e3","datavalue":{"value":"satisfiability algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5148102$3BA164AA-EAC2-4DC0-B73C-B4B9E44C18EF","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":"Q5148102$315E019C-69A4-4672-992A-EADD3991E2AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d97fcac6ac5915f44068f25a9e0d1882a07077b5","datavalue":{"value":"W3035897643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$95F62FCA-B0E3-4EFF-B2FC-11DA39E5967D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82559a7915f9600d2daffe28b1e56e8eb867accc","datavalue":{"value":{"entity-type":"item","numeric-id":4475626,"id":"Q4475626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$94307F1E-7645-4354-A6A8-D04FC02B2890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69eda47405b17d40c87e3adee3f3ae723ec10fff","datavalue":{"value":{"entity-type":"item","numeric-id":2498004,"id":"Q2498004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$3768FEE9-826E-4320-949C-EF25552E1FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4690405eee8895f3745c3a69ec2e82721cd12da","datavalue":{"value":{"entity-type":"item","numeric-id":5900286,"id":"Q5900286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$7F66217D-B511-4391-A177-31E9B78CD7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$8024DE82-9634-4704-9C5E-AFF48F430BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f570ef748005c3e1036187934de5f932361642","datavalue":{"value":{"entity-type":"item","numeric-id":5121904,"id":"Q5121904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$6E2642F5-6E84-4E4C-8472-9D1AE519BE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e07a86ac8a4147f4de4bb1b8e5c31b34b9184f5","datavalue":{"value":{"entity-type":"item","numeric-id":5614192,"id":"Q5614192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$43E5744B-E1B8-438D-B95C-28D90824DA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbeff940ed321854f51a3ddcaf9106016e7c5e5b","datavalue":{"value":{"entity-type":"item","numeric-id":987797,"id":"Q987797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$3D8FBBD7-A2D9-43C2-8C86-0C540F857BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$09046B30-65EB-4DDB-A46C-9700797E5102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$EAA1E9A1-F186-47AC-AC68-9F1CAA6D1CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9579c8803fb53b27a71a5b479e41fe7d6cff68f3","datavalue":{"value":{"entity-type":"item","numeric-id":1886038,"id":"Q1886038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$68802837-62FB-4F6E-8B74-9B968E54092D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2657dfd26e0c329ad73aad6269fe2e16d5d1a19d","datavalue":{"value":{"entity-type":"item","numeric-id":4928478,"id":"Q4928478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$E3D1E6BF-15A2-4FE8-B0FB-3EE4372EE2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf76f397cd0da9a5fa67a02622e20265124f551","datavalue":{"value":{"entity-type":"item","numeric-id":3293678,"id":"Q3293678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$6E914380-E28A-44C1-A513-E40AA2B9FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0758251afe6a76a41e18f7daffbd45a12fb82b","datavalue":{"value":{"entity-type":"item","numeric-id":1408378,"id":"Q1408378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$A4E30A86-D0A8-44FA-B5BC-8B7F0096AC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f7c74d4ee024491bb2e8884aa210d32ed20ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3546962,"id":"Q3546962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$F280779D-2476-4514-A19C-E4E53FF16D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4be033dc1e037b43c1538205386964bc6ef38a","datavalue":{"value":{"entity-type":"item","numeric-id":3514498,"id":"Q3514498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$F6C55C82-0B95-4269-A190-2DD2D4196E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f126b7612c28e196203420c13ffa3709805388","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$73346B28-08F2-4B95-8498-74A1948096C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$0F94A708-B87D-4AAF-86BA-40BDF0AF8CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f5812e34a559e1a1e9ab89e4cf3751977c625","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$751ADF46-8A9D-4845-81EA-7A46287AEF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$83E7B3AB-5DDD-457B-9B2E-65B69736E192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ccf4d42c4757827ddea695c7555934bd0854b7","datavalue":{"value":{"entity-type":"item","numeric-id":1112836,"id":"Q1112836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$E06C4872-03E1-4C87-B7A5-54155CAF87AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db99c21b94c60f303b191f15b8e05c4141c30dda","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$E928E733-AB1C-4297-A695-9C9282C07E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c047d925b5cc83a1e636eca8beda0b4db8d93d25","datavalue":{"value":{"entity-type":"item","numeric-id":4388806,"id":"Q4388806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$2EFE6AAD-9100-4426-9649-FC7EADBC2BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a929277efd80b0c6ba91fc0f436f87626358b5","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$9F49472B-5C88-42EE-8C3A-BDFEFCDBEE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$09DDB97B-38A6-4409-9312-1B5CFEEA32EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$8C07CD0D-8FB6-4824-9E3A-CAFBCF65ABDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d093987329dfe8f0e27b0cf50c1cf0e034ce109","datavalue":{"value":{"entity-type":"item","numeric-id":4544525,"id":"Q4544525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$E1296E5F-35BD-4658-BA54-416CDD256956","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b7e4f5bd40a1cdcac9f09704f4f6fdac3f0eb48","datavalue":{"value":"10.1017/JSL.2019.53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5148102$F1569A52-253A-416E-87D9-84C22B34E563","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5148102$BAF5CB46-3010-4F33-A9EA-554090EAAFAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391c1c693c44ddcc7bd2a422a8e7a3438960a5db","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767ee3d1fc1be758d8a12f529538d2050adf3d7a","datavalue":{"value":{"amount":"+0.99960446","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":"Q5148102$75236335-6E84-4E24-9F16-85D593CFB36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6ae0dfbc583f1e8e5ad6d86f0be09ddef03032","datavalue":{"value":{"entity-type":"item","numeric-id":4218142,"id":"Q4218142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58dcb5658a43999c83d8f65c7957b5ea636f3bc2","datavalue":{"value":{"amount":"+0.87842774","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":"Q5148102$21108498-03D1-465B-BD57-4B110E5BA4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9053cd0221d8b2d7979e401c42852b126cc7e0","datavalue":{"value":{"entity-type":"item","numeric-id":5121904,"id":"Q5121904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db3ac6e790e2812cacbeec43df9b8d2a6909448","datavalue":{"value":{"amount":"+0.87045425","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":"Q5148102$DD53745C-19F3-4D53-9591-A58BE3AEDBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368c5656b3170ac18fccb8cadfc0a65f2b4fda4d","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6b662e80482aad449a651993211016c9345268","datavalue":{"value":{"amount":"+0.8697966","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":"Q5148102$8F5A3400-A1AD-44AF-B04A-90F421164ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cd96e1b75233edccf7c11b780a0dd85a4620ec","datavalue":{"value":{"entity-type":"item","numeric-id":2568437,"id":"Q2568437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24807a9edd45399ba0bb2ff416c5b13dc17a1c28","datavalue":{"value":{"amount":"+0.8625905","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":"Q5148102$05C5671B-51F7-4775-B67F-1BE48818206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218a32d0b9ce002d69f2252c175d473de18ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3599068,"id":"Q3599068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faee39d2b0ace07599dada5f6167c1ee730fb1ff","datavalue":{"value":{"amount":"+0.8620627","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":"Q5148102$05722CA6-FA30-4396-A137-588E7DAE9C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a031041be2d3201c96b1788bde5872167c8453b","datavalue":{"value":{"entity-type":"item","numeric-id":5056355,"id":"Q5056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d6c21b3ada2152b268c9c4d6bbb30779a8c7da","datavalue":{"value":{"amount":"+0.85774136","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":"Q5148102$6FC9E0C8-BDF2-49ED-9CA5-DC81C422FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd916d873ee39f0fd3bb37ca98a6b886fe5da0a6","datavalue":{"value":{"entity-type":"item","numeric-id":2661344,"id":"Q2661344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a695f9a44e6b18081915d0b45f6ec9b1d34272","datavalue":{"value":{"amount":"+0.85234064","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":"Q5148102$E9A7DB27-AA75-4A9A-A6BE-AF65C87AAC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d60511b0b9fb9ec76072cb1209959948e501e96","datavalue":{"value":{"entity-type":"item","numeric-id":5097511,"id":"Q5097511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a695f9a44e6b18081915d0b45f6ec9b1d34272","datavalue":{"value":{"amount":"+0.85234064","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":"Q5148102$A69AAF35-861C-40BF-B259-1256EBD6C566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES","badges":[]}}}}}