{"entities":{"Q5452703":{"pageid":7482262,"ns":120,"title":"Item:Q5452703","lastrevid":50327327,"modified":"2026-01-13T20:11:58Z","type":"item","id":"Q5452703","labels":{"en":{"language":"en","value":"An Improved Tight Closure Algorithm for Integer Octagonal Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259553"}},"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":"Q5452703$4DCC93D8-F67C-4804-8082-FB980FA7414E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363b51bdb8677e46757ccc6e260d6df340553371","datavalue":{"value":{"text":"An Improved Tight Closure Algorithm for Integer Octagonal Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452703$A51382FB-38A7-44D6-B205-28462C3368E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36c4ff72381474fdc01a14f940c2ecf8faf8f31d","datavalue":{"value":"1138.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452703$9255DE7C-EE54-453E-A793-104AE18C03B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbc9ce635056e9d78f6f570013bda55d54f2f139","datavalue":{"value":"10.1007/978-3-540-78163-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452703$4A4E86DD-111A-4B03-826F-088E6C96523E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$ED314B79-9EDB-412D-9B8F-9A4B7CFE1136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$165454E4-DB0D-4325-8C02-31E9FF756440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$65BC61DA-44E3-4B76-A16C-1224DFD870D1","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":"Q5452703$53A4871A-6F84-4890-A547-AD5B7D7C1045","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452703$8CC9B315-9D61-4872-808C-051801E353FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452703$CEA23346-20F3-4217-97FB-CB87DA8F4F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452703$89A57AE3-0E3A-4D0C-BD97-CDFBE63BCA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452703$4F405CE8-EAB3-4A95-9F17-1D26E783AC51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4c045e40d8a48e7ff5373d34d8c76c81907926d","datavalue":{"value":"5259553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452703$924B87CE-1C82-464C-9C24-A019A6A795D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$34F787AE-D5B0-407F-A9BC-1A968F46FFC4","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":"Q5452703$8C77FD22-0602-48EE-9222-24B4E9877536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75107e3b333e22d3653cc9ea78b37ac1e7ec3c46","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452703$3AB3BC75-3B66-4015-BE48-22A98F08AFD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f79be809eafc66ca844ed8ca6aad4ad8348da98","datavalue":{"value":"W2097774457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452703$75B0A650-F0C0-4CF6-91ED-50E54DC931BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3d826ce91a5e6de922b8c63f17fcb45f663b49","datavalue":{"value":{"entity-type":"item","numeric-id":3591087,"id":"Q3591087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$F92A8833-A9BA-49D9-9561-51EB4733D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece64e5402e1f4666a42559d521a17ab109c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$6C330A12-4F6D-4C0D-BE97-97262974D2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd20eb24583a9716d40335e5e633c7acceb74dc7","datavalue":{"value":{"entity-type":"item","numeric-id":5312923,"id":"Q5312923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$498E55E8-232C-4D18-BFF9-530815503FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$F87E1C3E-E150-4D76-92E9-AB9C57077207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$3A6DFA5D-7D14-4003-BE45-2CAC89BDE318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1588643b46bb7595ed7eb54aa874b8401b35090e","datavalue":{"value":{"entity-type":"item","numeric-id":4729316,"id":"Q4729316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$8BADA598-1F11-4EE9-91F5-C6557DA1EF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fe5096ebd237e9c4393d87931bca2c88a0a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2736342,"id":"Q2736342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$859F9B8F-2371-49E8-8994-7A532730FF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4affcd19f5a48d3f0b5024aacd9dd119083a96c2","datavalue":{"value":{"entity-type":"item","numeric-id":3676213,"id":"Q3676213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$A79445B3-BCF5-4115-8FC4-7872B768B670","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":"Q5452703$61CEF3F6-BC69-4149-B7C4-6DCFDEBD9D00","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":"Q5452703$FC7693D9-B763-4484-B78F-0BD4DB49FC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452703$7A84BC85-4863-465E-B70D-09B324A7B19A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48106679ed27a948766c9157f6aa413b924e9f08","datavalue":{"value":{"entity-type":"item","numeric-id":2023870,"id":"Q2023870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8992a2779ef812dd9d422c54380a642107a39103","datavalue":{"value":{"amount":"+0.8638381958007812","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":"Q5452703$7DC6B39D-A807-4DB7-A18F-06465628F7F7","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":"7dc1b66578a3c213bca1ee914b8a5d820054c685","datavalue":{"value":{"amount":"+0.8430493474006653","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":"Q5452703$46EACA9F-4B05-4715-9CF7-768233125959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca62a8e20d4ce0fae59c1b104824cff6ef55058a","datavalue":{"value":{"entity-type":"item","numeric-id":2335904,"id":"Q2335904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8575887ae2f25bcec52f636ee5475806a28c37","datavalue":{"value":{"amount":"+0.8103736042976379","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":"Q5452703$BB41D912-3E38-4F0F-95E5-34401927436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76cc4e7a3a2108a95155e3bcc32bf2b566734346","datavalue":{"value":{"entity-type":"item","numeric-id":2789052,"id":"Q2789052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14039deaa48a9522f8f3fbbb7370743d6d79a7ef","datavalue":{"value":{"amount":"+0.7824670076370239","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":"Q5452703$5258AA5C-9052-4632-A8C6-5079F308E7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3616577871be6e3df6caca624d2489260d7e79","datavalue":{"value":{"entity-type":"item","numeric-id":2899084,"id":"Q2899084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ffbb81ca15dbb5c773580a707c14714489a6e3","datavalue":{"value":{"amount":"+0.7652799487113953","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":"Q5452703$7DBDD70E-9EF0-499C-BD20-5A242FF5AC04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452703"}}}}}