{"entities":{"Q3460586":{"pageid":5239986,"ns":120,"title":"Item:Q3460586","lastrevid":80740505,"modified":"2026-05-06T16:53:37Z","type":"item","id":"Q3460586","labels":{"en":{"language":"en","value":"Decidability of the reachability for a family of linear vector fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527570"}},"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":"Q3460586$B09636C7-9B7F-4440-BFF9-9AD470F2D5DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"678b94d4974c2bc3c722a20044a4392dee5a5339","datavalue":{"value":{"text":"Decidability of the Reachability for a Family of Linear Vector Fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460586$4BD19BE5-C022-42D4-8AB8-666B3564C1D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a91dd84f66405d7a0381877f580289be3cea3fe1","datavalue":{"value":"1476.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$26B8072E-1ACF-4BCD-99D0-6C2E7A1CAFA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8d3a07bc233f43335e5910eadddb515162bc012","datavalue":{"value":"10.1007/978-3-319-24953-7_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$4C519756-F1BF-4DD8-B972-ED1899A76D8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23b925de2b5e66dccd1a027eb449c375bff81d66","datavalue":{"value":{"entity-type":"item","numeric-id":507351,"id":"Q507351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$E11B83A3-5E91-4F6C-B867-1DEFEB4446E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cef1e06d83a491a0b29b5580590e2cd4ce05dbe","datavalue":{"value":{"entity-type":"item","numeric-id":832192,"id":"Q832192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$1422F213-CE87-440C-AD78-46F145D91EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da0a89075607d7b8ca44279b5d1b6258deef213","datavalue":{"value":{"entity-type":"item","numeric-id":507350,"id":"Q507350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$3153B28F-734D-4D5F-80C1-BC0DC4E35683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$19769A59-4A27-47DD-83A6-4D4C66F2716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$BDB44B02-68C4-4917-AE6D-33337282AE70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$18EB3CB6-13BD-49D4-B961-5391A0201430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460586$B6B791F9-C2A7-4958-ADB4-B285FA396B3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$028980CD-0799-46DE-9F01-F24C8179AF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$07F8D61B-C08A-437A-900C-51E04170CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$15271317-BD42-4740-ABCB-998F21C0A9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$2191E0BB-CC3D-495D-B178-52C91B167A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$B4386119-E66C-402E-8CDD-9F156A8FCBA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f41b84bd5776b8a2710c0b797c47ee0ec74397","datavalue":{"value":"6527570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$FC0269D6-A300-4C2E-B770-8A895C0ED69F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f970f1591d3b753c7fa79068aa62b5c09e58301","datavalue":{"value":"Tarski's algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460586$0E1E80C8-5590-4ACE-AA14-FBF638316984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"613acf12cd1584ac953c961332d6dd9070cfefba","datavalue":{"value":"polynomial-exponential function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460586$7F0A2C27-4CBD-45CB-A2F8-C44080AAB7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460586$03979FEF-4DE5-41C2-A20F-BCC9F3C9B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cb3726664e1579de6de5700f6b073bc17893a2","datavalue":{"value":"real root isolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460586$F3E28473-10BD-4E1D-BEA9-497FD2F37EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634ffeb8444fba3ab071ba35840599f8afa6481d","datavalue":{"value":"cylindrical algebraic decomposition (CAD)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460586$226E3F25-B27C-43BE-A03F-81B302C536BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$202506B9-9712-4FAD-9FCE-FE905B5E393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d39ba802dd351e3e6aa58aa56f220d6f12006c","datavalue":{"value":{"entity-type":"item","numeric-id":31986,"id":"Q31986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460586$8E968C53-32EF-4D81-9AF7-2B43FCBBD5F9","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":"Q3460586$0C47CD19-907E-4985-8EC4-8C78C82378C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7647faff5894a667e0ab61486b13e325470a2b9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460586$84F419A1-9DBB-491F-AA0E-B1D33D550171","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fabb3f53cee66f9f5de13b30017ea3bacce03e0","datavalue":{"value":"W2396103282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460586$8D509581-B67F-40DF-A5DD-BEABB52ED21B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3bec5f0f00b33b7834635adb8205e5b6aa52fe","datavalue":{"value":{"entity-type":"item","numeric-id":2871582,"id":"Q2871582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c158a82f932bd700f4ad7da68466df4f66b909ad","datavalue":{"value":{"amount":"+0.7968957424163818","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":"Q3460586$F58A2128-BAC5-468C-8122-0B345003107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813d0c28ff8f0886dbf8aed7c447bedb39a1e046","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3a2fe79ddc9644c3ba535c2e454d94308ba0bc","datavalue":{"value":{"amount":"+0.7907682657241821","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":"Q3460586$F21CB6BE-F729-49C2-B263-12CFC83356DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe06c2944f041f18177ec45ece81e2db5c6b751","datavalue":{"value":{"entity-type":"item","numeric-id":3172861,"id":"Q3172861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee8435823f802a298abcc578db8d880d58dbc78","datavalue":{"value":{"amount":"+0.7885076403617859","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":"Q3460586$8E87EEF0-EE1E-4C1A-879F-F8BDD2879E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcf1bd2543cecc2a1bb23ce40bf6626daba0b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3523124,"id":"Q3523124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56de3b1ac009590347c95b098a9a304c48a9655b","datavalue":{"value":{"amount":"+0.7574480772018433","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":"Q3460586$161C788A-B36F-4D5A-AD1A-EF7E051A5FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fe5939dc4ccd1ade0763dc899249b7d102234","datavalue":{"value":{"entity-type":"item","numeric-id":2257303,"id":"Q2257303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6498034771431a2826fe1e16d7b22576aa91d76","datavalue":{"value":{"amount":"+0.7491661906242371","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":"Q3460586$CAF8DD70-2F44-4B44-BD9D-C46B469200AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the reachability for a family of linear vector fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_the_reachability_for_a_family_of_linear_vector_fields"}}}}}