{"entities":{"Q113318053":{"pageid":108111536,"ns":0,"title":"Q113318053","lastrevid":2420439440,"modified":"2025-10-22T14:56:18Z","type":"item","id":"Q113318053","labels":{"en":{"language":"en","value":"Fully Bounded Polyhedral Analysis of Integers with Wrapping"}},"descriptions":{"en":{"language":"en","value":"scientific article published on 30 November 2012"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu espubliz\u00e1u en payares de 2012"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u043b\u0438\u0441\u0442\u043e\u043f\u0430\u0434\u0456 2012"},"hy":{"language":"hy","value":"\u0563\u056b\u057f\u0561\u056f\u0561\u0576 \u0570\u0578\u0564\u057e\u0561\u056e \u0570\u0580\u0561\u057f\u0561\u0580\u0561\u056f\u057e\u0561\u056e 2012 \u0569\u057e\u0561\u056f\u0561\u0576\u056b \u0576\u0578\u0575\u0565\u0574\u0562\u0565\u0580\u056b 30-\u056b\u0576"}},"aliases":{},"claims":{"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"6dfac56d96a10bcf74ee9fe2bdc3f8f46cfe6235","datavalue":{"value":{"entity-type":"item","numeric-id":5358287,"id":"Q5358287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q113318053$DB9D1CB9-0E16-4555-A21A-6AAC461FBB31","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"3da44cdc73cc21b21315e410db8c03c08a071b67","datavalue":{"value":{"text":"Fully Bounded Polyhedral Analysis of Integers with Wrapping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q113318053$ABB405EF-FB70-4C18-A7D0-9AE05ECA43D9","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"4835c9d6ca1f77300a2752c7a12064fd35788e49","datavalue":{"value":"Stefan Bygde","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q113318053$D3F9F666-A195-42A0-8B58-69F4B401AFBA","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"a958c3cde4d9f8ba203a8a627ae69e54fb660a94","datavalue":{"value":"Bj\u00f6rn Lisper","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q113318053$515DDD38-85CE-4F3D-9D9D-B0B689B51702","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"75599d975cb761ecb7d2c12d2b1826a3a3cccdc9","datavalue":{"value":"Niklas Holsti","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q113318053$703273FB-53BF-4ECD-B8C5-83738ABD9AB1","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"cce976c23d9257e65327b04fa735a8c0941b005d","datavalue":{"value":"3-13","type":"string"},"datatype":"string"},"type":"statement","id":"Q113318053$71023417-486B-4F05-BDDA-144A6A2F3104","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q113318053$CAFD3F15-6072-46CD-B0C3-A48BD76FCF45","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"30c73f4a6ed1411d5af20e5ab5c0572ac425426a","datavalue":{"value":"10.1016/J.ENTCS.2012.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q113318053$054BB305-A575-484F-B07D-281BD05C7753","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"7cf0b3d9b0bbce96ca8dc69f02d99ab633b57047","datavalue":{"value":"288","type":"string"},"datatype":"string"},"type":"statement","id":"Q113318053$3F6D84EE-528C-4BC2-976B-EFE281514534","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"848c29987fe0e3825da2c9e400ca5d1d7344a2b1","datavalue":{"value":{"time":"+2012-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q113318053$03F9FF2E-9A94-4A05-9A94-B83B8C3E7C6C","rank":"normal","references":[{"hash":"39425215e6020868b6247280bcaebdc0b1e80041","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"f4ad6e3a6e80dcaa10244c9e61320239e4d5626a","datavalue":{"value":"10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4deafe2fd21e00d1e6bbc4c29295cb0cad86ba1","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"f917003366a8d82a00f75a5667c44cc3345a07d0","datavalue":{"value":{"time":"+2022-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"06bafe782c6be2f0f682d24c4b8a6c473641cb5f","datavalue":{"value":"1294.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q113318053$CDDF9D39-B130-4836-AFAB-059A6EF0514E","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q113318053$E40C4642-1094-46E3-B71B-F79A096E1A94","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q113318053$4CE7BFBB-2A53-4DFD-ABB9-A794CE89D1E8","rank":"normal"}]},"sitelinks":{}}}}