{"entities":{"Q2058375":{"pageid":2069117,"ns":120,"title":"Item:Q2058375","lastrevid":72564702,"modified":"2026-04-14T05:46:18Z","type":"item","id":"Q2058375","labels":{"en":{"language":"en","value":"Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440319"}},"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":"Q2058375$2E7EC3ED-421E-4B52-9FAD-AF1FCF46B38F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e5eb0102f3c40bdcb99dbe2324c72bea6151054","datavalue":{"value":{"text":"Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2058375$04A6D0DE-C033-4C1D-AE0D-82C148C9D4F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed4fbb2aa7f1cb1d6373378c85c273bf8475085","datavalue":{"value":{"entity-type":"item","numeric-id":1799084,"id":"Q1799084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$62336D7D-0790-4D76-AD8F-1DE89093062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$9D745AFA-D6BA-4AC4-B9D1-38462248E00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e43976b8c9ad662157777e51c8a66ba423076571","datavalue":{"value":{"entity-type":"item","numeric-id":1799083,"id":"Q1799083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$AB8A5C1E-7B31-4241-8748-4F75DF03DB53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$5951D4D3-0978-465D-AFB0-90B195C1EA70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2058375$11A92683-41D7-4146-ADAA-F476A1CEFAE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058375$52BCBDB7-996A-497E-8F81-9BCB45BC61DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64ea97ad320371ead0eaf572f8262cd1f033ec69","datavalue":{"value":"7440319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058375$0A0BE329-EDC7-433C-9F50-CACFA633AA97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8af2a650260ed14f9a2ecee0f16283c5e6cc69","datavalue":{"value":"bit-vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058375$9F1B724A-BE1E-47AA-A639-8CBD982539FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058375$BB73CB4A-1C9C-42C6-8BE8-4D0B359A7A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058375$49744BED-BFF4-49C5-91E6-0A1027ED6801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058375$FBEB839A-E653-43AF-8EE6-A27CBF6DAE1C","rank":"normal"}],"P1463":[{"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":"Q2058375$70499D47-19AE-4D1A-92F2-F40349964CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$77DC73D0-AD79-4558-9EA8-F42D08BB1378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$4B7BCCB9-B2C0-4A91-AB7B-B11EC020D56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$993B5C3E-CFA1-4F59-8FA7-7DA418968B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$17D4FDCD-78F2-490D-B009-A4F19455AA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$74511628-FEF7-4031-8127-23D2298EF30B","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":"Q2058375$5BAABD22-C00B-4E7B-8CA0-935978F4D311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"937976785a6e4657e7d7b6774e252aa680c44510","datavalue":{"value":"https://doi.org/10.1007/s10703-021-00372-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2058375$72D13045-53D5-4DD3-8A66-596633752047","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5581e244340d9ad73b6833532a7948d1868f7dae","datavalue":{"value":"W3163415025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058375$500DD751-B35A-41A6-896C-E497209BB479","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"322145ed57fb5bf2cb83e9445acd6843e06db89f","datavalue":{"value":"Q113902755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058375$1FD07FB2-CE6A-4849-BEDD-4DFAEA042E30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$2B607BBD-FC30-42CB-B482-E5E7B6F5FEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$C9190CF5-FF74-440E-8048-DA676BF9EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3b2fbf42eb3def1e4ffb467318a0ebe0218007","datavalue":{"value":{"entity-type":"item","numeric-id":3617772,"id":"Q3617772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$D1A4CDD9-E29C-4397-B42C-2794777FAE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9877add428dd78103388124da498b7c045cd5b18","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$38B7CA7C-D8E0-43F6-99F8-8B12612ED00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$F6344961-0839-4272-8B8E-6EE49ACBC82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$98A0AE7A-85F2-4F7F-B402-F01D9DAA3804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f20bf140ab4dcc547b620fa203d92a51df7b0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$3F0F300F-C715-4CED-AA64-8E479089B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc49d75a01dd257362f299fa6539ca5f2adc523","datavalue":{"value":{"entity-type":"item","numeric-id":2864839,"id":"Q2864839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$CF46A263-FB71-4A1D-834F-52BEB5066577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895baf16c3d391ecd89bff3eff559d1d10b9dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":438556,"id":"Q438556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$F5FF65D9-4787-4DA3-83F6-7A223B172805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01736af2e14df3e91b1b2514d23a748d35079308","datavalue":{"value":{"entity-type":"item","numeric-id":5892495,"id":"Q5892495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$FB95A558-E1A2-4376-B0DF-EBF62A565D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47f4caa1bcc6109e148dea42df8b52b62970850","datavalue":{"value":{"entity-type":"item","numeric-id":2887061,"id":"Q2887061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$DE2C6392-93B6-44D6-91BD-369BA19B708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4638076670f2742fbc81f2c8625aad4728d9ee9b","datavalue":{"value":{"entity-type":"item","numeric-id":5890659,"id":"Q5890659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$A29ACEF5-09A3-460B-BE36-E50A355A760F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52d3362031677d52b60ded8b4e79fc669ce0c58","datavalue":{"value":{"entity-type":"item","numeric-id":1799115,"id":"Q1799115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$CA1CA165-DEB2-4229-A52F-BE809E2C94F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$A3FAAF81-5E8A-4F33-81C1-62EB90B958D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba741c9f53c1dbc41e9c57b146f0a97a7ba661cf","datavalue":{"value":{"entity-type":"item","numeric-id":5222945,"id":"Q5222945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$7A75E37E-B30A-439D-A14B-EA3C5897A7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$A477346A-BFC8-4242-A5A9-60C7E880AFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$66774909-06B7-4B81-9115-2E2D2E314A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$F4A5318E-50FA-4C44-873B-31A534B74561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$78ED8C9B-201B-4575-B2AB-0B38DE8BB21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3f5b196c0df4a4076dad9269fa5296f4cdaaab","datavalue":{"value":{"entity-type":"item","numeric-id":1688537,"id":"Q1688537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$C6180717-40F5-439F-93A5-3614A85F7683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$7B21339E-FA52-4A7E-B44B-BE734215F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cace0e36925fb7f03948a4c2b888f6a90131ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5287502,"id":"Q5287502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$8106BB52-FD97-4165-A916-5A5A224A288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$0D42C733-63C8-42E8-8981-BC611571C606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc536a7017da9537609001be26547347318d1e1","datavalue":{"value":{"entity-type":"item","numeric-id":4337465,"id":"Q4337465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$D5C686EC-3196-4DFF-AA75-300981B677C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3daecb86a2fd60a41fa58779f36708b18c89a923","datavalue":{"value":{"entity-type":"item","numeric-id":5897076,"id":"Q5897076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$125CE8CC-7E91-4387-B484-56D579EA042E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f39e8fff5ffefe6ada701aa8caf00762246f7a","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$45A274E9-64F0-46F1-A328-9AFFA3AF9930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaff131682deb6ad1bffecaae47bca13d452055a","datavalue":{"value":{"entity-type":"item","numeric-id":300418,"id":"Q300418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$573C057E-E94A-4EF8-9C12-1799B437DFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$B43E5617-3261-4042-A71A-1C9F765F6A33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e94120fb1e44adb66d18454491853e89cace26c","datavalue":{"value":"10.1007/S10703-021-00372-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058375$7BE8B483-8DF8-4E35-8C4F-64CCEE1E5D36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf6924dd2f75d70d651ac1a4eb13e84efbfcc44","datavalue":{"value":{"entity-type":"item","numeric-id":5039504,"id":"Q5039504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69db32a437e5ec7e9266e3cd2ae58d586e2fd180","datavalue":{"value":{"amount":"+0.8168092966079712","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":"Q2058375$4F2C45AA-B287-497B-8C1E-0EBD67D74806","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":"f2168cf10c4001dbc549d3f1a5a46d273b59db9b","datavalue":{"value":{"amount":"+0.7708796858787537","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":"Q2058375$F1D01571-69C6-4DF5-820B-0D9B2155AF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71603ccd1954a0efcfb58cfda946799b5f3dfc76","datavalue":{"value":{"entity-type":"item","numeric-id":5457276,"id":"Q5457276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee74e08ebbea557938081accae01c197a376cae","datavalue":{"value":{"amount":"+0.7661345601081848","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":"Q2058375$380A0247-1D2D-45DE-A614-6DE11A78AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ab2b33a85731eecca3cd263b47863bebca67cd","datavalue":{"value":{"entity-type":"item","numeric-id":4933327,"id":"Q4933327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128bfa71a472bc7adc18bc5e637020d807fd7414","datavalue":{"value":{"amount":"+0.7617208957672119","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":"Q2058375$E818243F-BC29-41C9-BF9A-5370B7C378FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa46dab62437fe26f20df1ec50a7a09af904958","datavalue":{"value":{"entity-type":"item","numeric-id":438556,"id":"Q438556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f998218baaaaf1a6536c89a51157dba8eaa66c5","datavalue":{"value":{"amount":"+0.7596982717514038","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":"Q2058375$C95B857A-8B34-4939-8483-C84E708E5DA1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058375$2A967DE0-01CD-4F86-84FE-7A383280335A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolating_bit-vector_formulas_using_uninterpreted_predicates_and_Presburger_arithmetic"}}}}}