{"entities":{"Q4636627":{"pageid":6666208,"ns":120,"title":"Item:Q4636627","lastrevid":53068094,"modified":"2026-01-24T04:03:18Z","type":"item","id":"Q4636627","labels":{"en":{"language":"en","value":"Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862121"}},"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":"Q4636627$0620568C-AA73-475E-B29A-1BDBF31216CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4c44303ddc9f38bf6e4a7c460b0b6ebc93bd23b","datavalue":{"value":"1434.37008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636627$911A656D-D37A-4FB7-BF52-DBB6CFFEA104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636627$6BC9FDCC-C476-4680-AED0-4E625303BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8f70b6480dcfbe2b16a82d6df026e1a943f3a72","datavalue":{"value":{"entity-type":"item","numeric-id":2051371,"id":"Q2051371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636627$B7FB909D-73FC-4543-81B2-93652C98AA6F","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":"Q4636627$4BA14BF5-B2A2-4082-952E-DAF2577548EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a391655797fb80a8e19ac091f518a0e89e1110a","datavalue":{"value":{"entity-type":"item","numeric-id":264570,"id":"Q264570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636627$D28E167B-242E-4689-BF73-D19E6DA97A56","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":"Q4636627$AE37A3CD-F264-498B-B3B7-8F6DEAE2BA96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636627$E2EFF33E-FCDB-45AA-A6C7-D66185C00D4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"162400a10781af61bdd5cefbc3066e403d730f80","datavalue":{"value":"37B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636627$DD5380F2-FB00-4AEA-B586-BFABEC6C5865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636627$7C7A8602-DF5A-48FD-8035-3895D5A87DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97bd36d529226a5c2a7d319ccb88fe485aab7bf","datavalue":{"value":"15A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636627$D851D50A-4EEC-47F6-9E91-2A2C13367A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96d6c5a3dee33308585c04e2210e178d5304e050","datavalue":{"value":"37C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636627$1CCD3F01-EA8B-467D-9205-51D30E86EC83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"487aafe3146b2437a294f9302b620e7a5e8dee77","datavalue":{"value":"6862121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636627$56A634ED-0D80-4EAD-AA6B-4CDC3799B55C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636627$C2F7233E-DF93-49ED-AAD5-042A00D8B2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c026303c6acf4562e5c5e6994e46d235eee3a301","datavalue":{"value":"algebraic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636627$B7650A7A-ECAF-4093-A96E-25D894EB2527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636627$43B4E311-B57C-4631-97D1-19ACA6B960CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028e9c53e5c4550f5a7cbca2f6ae65c7e2ae92d1","datavalue":{"value":"orbit problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636627$F8A257A5-654A-4F64-836E-0C27C0014C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636627$4773BEEC-D0A0-449B-8D50-D37CE3B5B6F1","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":"Q4636627$330EA94E-D779-40F9-A6C7-23A23B796EED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e41f48b128a144ce8986ce1bac75f132c3d308ae","datavalue":{"value":"10.4230/LIPICS.STACS.2017.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636627$8DE25508-8F38-46A9-AB3C-4C856AE2E821","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a98abe5a426109fe1c550ef6e83bf671f1c45c","datavalue":{"value":{"entity-type":"item","numeric-id":2321928,"id":"Q2321928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dda6fc8d74bbe43a5eac34d20216a1c35f81a55","datavalue":{"value":{"amount":"+0.9731234908103944","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":"Q4636627$8C4D19EF-3FA1-444F-A628-B5154EACEF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a9974fc0c47c30b1fb81f104378dd995999f55","datavalue":{"value":{"entity-type":"item","numeric-id":5090452,"id":"Q5090452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc74dcbe6877dda3178e5c5d84909448c3d6702e","datavalue":{"value":{"amount":"+0.8317800164222717","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":"Q4636627$44AD22EC-8D98-493F-A021-3DD34E622272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb2ee667755f3fc05d1a0a86edc24fca82e30bb","datavalue":{"value":{"entity-type":"item","numeric-id":5495866,"id":"Q5495866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fb5ac5e5d26b6a96cc7e521afe1c72ca3c2dfe","datavalue":{"value":{"amount":"+0.8056021332740784","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":"Q4636627$CD2C7C0A-D53F-462D-A911-88D955B68A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223ebc95b59ca72663f799728770cc00fda9362b","datavalue":{"value":{"entity-type":"item","numeric-id":3177796,"id":"Q3177796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698bc7a7f8b3f3913b252c4b4c0e1eec076b6717","datavalue":{"value":{"amount":"+0.7968355417251587","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":"Q4636627$79BC36E0-3FB3-465A-B2EF-3AE0B008AA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb22db6ba4384c5d8e1f5028c5cd7264739bc12e","datavalue":{"value":{"entity-type":"item","numeric-id":1798906,"id":"Q1798906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4aa5a5672c132c34104e9c921223ab842f9eb7c","datavalue":{"value":{"amount":"+0.7956393957138062","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":"Q4636627$E7052D91-9F3E-49AA-8297-9080EA2FF4C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636627"}}}}}