{"entities":{"Q903492":{"pageid":905340,"ns":120,"title":"Item:Q903492","lastrevid":65257068,"modified":"2026-04-12T01:21:08Z","type":"item","id":"Q903492","labels":{"en":{"language":"en","value":"Generating invariants for non-linear loops by linear algebraic methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526761"}},"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":"Q903492$18DADD79-E7C1-4F70-BC99-E8BD53C0D0EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c4228ea1d332ddd4e5a6e8aa1406e8209847867","datavalue":{"value":{"text":"Generating invariants for non-linear loops by linear algebraic methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903492$CDEE6A84-7061-4EF2-8DE5-836F08C90F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0e1c5e06ee70874ee0361cccaae484f257fb90f","datavalue":{"value":"1347.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903492$8FBDFF5D-264B-4EC9-9CB2-328EB70A4850","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a39e86a8e0ed60736ef11909a69475bfa0cdc074","datavalue":{"value":{"entity-type":"item","numeric-id":903491,"id":"Q903491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$3B030FD7-1E10-4FE6-9281-C3935E44BA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e5814b970b5f0fb67456a9171b66036917a49b","datavalue":{"value":{"entity-type":"item","numeric-id":891045,"id":"Q891045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$E659F375-DF9D-478A-AF8C-F8633855ABE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18bfce964e2970148187569860a0732d94e9c44","datavalue":{"value":{"entity-type":"item","numeric-id":473111,"id":"Q473111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$474B1BA8-68A8-41CC-A806-FBFB58302C82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$DECDB838-8815-4081-8891-773E4579140C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903492$04D08807-3D6C-4ACC-AA25-ECCEF6EDE3FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903492$872C397E-3606-4AE4-9664-4E3C325772AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903492$D50B5A06-2663-479B-B3B1-2C74BDEC982F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74239a97889cb5dc8940bb87b856700c2480e7e4","datavalue":{"value":"6526761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903492$D22EE3E1-A062-4237-B6C5-80423C0F3447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q903492$592F8E62-D744-4A3B-8300-F47611B5047C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q903492$A5AAE237-C7C7-491B-9350-A1FF12B37E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q903492$AE994B28-DE19-45BB-BFC4-6112BCF1A1DD","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":"Q903492$D16DE22E-F3B0-4B85-9114-C0FAFEA58543","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c091f925b0b0917aa8ed6b928aeacc8a07c03db","datavalue":{"value":"https://doi.org/10.1007/s00165-015-0333-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q903492$B14E820F-6FF1-489C-B59F-4C494901235A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3f4777e75b5714107d45816d8404c163f2d5392","datavalue":{"value":"W1994657885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903492$960828B2-0134-4D7F-99D1-2AB2A48137CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fbff18f1494c3278ac0f7a0d003cc694e45641","datavalue":{"value":{"entity-type":"item","numeric-id":5906770,"id":"Q5906770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$187D0818-37DE-4444-8A77-FA0BD0AE4CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa3da78f2eea525f2bf2cff1a3a19d48026daf3","datavalue":{"value":{"entity-type":"item","numeric-id":2722048,"id":"Q2722048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$435F08DC-A82F-455B-88CB-7191B763C708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68d6ad92cf5e3ae855a591ca8a5ab97abda3202","datavalue":{"value":{"entity-type":"item","numeric-id":4385444,"id":"Q4385444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$4F786CA6-B6B7-48DA-82D6-5EFF171E9684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$F1DC35E4-5E7D-426A-8535-27AE30253800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$A50C5E4A-5C50-48C2-BCA7-29D6B201E827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189b652af24243c72eebddda9c3035f1cb08edf9","datavalue":{"value":{"entity-type":"item","numeric-id":3526926,"id":"Q3526926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$76624DFF-48FD-455D-89D6-57916D34FDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$003FA1E4-AE99-4046-A946-3A1F9FEC139F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477fad7e9eb44ad8a11dffc84ce40c6dfab6c50e","datavalue":{"value":{"entity-type":"item","numeric-id":1295781,"id":"Q1295781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$EFC1745B-B7D1-4CE7-9D76-055681316C4A","rank":"normal"},{"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":"Q903492$1340FD15-B398-4F2E-A12A-ADDA8357D010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b3f1cfae556fb7e21c5dd7ea6662b3d2b85c57","datavalue":{"value":{"entity-type":"item","numeric-id":5899021,"id":"Q5899021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$BEA425AC-47BA-4165-B8CD-24E7C9D2E2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$8B49F4A9-F3F6-4696-8ADF-CDA5F73FC91F","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":"Q903492$6614ACAD-EC71-4337-A353-16BE2A76C439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a29793dd420c809ceb743441b05fcc85e64611f","datavalue":{"value":{"entity-type":"item","numeric-id":5739511,"id":"Q5739511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$12C1BC4B-6168-41F5-8208-E359215A246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a4d21f9c10003cdb38349b5ebb6aa4815e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$FB634693-1F3A-4ECE-AB9A-738772FBEF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$09FDF3B0-E9C8-4D20-82E7-529C9304CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d47d30524d0881b216cd4a30d35dd320c36c151","datavalue":{"value":{"entity-type":"item","numeric-id":4411947,"id":"Q4411947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$9F968E09-41C2-46D0-B5CE-F654737BDA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$46D0AF2B-BBC1-4723-882C-46B0513A69CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daec60642aab6d1ca47f7b469286c97e73cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":3512492,"id":"Q3512492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$E5BA4FBC-1430-43F8-8F46-416B63744925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$38AC307A-CD9F-4BF6-A8B9-A62BB29657AB","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":"Q903492$302ACB92-5382-4466-A10B-DAEE28CC1A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac80f8dd6b9c81d89f3e2f783c850787d622bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$BE1BF222-B247-4D2C-A01A-0068AD04FE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd853cc714ef9f3573e45726d99028ac1f7eb4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5505618,"id":"Q5505618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$CD8CFCD5-48AF-4650-B4B4-1B3D1A799018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b246b64afaee2c41e55f38e2bd04fdfffe6b9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$ED9FD5AF-D668-4D75-A173-EB87C8C50635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$EB01809F-AD03-4EB8-8F99-A1E2BDC287C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3933980b8109f0ae19c58483ed8b9de03b9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$EACE9C13-906F-4D2E-BBF4-EFFC76189F03","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":"Q903492$E8C7F867-0D3B-45E9-AD15-04B33D75B028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9195c7bccf6268cd3d0f3a81790a3bb795e0fdad","datavalue":{"value":{"entity-type":"item","numeric-id":3523152,"id":"Q3523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$E3FDFA4F-7756-4D70-9762-53B684982C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$1B8F4C2F-C897-4DFB-A10B-17BA3223AF99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc819d88a8acacae643b62201f8ab9bf4fa2c699","datavalue":{"value":"10.1007/S00165-015-0333-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903492$2E8FE0CD-6833-453F-BC7E-271716514E8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176aff1888dfe6f5e59fd7e5deb833fd7342adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807c2b2cc44580c79f37a2f770477a3c083943c4","datavalue":{"value":{"amount":"+0.8386584520339966","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":"Q903492$76FF09CC-E5B1-48EA-AD4C-8A38BFC13CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbb0304e940bceb5735c561adfb0e7f12a33f27","datavalue":{"value":{"entity-type":"item","numeric-id":3646570,"id":"Q3646570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167c5ef6b2e24bc1198ab91935b377b34d8afa08","datavalue":{"value":{"amount":"+0.8240526914596558","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":"Q903492$DF972031-81F5-47B5-8C0E-E31EF7966BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6f468b25447d3950c14be9cddb31081c655a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5505618,"id":"Q5505618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ec06e0b6b240c040ff37474340b517bd24cc66","datavalue":{"value":{"amount":"+0.8180292844772339","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":"Q903492$47FE2E0F-301F-4EE1-BE56-3E1398A82B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44f84f769f4f9ab334f19fa186dc1ad89ccad58","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ce2a8344d57ee71ff1fd1fb21641778c80c8e9","datavalue":{"value":{"amount":"+0.813478946685791","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":"Q903492$6DEFD431-8009-499A-A0DB-4B398A5114C8","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":"743cb98eb50244bd6d03a9f5ebdd38432f14df63","datavalue":{"value":{"amount":"+0.7978459596633911","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":"Q903492$E09294EF-604B-4328-84C2-1D860E162CC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903492$717C5B9E-2CAF-4A5F-A200-8237F8205C38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating invariants for non-linear loops by linear algebraic methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_invariants_for_non-linear_loops_by_linear_algebraic_methods"}}}}}