{"entities":{"Q2819515":{"pageid":2830253,"ns":120,"title":"Item:Q2819515","lastrevid":79421993,"modified":"2026-05-06T13:52:12Z","type":"item","id":"Q2819515","labels":{"en":{"language":"en","value":"A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631031"}},"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":"Q2819515$BE0E4A46-4B06-4FDE-9341-D8651E638999","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"594aeeda7873ea9959e6eb1cc8bb5871e77a9a74","datavalue":{"value":{"text":"A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819515$F2EDDEAA-E640-4411-8649-F3E75D7D7DC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5583a5c0a3e253ac7066379cbd0de5cad274d678","datavalue":{"value":"1478.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$9A85084D-3674-41B9-ACB4-FAEDD90C10D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3813bd2c6b72a8057c0e8f320c6b132cb5963f9","datavalue":{"value":"10.1007/978-3-319-44543-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$7F3880A0-5E71-4BDB-A11B-CA87CD494F45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$DB7B6F1E-5422-4714-A82D-65C88FA52EA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-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":"Q2819515$0F697D68-8EC0-4BD0-8D54-5028367A62B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$1503E06A-2C8E-4EC1-9185-0350AA92F7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$C5B71361-456C-4D33-83EB-75691196A80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$126FB299-D4DA-4FB3-8E18-1A697BDA35D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$2A987302-B29E-4D34-AED7-2961542CDF5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca7f3a4b4e11febe7d32a40363bfdf49bc24ad3c","datavalue":{"value":"6631031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$91D3A4C4-0A3D-4853-BAA3-0BB0D48EB38A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$45C8ECCA-F066-4CF0-8B41-2142D046A66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$858C6E34-C12C-41E7-A38C-1905DC0D02C0","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":"Q2819515$F6F28433-FFAE-42FB-BBEB-C03CBEFBAF37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d443d7727cfc24cde1db43cbd5da913c51f8d5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-44543-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819515$1C62CDF4-E965-4379-A7F1-A4397FDEA163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52073f53456581d6690453499977aa71db1ee26e","datavalue":{"value":"W2529628685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819515$70CEABBD-22BD-4199-A176-28D42B0E1E70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"beafd09c79dfa9f43f527c7e484481f6934843d2","datavalue":{"value":{"entity-type":"item","numeric-id":3056948,"id":"Q3056948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$6B161CE8-D008-4C90-BA90-F9EBD02C0F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$16E39209-7F47-47F2-8D0D-AD2804979828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c79c3a2c5e0c6d91d5d809ab86bd62267e3bc","datavalue":{"value":{"entity-type":"item","numeric-id":845242,"id":"Q845242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$133DB4B2-16D4-46DC-AB8C-B2B87CA02943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$38EA9AA9-4559-4FBC-A68D-96B317D1964A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdccc5d83f7311582ae4e1c48da92b5c9b5c7298","datavalue":{"value":{"entity-type":"item","numeric-id":2559426,"id":"Q2559426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$7DA60FCB-BE30-4115-97C1-3282B5AB0366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8aa35289747463c7264c9641cfbcb6f2612259c","datavalue":{"value":{"entity-type":"item","numeric-id":4842117,"id":"Q4842117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$D3C047A3-2761-49D5-9754-2AAA99924E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2f61da27f952ab7043b082ebdc98abf9197bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4327416,"id":"Q4327416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$A7EEE228-B415-4DC0-84BA-10E31FE94220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$8AD4A872-C8DF-4C12-976D-91A00329F59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$BDB0E0B2-EE5E-4691-BFBB-493618AA9D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103d28c1dbdf16ee025b2b302833c03273293813","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$CC71A7A0-7F23-4D9D-BF68-4D50B44A58C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e3ab5acc1141e1fb247500073ed68ec4766b72","datavalue":{"value":{"entity-type":"item","numeric-id":4230340,"id":"Q4230340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$DEA22BB7-4933-41FC-AFA5-6710E938E41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d123273bce61fbe34b45ed2488169af3fd747c","datavalue":{"value":{"entity-type":"item","numeric-id":2899084,"id":"Q2899084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$BC79B253-B399-4BD8-87FD-779A50CC4B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb54c789eb8ae1365b41d698d504541a9be76f3","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$59F1DB86-CA03-4E5E-912D-ED1A5A59DA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea4545bb481e8c7fcc323a45519fd3b9867dd35","datavalue":{"value":{"entity-type":"item","numeric-id":527418,"id":"Q527418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819515$DE54ADBE-7ED0-4DCE-966B-E7D003AA19BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261d1ed556af9cc53a111fbe558041d4e6418288","datavalue":{"value":{"entity-type":"item","numeric-id":2684489,"id":"Q2684489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd24c31e040d237cd51263b27123a6500d8f7977","datavalue":{"value":{"amount":"+0.9722536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$10B1A8E8-AD9E-41DB-9421-2FBB9135D620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996c62010c3c87936c23e4659f3798ffaefa85bf","datavalue":{"value":{"entity-type":"item","numeric-id":2803820,"id":"Q2803820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97054dff30690f659beb3b8600299a31d2527e8","datavalue":{"value":{"amount":"+0.8606696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$7D0C447B-FFD6-42CE-85FC-E1E29EA18256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b055643e9809efe3811e9c8d19346780377f3d87","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754661b3eb441efe5417300af6e84a87ce52dde3","datavalue":{"value":{"amount":"+0.8280268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$B23E6FB8-A31B-4D08-B68B-462262E471E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95400d936dd067d246ce687253aa3c5cdebc351b","datavalue":{"value":{"entity-type":"item","numeric-id":527418,"id":"Q527418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752c3b9b5fde131a05b0a986d0f7be87e6117f76","datavalue":{"value":{"amount":"+0.8221073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$8D660818-9DBA-4DD5-B7BF-F8DC2671283F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef471a74d97e05389ec5460f046dd282dab09c9","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52631a82656d91f3b33fc436f8bd5c87152e4a2","datavalue":{"value":{"amount":"+0.82047135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$88ABEEE9-DF56-4F0F-BAA4-44211621264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495af558e14b1494fb0c84718960c39eec5705c3","datavalue":{"value":{"entity-type":"item","numeric-id":2050109,"id":"Q2050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8628ff84989f923e6c099654a77070b21c9774","datavalue":{"value":{"amount":"+0.81955266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$F8737618-09CC-4041-A95F-432D1C358346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52b6bbc7b3d12f64b8d0d20eadcfd8fa6c2d049","datavalue":{"value":{"entity-type":"item","numeric-id":2011567,"id":"Q2011567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1206d92c6f648bf49f802d963c1cace08650060c","datavalue":{"value":{"amount":"+0.816027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$2ABF610C-90C7-456C-A3FD-0554F2695770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d803b8bd1488d9696ef8e044a04b1a918bf84ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1201818,"id":"Q1201818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41a9d89392b30bb65933da374a60eb96993c4cf","datavalue":{"value":{"amount":"+0.8120868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$45312580-4189-4201-88AC-B55C1CE2ED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a867684703aa6f457de2c8b1f9270af7021f4cae","datavalue":{"value":{"entity-type":"item","numeric-id":2985762,"id":"Q2985762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07962d6393e23b113deee34110faeae6afe9758f","datavalue":{"value":{"amount":"+0.8108871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819515$C8A1EAD3-1D09-4EA0-81D0-C1A783811AB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Bit-Scaling_Algorithm_for_Integer_Feasibility_in_UTVPI_Constraints"}}}}}