{"entities":{"Q2263332":{"pageid":2274075,"ns":120,"title":"Item:Q2263332","lastrevid":52226915,"modified":"2026-01-21T05:05:07Z","type":"item","id":"Q2263332","labels":{"en":{"language":"en","value":"A method of proving the invariance of linear inequalities for linear loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416376"}},"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":"Q2263332$34133812-EFFB-4F26-84F5-D69EAD070FC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6449c8998b716e9707f3b8f141c6e6db14e587b","datavalue":{"value":{"text":"A method of proving the invariance of linear inequalities for linear loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2263332$C211AB0D-D9F7-48F0-9F8B-C5BBF914460D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b38f1fc452889fc81a283f1804344e049f740ce8","datavalue":{"value":"1323.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$082ED043-D5A8-404F-A322-98B8294076CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4da5899d1c53479fd61e95268dabd54f119dcc","datavalue":{"value":{"entity-type":"item","numeric-id":289807,"id":"Q289807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$D5E6D4C6-B34B-466D-B7DF-C2CE6E5B18FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$C060D38E-6931-429E-ADE6-980C2C002A90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2263332$1512CF5F-FF2E-4514-B1D1-74B37AD1BBFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$A494BAA0-C075-46EF-B1A4-F18060A37805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb5cb61d96d4bffb5c1f89265d1dfa983b8ea136","datavalue":{"value":"15A39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$63CE49FD-E5AF-4ABC-BD70-0CF503A483A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$2C2FA39A-D8D2-412C-8B7C-7D93F4B12037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$BEE1F912-923C-429E-8BC3-1DA1E82B88D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57a6f478393675ad3a446375aeb5f160a0cf363f","datavalue":{"value":"6416376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$98CC3CC3-18BF-4FAA-9D99-342BDC9D801B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263332$5B35F722-4D67-462E-B2B2-3EFE5B0D6728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d468be662cb2186174a260b5484559a6dcb853cf","datavalue":{"value":"linear invariant of a loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263332$1D9FD85F-CC9E-4F3D-8DB1-44706E12448C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"197d73a1737a9188f633523e6c30d57eda8e33f3","datavalue":{"value":"invariant system of linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263332$A74123A0-7061-48EF-9E6B-BCD7B3F18B0A","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":"Q2263332$C1EEA445-21B4-4681-8354-94BC14AA733A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9d5aaaf3dcfe949e25c4313511fff2e1e4c7869","datavalue":{"value":"https://doi.org/10.1007/s10559-014-9653-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2263332$BAB4AA97-961F-46C4-B097-0C31C208B590","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94bbe5320dac33017846bea09abe76ecf08efde0","datavalue":{"value":"W2040292390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$2B1550CE-79C7-4F1E-9A47-F104D31E1F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$CB6BE4DC-1BB6-4B77-9257-540A27FC2176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$7841D552-FF0E-4081-B861-B61C06453990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9139cb21f8e9a11ad999ee2862ac639e020051e","datavalue":{"value":{"entity-type":"item","numeric-id":4005340,"id":"Q4005340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$1CADD9C1-ADD3-40E2-BD4D-B116EF9A3A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea59f135c74e957cfcb67c84381cbfd1655a7ec","datavalue":{"value":{"entity-type":"item","numeric-id":4729341,"id":"Q4729341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$F89E25D7-6ED6-4E01-9289-9604D6EC1205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef2ad400e085233862c41f114c445174054db43","datavalue":{"value":{"entity-type":"item","numeric-id":1311622,"id":"Q1311622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$2FF0F5DC-A4A8-4EC4-8B55-ACE338FC2E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70900c3b4b31a6363b51a557b0533917f6773240","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$22A48D3F-8D15-4A53-AE12-7BD26C8AC0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$46E9F78D-378D-4066-995E-7BB3B6D01755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$89367457-9355-4EB8-AF15-6A078956DAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$3E217A6E-5B53-44ED-A16A-A8C3AE0CC31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2f3bcd42d79674a96fe40fa9841dca20424bd8","datavalue":{"value":{"entity-type":"item","numeric-id":2452765,"id":"Q2452765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$6D5A2EFB-9B9E-4041-94E5-889F76C69F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99d601053e5f207c1ee6dc87c387094548721b5","datavalue":{"value":{"entity-type":"item","numeric-id":466366,"id":"Q466366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$06321E7C-1B77-41EF-BD07-1C4FDC727563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb1ede2a0902ae4c2f2d7ff8d00dd9bb8b9732c","datavalue":{"value":{"entity-type":"item","numeric-id":3698287,"id":"Q3698287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$1320070E-2AE1-496A-B30F-3A8A648BC6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81eeeaf54865bafe245019c3b0630d7e9c5d4e6","datavalue":{"value":{"entity-type":"item","numeric-id":4007457,"id":"Q4007457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$845ADB2E-5709-4732-B3AF-A7D82826F655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c53aa2b28d5ba41251083bdc2e7dd6055594de","datavalue":{"value":{"entity-type":"item","numeric-id":3777432,"id":"Q3777432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$E06A05B0-880E-4C38-ACC9-2919D27E4021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17587c933b07de7005488dcd07517015599ea52","datavalue":{"value":{"entity-type":"item","numeric-id":5827465,"id":"Q5827465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$BD3F0207-7234-4590-BC5A-DCB90CBFF069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1047ff1a1c14e5bbc9913a7a397ad9ddee337554","datavalue":{"value":{"entity-type":"item","numeric-id":3952057,"id":"Q3952057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263332$B43ECFCE-1C9F-4C68-8662-D1E3EFF11CB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46f953f507ba1af87f0a8ade45208aa3b8657f30","datavalue":{"value":"10.1007/S10559-014-9653-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263332$23793300-1C7A-4F34-9F0C-084CDC944F69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac42f44901948c68dae5132980b20f63e0bb626","datavalue":{"value":{"entity-type":"item","numeric-id":289808,"id":"Q289808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe80a7c421ae27da91869c9d96b28d453c861b12","datavalue":{"value":{"amount":"+0.850914716720581","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":"Q2263332$50605B33-0137-45C5-A9ED-1BA8A828AF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac525c506a7e4496b7ce298045170be2b71b1a0","datavalue":{"value":{"entity-type":"item","numeric-id":891730,"id":"Q891730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65dbbe894f99f2b74849ef99eb84c044cfdfae9","datavalue":{"value":{"amount":"+0.7462466955184937","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":"Q2263332$05393BE7-153D-4094-A79F-C50F6080B018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74db0db6684bef73bae4c3f42ffc1ea87fe9a33","datavalue":{"value":{"entity-type":"item","numeric-id":466366,"id":"Q466366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfea6c7bb96c53b912f315f042c46c2dcb704ccb","datavalue":{"value":{"amount":"+0.7420371174812317","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":"Q2263332$FCED4EFB-ED9A-4AD0-9AB4-EC4467937A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49893b246bca78d04b6af6cef680d0265444ab68","datavalue":{"value":{"entity-type":"item","numeric-id":2452765,"id":"Q2452765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4c344844a4200bdfb95fc40a2900271fe825d1","datavalue":{"value":{"amount":"+0.7360999584197998","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":"Q2263332$861B819B-179F-4584-BE8B-6A6EFDF922B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e4251c7d7c8287cb43fb5e0e28c5f0d5fdbdab","datavalue":{"value":{"entity-type":"item","numeric-id":1065537,"id":"Q1065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f390aa30670c9827887fda6e0ff8a962bb45c8","datavalue":{"value":{"amount":"+0.714314341545105","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":"Q2263332$FB9F8165-0284-4AD9-9503-CE9D4FE3D3B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2263332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2263332"}}}}}