{"entities":{"Q891730":{"pageid":893578,"ns":120,"title":"Item:Q891730","lastrevid":52396106,"modified":"2026-01-22T13:29:29Z","type":"item","id":"Q891730","labels":{"en":{"language":"en","value":"The structure of polynomial invariants of linear loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6509883"}},"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":"Q891730$CF170F68-3090-4B39-93E4-DDAFF42309F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54f5ee89aa5c32c1e561f56f73d5025f69f8666","datavalue":{"value":{"text":"The structure of polynomial invariants of linear loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q891730$F2E0484A-8EBA-40D8-99AD-A24B7FFF4255","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b67e1c2b2895070f7887409c836dde7e34d7160","datavalue":{"value":"1327.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891730$F9ADB3AF-2462-48B7-800B-243874C089CC","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":"Q891730$9231AFB4-ACF6-409E-B712-C94ADF77E581","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":"Q891730$98580FD6-8AE9-4F37-9B50-A0F3C4CBB807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bfd07716b568beeb57db1cdc0a8fa4c23755134","datavalue":{"value":{"time":"+2015-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q891730$9BD22197-C716-4D31-9899-6E397B8FE170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891730$1772E55C-D642-470B-A244-C0BF75C621B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"279f6c593805a7bfb0446b9acce17f522a980010","datavalue":{"value":"6509883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891730$85D7E70E-90F5-4AB9-B979-6C4E3E6526D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b87e7a668847a27892fb688ba90e6e7ec8455c","datavalue":{"value":"static analysis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q891730$618C1B21-C5F7-4301-A529-AFA300BEF169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6efbab7d17da8d9c2de7938aa295baf123ca412","datavalue":{"value":"linear loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q891730$C79D2DB7-67DB-4D08-B0DA-A6BEBA997FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0a4da572274ad55899bfb2fae87dc4ba0cbad2","datavalue":{"value":"loop invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q891730$41202285-2910-43BC-B756-5B6AB83F06DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d790cf33ea802e1b55e328da23902ec4199c213","datavalue":{"value":"invariant polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q891730$06EED675-D90C-48FF-ACBF-2EF338DDBAB6","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":"Q891730$727F12A7-6B14-4B9B-85E9-3B9283E30069","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df71532c06d9be04388ade6062273ca9001a2042","datavalue":{"value":"https://doi.org/10.1007/s10559-015-9736-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q891730$E2077E95-E210-4C3C-B8EE-9043489E36BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a33a320ec6506a7196d1a51d87e246aa04856f52","datavalue":{"value":"W576027790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891730$782AC88E-56BB-47C3-8F7E-E47692317441","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":"Q891730$4FE7BDF9-E401-4064-B370-6A71AD06C783","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":"Q891730$9285667E-3C2C-401F-9124-A76DC1DC178A","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":"Q891730$F6852903-0D75-443C-87B2-F6EDA6CFFD54","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":"Q891730$E1FA9E70-64C5-4E96-B3DD-76AF4950A5DF","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":"Q891730$65B5F6B9-E7AD-4309-B768-C4718780A6D9","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":"Q891730$CFED704B-4E9C-491A-B41B-994CDFEA7B66","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":"Q891730$6ACB3937-9003-4A5E-B25E-3FCCD17747D4","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":"Q891730$39C2A661-E755-4952-A873-366A9264F39F","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":"Q891730$C685645A-2279-42F5-89E6-85735B383ACA","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":"Q891730$38F14763-2BF3-4F8F-BE06-C708E76C0850","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":"Q891730$A764EFD7-A19F-4792-AF25-946DE701E428","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":"Q891730$C758BC81-4419-487D-AEFC-1557DDB85DF6","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":"Q891730$F6CFB726-70C5-4186-94A7-5B5DFF493DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf81966231655e8792905d780f64b1c5b70b57f","datavalue":{"value":{"entity-type":"item","numeric-id":3277470,"id":"Q3277470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891730$D819FC32-CD03-4AB3-B7C0-D611BBE7FB3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"113b250b35bc3b86e802d82af45aa3356177f8ab","datavalue":{"value":"10.1007/S10559-015-9736-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891730$AD80B3C4-D978-4B15-A9D9-9452D343486D","rank":"normal"}],"P1643":[{"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":"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":"Q891730$EFD4C3C1-6AA1-46A3-BD02-DA9A823068AC","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":"171b946133112d64933ae0569ffe54a63eb9e800","datavalue":{"value":{"amount":"+0.8773117661476135","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":"Q891730$F0158420-B87C-4B19-9638-79FB31FDE9A4","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":"c6fc5d908d4d061cece35e3d312061764e92aac8","datavalue":{"value":{"amount":"+0.8691993951797485","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":"Q891730$F71E4CF1-5F9E-460F-9929-5F6EC12D78B6","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":"77de1e1c083ffd166e929424925d05079ab6c971","datavalue":{"value":{"amount":"+0.8488632440567017","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":"Q891730$373F4064-D11D-4C17-B67E-4C840CBECF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e1ac102e88017aeca9570343676b61175a152b","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf44aa0176dfeb570023ec7480726f98ffaebe7","datavalue":{"value":{"amount":"+0.8387004137039185","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":"Q891730$34CE37B8-FD21-402A-9281-40349A3C6652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:891730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:891730"}}}}}