{"entities":{"Q2321928":{"pageid":2332671,"ns":120,"title":"Item:Q2321928","lastrevid":73694613,"modified":"2026-04-14T16:56:30Z","type":"item","id":"Q2321928","labels":{"en":{"language":"en","value":"Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7098517"}},"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":"Q2321928$CE4D90FF-59DF-4AE2-BF3C-2C221DEA0B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4053e53b22bdd3db9439ecb7ee9249f94742bfc2","datavalue":{"value":{"text":"Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2321928$1CE76A43-A376-41C0-9AE3-4DF9DF4E8420","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f822a04a5100cb376433451d4f118fc94b1c502","datavalue":{"value":"1461.37028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321928$40E7FBB5-9A14-466E-B876-B6AEBEEF4000","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":"Q2321928$C5EAD4B0-5B58-47D7-B5C0-2F86C5676370","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":"Q2321928$9691006D-8A28-431F-81E7-EE5492D1E4B6","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":"Q2321928$08CD2AFA-F755-4BAC-9ABC-F78F650F3498","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":"Q2321928$D2724576-5A30-4563-9BBA-0E8457FA4EF3","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":"Q2321928$057AD867-316B-4DD5-9C26-24B3CD30E999","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$148075FC-625E-4942-864E-62F72535C44A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047f9e23f7c01aace0c72bd990a73681805825cf","datavalue":{"value":{"time":"+2019-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2321928$FA086464-B35E-40D4-A363-2ED3FAF0E6E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"825ab06974a864b141a5cf6ffea693af4cef423f","datavalue":{"value":"https://arxiv.org/abs/1701.02162","type":"string"},"datatype":"url"},"type":"statement","id":"Q2321928$47CDEB83-6C6F-4F76-8BE1-7EDA6DFC24C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"96d6c5a3dee33308585c04e2210e178d5304e050","datavalue":{"value":"37C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321928$EB142831-9DE6-467A-A4CA-31AD3E82446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccd6211154b69a5f2c16e7f8ed5519dbc4ff9ca","datavalue":{"value":"37C79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321928$AF525985-1D21-4769-960B-04F7C05BAB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321928$2A5C819E-1E46-4C0C-A17F-D860F3A3EF6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f872264c13347e536c27367ba79b1c09c67b567","datavalue":{"value":"7098517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321928$4DE30B2E-11D3-4C70-B383-091D21F24906","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321928$C92C674D-5632-47BA-8D02-831BB1F1CAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c026303c6acf4562e5c5e6994e46d235eee3a301","datavalue":{"value":"algebraic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321928$35A1D60D-F431-4D7B-A358-F6715F71A300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321928$F0E140C8-D1DB-452C-98B4-336E998AF46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028e9c53e5c4550f5a7cbca2f6ae65c7e2ae92d1","datavalue":{"value":"orbit problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321928$3649AE52-1899-449D-8249-9E128772D56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321928$8CE3C477-6EC7-4BA0-AF10-DF50793469D2","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":"Q2321928$F9C0D656-01D4-4D11-8C13-C9E07FE38D75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20787298f65b071945f16f665f8551233ee02a2c","datavalue":{"value":"W2916340081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321928$BEF29B07-F521-4E6A-91CF-1CBFB019D13D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$3F5387A1-3EE6-47F8-A9CF-7D38C35E6666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3f0016946dec9533950483f8454ab434927826","datavalue":{"value":{"entity-type":"item","numeric-id":3241280,"id":"Q3241280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$F48D15E7-2D7C-4FD6-A071-C5A3E39F7415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d275c14e843c4cb3c40c9b93a2b6fdb3ead3368","datavalue":{"value":{"entity-type":"item","numeric-id":4507329,"id":"Q4507329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$1B3AC2E0-9DE2-4DD4-B323-8F0CE1F2A044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad82ceceb989841702ff29a6263f8837e54e030","datavalue":{"value":{"entity-type":"item","numeric-id":859958,"id":"Q859958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$56049ED0-C843-4B07-9B0C-4E3A008AFE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$3BE36FE0-E73B-44B2-858B-3BBD82629256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18596458fc7dece86871f7b993158f3e4166bf0c","datavalue":{"value":{"entity-type":"item","numeric-id":5613964,"id":"Q5613964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$4D89AF6A-1C3B-48D9-BD6D-67D6642A3157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4719fb59209121c58d2497b93ce038b91f5ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3462041,"id":"Q3462041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$C75EA6EB-62BB-42CA-A7C3-BC8A20B92324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf28bbed65d798a4cead89a8fcf3c0f52061096","datavalue":{"value":{"entity-type":"item","numeric-id":3803204,"id":"Q3803204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$500ACB79-83D7-455C-9886-FAF3536719A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40091ccc3aff16816fcd9d4de3cdee129acc7541","datavalue":{"value":{"entity-type":"item","numeric-id":3963114,"id":"Q3963114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$3BF4CD68-47E9-4BF6-A7A7-9D3067177DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$437F8C14-F386-4805-B17C-9B871B41FD43","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":"Q2321928$A81E9A48-30DF-45F3-ACBD-E858591B9185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b46989355988e5d4e240f250b8692542b0eec1","datavalue":{"value":{"entity-type":"item","numeric-id":5167849,"id":"Q5167849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$6B6AEAAE-C0E0-42F1-B459-2D5B6D5CACB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fab38bb7a7d788c1462225a12857e0696b5721","datavalue":{"value":{"entity-type":"item","numeric-id":3545513,"id":"Q3545513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321928$D6314BF3-790E-4C99-9AE2-FC791613C327","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb43efe7b413ebd1e6fcabccbc6e0cb458e3fbae","datavalue":{"value":"10.1007/S00224-019-09913-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321928$0627B75D-51EE-4218-BB41-B7F89DF10132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73d940fb7a42dd4531561a57580222163d83338","datavalue":{"value":{"entity-type":"item","numeric-id":4636627,"id":"Q4636627"},"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":"Q2321928$0840D2FF-833B-40CA-B879-E47B78854318","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":"89f6a5c08f843b392b66bc3cd134289be2a1f9dc","datavalue":{"value":{"amount":"+0.8378623127937317","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":"Q2321928$13AC5B9E-5AAF-4653-A901-DF6EB9A1272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5cea7e8530efab61b259830f14bc781f8fadfe","datavalue":{"value":{"entity-type":"item","numeric-id":2048201,"id":"Q2048201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05efb0f6e23cc5d4b2cc0a737a9b9f7f1148fe1d","datavalue":{"value":{"amount":"+0.7960433959960938","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":"Q2321928$6D653BF3-738E-40AB-A94E-5DDD4764AB29","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":"158d43149edc699a1351d0a43e932e18e2d8ac81","datavalue":{"value":{"amount":"+0.7894439697265625","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":"Q2321928$3F7B56B2-8137-4C93-A3D1-B42E4843F126","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":"586a757e89aeae51c4dcab26c749c8e545efacb1","datavalue":{"value":{"amount":"+0.7838738560676575","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":"Q2321928$C2969D23-C25D-4257-9A35-E4D7CC94727E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_semialgebraic_invariant_synthesis_for_the_Kannan-Lipton_orbit_problem"}}}}}