{"entities":{"Q6829700":{"pageid":15118090,"ns":120,"title":"Item:Q6829700","lastrevid":56020582,"modified":"2026-02-26T15:48:43Z","type":"item","id":"Q6829700","labels":{"en":{"language":"en","value":"\\(o\\)-minimal invariants for linear loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7376041"}},"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":"Q6829700$2BAA140A-335F-4E82-88B9-4F85260CDC62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dee32c72ab799f8728687cca4ed5361db1160b3","datavalue":{"value":{"text":"\\(o\\)-minimal invariants for linear loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829700$22CEBCF0-5118-4AF3-852A-15D1244601FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dc04b27e43ba2dd67d8ca2a93c4af04f2dd2277","datavalue":{"value":"1499.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829700$C6F6C4D9-B6BA-4674-A834-BBAF14253429","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf95383b5061ab54890c03ffe5d2fefd4a0ee481","datavalue":{"value":"10.4230/LIPICS.ICALP.2018.114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829700$861A07B1-41B0-49E0-B749-063DFEBEE1D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a72c2897604ebcff4918a7f3620c211271fb0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1622946,"id":"Q1622946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829700$54D9E29A-CA21-4030-BB39-EE76D6FE85A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc30e36f07191a4ecd36454fc0cca4e25306420","datavalue":{"value":{"entity-type":"item","numeric-id":1683926,"id":"Q1683926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829700$9FDA540D-478A-4215-99CE-52E38BB728D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829700$308E63C3-076B-450B-80E1-BF91EC318BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829700$FBD92139-D248-4771-BB96-7DDCFF1CB1A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4211c9afbc08aaacbac7309503449b759a8aef6c","datavalue":{"value":{"time":"+2021-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6829700$B3FEAA13-78A6-473F-BA28-856B8C8F0DEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829700$2E42A02F-84C0-4A47-BAF0-5CF2164F4B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829700$3AA5629D-5234-442E-B198-286E7418E484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829700$4D051EE4-D2E3-4D74-87C2-8F0E4228DF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829700$A6C94F09-3186-4DB4-9491-2EB106FB1EAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c0c13e6c51af38dce64f1cf1a8dcb7554734b5","datavalue":{"value":"7376041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829700$F1D3472B-8BF1-42C8-BF7E-5E421B2E062E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829700$734B21E9-6C6B-4F72-90CF-EF3D8EA89CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852bf2d3de4e8b58b0d6cb84f6da8acb37a136c7","datavalue":{"value":"linear loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829700$2EB95642-DEC4-4FD6-AA13-49397CD46537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7b4d0027d8be11facac2a87822d398d7668720","datavalue":{"value":"linear dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829700$8B2437CF-0B3B-4408-A773-79A09D58175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829700$48161A0B-4D6F-4868-9BB1-059ACD3A462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829700$3326EB48-CAF1-4EFE-B422-7163A38E1791","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":"Q6829700$95A36FE1-B061-4966-B3B2-6379B5B6C4A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(o\\)-minimal invariants for linear loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(o%5C)-minimal_invariants_for_linear_loops"}}}}}