{"entities":{"Q5111426":{"pageid":7141000,"ns":120,"title":"Item:Q5111426","lastrevid":53740679,"modified":"2026-01-25T15:42:28Z","type":"item","id":"Q5111426","labels":{"en":{"language":"en","value":"On the complexity of quantified integer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204546"}},"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":"Q5111426$BD50EE91-B16F-47AF-91F4-EBAC8655E5EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4319957123c129e74a76ac59d0d76f943277c5f0","datavalue":{"value":"1442.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111426$67DBC0E5-EF23-440A-861B-B03273C4FE40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111426$A91329F8-C7FC-4F51-9EE1-E8EE24772DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc30e36f07191a4ecd36454fc0cca4e25306420","datavalue":{"value":{"entity-type":"item","numeric-id":1683926,"id":"Q1683926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111426$DE9D6E78-61E2-4AF7-97D6-436BBCEF093A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111426$7333639A-C9FC-4A3D-BD27-445B9BEC2241","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111426$CD485A89-8F5C-413D-B2F8-9DA9849D560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111426$3601EB4B-B827-40AA-BE1D-0CF8399A6F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111426$553E8438-2C6F-463C-8FBB-D24A3E5DEE4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e3d8356ecd3d8ac78795a2d7e3af13b0c30722","datavalue":{"value":"7204546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111426$AAC1D3D6-C302-4DD1-AC40-706777F182AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111426$D0BF80F7-FBEF-4C50-A340-F5888CBD76A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21bcda6600b71a0b815017f8e01ecc3081b8fbb7","datavalue":{"value":"semi-linear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111426$E9863749-35DC-4436-96B2-590D622A582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111426$69A42574-C339-4B6F-8E36-56142C995C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111426$12EAC366-B5F9-4E93-9B5B-6A8400965770","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":"Q5111426$4FF5C3D1-FE00-420B-A93F-3A5351BE665A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3da15d3584219a6a6b5dfb4f7f7e5dd28b411ada","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ICALP.2017.94","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111426$D1FCAAF5-6D92-420C-9133-188B4F419A23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db117d4e78dfdc46cefabfe550eeeb40f4a265da","datavalue":{"value":"W2741124207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111426$6ED7CAE1-1B7C-465C-8CB8-3A4EC5F19B11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fe74d732ba3c83ede606d8172f6bd8a861d9392","datavalue":{"value":{"text":"On the Complexity of Quantified Integer Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111426$DED6E240-AAEA-476D-B21D-FEA2A9B43D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e47114d80452492d80252788aa912020e4fb959e","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111426$6237652C-F432-4745-988B-FA71982FD5B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac38f6f71dee1bea90b2b7e282c96075a1c89cdc","datavalue":{"value":{"entity-type":"item","numeric-id":5111136,"id":"Q5111136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0302a7154c1bad3bfefa8e08cd301d56c0357e2a","datavalue":{"value":{"amount":"+0.8471198678016663","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":"Q5111426$C6D87506-FDDA-425F-BEC9-97FE7860103D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde9d52f32c2b63f0937656da689258bc4d8dd4a","datavalue":{"value":{"entity-type":"item","numeric-id":5108263,"id":"Q5108263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08df0acf1842930e5781b5d48074b1fe2b455622","datavalue":{"value":{"amount":"+0.8409650921821594","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":"Q5111426$F0DDEB39-C1F6-4416-9B86-B167915B63BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830885bef6ce9923a8b3fe7c5acb7d5497235590","datavalue":{"value":{"entity-type":"item","numeric-id":5307072,"id":"Q5307072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8402d569b094d3120742374c99735cc54847ca50","datavalue":{"value":{"amount":"+0.8293724060058594","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":"Q5111426$D6456B9D-41E6-4F49-A3C4-2070EB246DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e278b1086f3cafe602a300515ccee282e1293e","datavalue":{"value":{"entity-type":"item","numeric-id":814932,"id":"Q814932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2207d7fc78dc868578352603d6ebae6b7338f9","datavalue":{"value":{"amount":"+0.7914430499076843","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":"Q5111426$D00DEA1A-B9A6-4633-9E78-7BFF4D224C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0149c082c616dd204852f1a2b86dc67999411d6","datavalue":{"value":{"entity-type":"item","numeric-id":2462634,"id":"Q2462634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f11010d00fb03fed31392adf1e4d88ec9afdb5b","datavalue":{"value":{"amount":"+0.7822338342666626","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":"Q5111426$44A938E9-CF2A-4E88-8448-E476582B4596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111426"}}}}}