{"entities":{"Q2452765":{"pageid":2463508,"ns":120,"title":"Item:Q2452765","lastrevid":78694394,"modified":"2026-05-06T12:13:03Z","type":"item","id":"Q2452765","labels":{"en":{"language":"en","value":"Polynomial invariants for linear loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300995"}},"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":"Q2452765$43F016C1-67C4-4483-AD5D-004C507FBE59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c10d9c33ee69cd054f39084ed067645fd43760","datavalue":{"value":{"text":"Polynomial invariants for linear loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452765$B3301EA7-0600-4F4D-9A72-655EC16E6AB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f402a52d355022ee7875c2d1882848c859c4dcb6","datavalue":{"value":"1288.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452765$8BD555D7-1306-4375-9F0B-8C5704F03BA5","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":"Q2452765$FA0355C5-A5B3-4EB3-BC11-566FEC396D66","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":"Q2452765$B643E210-2F93-4B60-996D-479213200D44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452765$140F08E4-9AF3-4239-907D-728886D86C5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452765$F2BF7F1D-1C8C-4DAC-8757-34C6B1F5292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452765$ED9063E6-3A9F-4559-A887-4239CF384AC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af252ab3dcb6860429aa11741927f0aefeddac71","datavalue":{"value":"6300995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452765$10093F9B-C31D-4621-BBFA-6C27DCB0F05D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452765$95564AF7-79EA-400E-9AB4-A474D9AC305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb882ccecb1dadeb02be912e4b061e580f4da50","datavalue":{"value":"polynomial loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452765$BDC15C1D-EB2F-4643-B192-88F9A780F516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bef6d9029e28e38eeb3e645f2866a18d24c7b8","datavalue":{"value":"automatic generation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452765$4B564484-3B8F-4727-A99E-5C3C76CB7F23","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":"Q2452765$AFF10D5E-27BB-4633-A987-B35E680F0BA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"856c87b6979946938debb8e184deb31be223a927","datavalue":{"value":"https://doi.org/10.1007/s10559-010-9242-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452765$6D98C24C-19AA-4687-9D0E-4D1996D20163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56d7532d6f6e1eafd6c4d88170ec4cb43bf8d237","datavalue":{"value":"W2066531796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452765$0E255244-E4B6-4220-B577-9F9FA1980515","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":"Q2452765$E7EFC88B-73BA-44EC-808E-5A8869471796","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":"Q2452765$7EE6E354-CF61-4031-8569-5512826D78C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1e2c4198188f63689dcf3ddae9df6134bb05e2","datavalue":{"value":{"entity-type":"item","numeric-id":3923574,"id":"Q3923574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452765$19898465-9482-4A66-ACB4-DC045E57C000","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":"Q2452765$6472088A-4D6F-42B0-96FD-8D48AF5C7A7D","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":"Q2452765$A05C4B71-F9C8-46A9-9C6A-EBC651081694","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":"Q2452765$2AC02771-4D7C-4AC6-8AA3-1D53C1B45E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dc98d6001c76fad8a6f0219c17ae07a66637c9","datavalue":{"value":{"entity-type":"item","numeric-id":3079892,"id":"Q3079892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452765$CCFE4312-31DF-49F3-B4FD-35E5DE4CD692","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":"Q2452765$AF73E381-6E25-4545-94CD-637BB0758DB4","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":"Q2452765$5F441723-9BB2-43E8-9D40-76FBE86F01D1","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":"Q2452765$03EA08E7-68AC-4DA5-9F2F-FAE736AB90BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89dbab3e6b723e605c6aa70dd1a0838f12ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452765$5A9B44B0-EB16-460A-B785-DDB1908BD34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a41b54a0244e1f4795f0a1933be7740e4db67fd","datavalue":{"value":{"entity-type":"item","numeric-id":5583892,"id":"Q5583892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452765$AD42F849-6562-48A7-B4AB-A55CC53C7799","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5947d53c96bfeabebdc002508eba3fffe5a1d590","datavalue":{"value":"10.1007/S10559-010-9242-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452765$BBF304A2-C852-43C1-9600-686F16CDD992","rank":"normal"}],"P1643":[{"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":"b975790c32d4c26620d6fa807f6c2a875ec82a8b","datavalue":{"value":{"amount":"+0.9013537764549256","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":"Q2452765$62ADBB29-13D9-4E36-AFDD-626C37EFC45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1882d77d0d7fe926d36d1ea73f2313c9b1ca92b","datavalue":{"value":{"entity-type":"item","numeric-id":1990524,"id":"Q1990524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730bc79c0c80882bd2896d5403036e5cc63d5e9f","datavalue":{"value":{"amount":"+0.8869271874427795","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":"Q2452765$623EBA46-CED1-43AB-B737-AC85093E9C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf36bfd14d85130d7ee6c41b3f17bd536466d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e00df5769a4cb51c69d79ff4cc9788fc934487f","datavalue":{"value":{"amount":"+0.8518735766410828","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":"Q2452765$FC98DB28-26C6-4EDA-911C-177D967C1458","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":"c4e919a9b40e3dce5b287247a3a5ed928ad65794","datavalue":{"value":{"amount":"+0.8228158950805664","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":"Q2452765$62D34DD2-DB8F-4911-9722-90D59180F195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bed51682d9c5b7c5d605faf70180110921267c","datavalue":{"value":{"entity-type":"item","numeric-id":3402283,"id":"Q3402283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190606938b30b7c3dee12e737b08747aa3fafb70","datavalue":{"value":{"amount":"+0.8165808320045471","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":"Q2452765$718300FC-AB20-40B1-AE0B-45636F1AB1FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial invariants for linear loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_invariants_for_linear_loops"}}}}}