{"entities":{"Q2871582":{"pageid":2882302,"ns":120,"title":"Item:Q2871582","lastrevid":83956043,"modified":"2026-05-07T15:09:37Z","type":"item","id":"Q2871582","labels":{"en":{"language":"en","value":"Some decidable results on reachability of solvable systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243579"}},"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":"Q2871582$15DC2D05-2B46-4DE5-86EB-987231D77097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73b6d65d45bf408dacb73381805308c559ea78cb","datavalue":{"value":{"text":"Some decidable results on reachability of solvable systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871582$D74BB818-A1D5-4091-8F93-7AAE543EAE86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ace1ba356caed3951c188787441b34d64ba30d5d","datavalue":{"value":"1278.93046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871582$7020DC79-F7EA-4C3C-86AD-D69616008A0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3de06f656d47429b59b56ae95e0ed70ff3fff34a","datavalue":{"value":"10.1080/03081079.2012.757604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871582$FF9DFA01-E89A-45D4-8E3B-945AE01E6E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03791e3ab103896b9378efc57bae42ca7928ba2","datavalue":{"value":{"entity-type":"item","numeric-id":480649,"id":"Q480649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$B92ECBFB-8884-4A97-B460-916DA1E95A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bba196955056e32658c9886251f9b6660225257","datavalue":{"value":{"entity-type":"item","numeric-id":351981,"id":"Q351981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$D70E49B0-1A60-4E7E-B66C-14CD1A8845AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36a2b87321e716ff1d0c0b9652c15dc3954f595a","datavalue":{"value":{"entity-type":"item","numeric-id":480650,"id":"Q480650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$474770D6-44FA-4439-9FDA-E73968971DDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1df81e788c24e735b818d872bb7126f8abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2711637,"id":"Q2711637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$A2003A1D-10AE-4F38-89C2-21BB52AE5BE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd6802d1635af15aceed850b007155490528f75","datavalue":{"value":{"time":"+2014-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":"Q2871582$C422382A-8DB8-400F-B2A1-68BA4CF08757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871582$414CD273-DC7B-48AF-9429-2ED0BB3410CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871582$B41FB0DB-D6B8-41AA-A473-156BF08CC7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871582$D43FBA76-2536-44E5-8380-0F6549DF65B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26593e4bf6a8a22fe60b3766abc28735e21d7bda","datavalue":{"value":"6243579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871582$16CE63AE-316C-4B4F-AE28-61857F7ABB26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871582$191EED1C-A7DB-4892-BE76-AEF854C3BBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09300c08be3fb5481600461e9a197e9e4c1ab542","datavalue":{"value":"solvable mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871582$8FC41A04-2B46-4179-9194-FE1283D203E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4651fae9d12e26bb456e8184d8837c6e4544d5e","datavalue":{"value":"nonlinear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871582$9EE35506-A549-41EB-B787-685E47C8384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871582$1C83AE72-2C7C-4924-B706-D3EC5EA64ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871582$F49747B4-3906-44FF-9EC1-421EB1C3972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871582$63665253-1CC9-47F1-BF4B-E5138A26CD80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$AE0A9722-0338-456F-9039-D8EDF90680B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2645efed9743ae7f0dad38d6a8670e53b11b33b4","datavalue":{"value":{"entity-type":"item","numeric-id":19750,"id":"Q19750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$9765EAC6-5F7A-4C51-85F7-2F133048F11A","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":"Q2871582$ED0606F1-6F10-48F5-A8CE-54E35E24778F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e580a5e69da6331c449c1d481f8131311f0777f5","datavalue":{"value":"https://doi.org/10.1080/03081079.2012.757604","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871582$7A7698AE-B166-46E8-A5F3-5E6D350E966A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b48eee628069308d8b78059e64168776fb2e45a","datavalue":{"value":"W2032269072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871582$F2E8B453-4792-4C1B-998A-9F94D45EAEED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$A9AD94B7-5CBD-4E60-99C9-63C0A3B75E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c513eee7e8e9d99927625689914a5a47854ef2cf","datavalue":{"value":{"entity-type":"item","numeric-id":1367528,"id":"Q1367528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$3FF0D50B-64AE-428D-80ED-B288A1E39464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$447554BB-079E-490E-959A-8B316B3A9B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15c65f7cb4bb603b7e190ecae8ab47753e2f970","datavalue":{"value":{"entity-type":"item","numeric-id":4050665,"id":"Q4050665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$485B3880-7975-4768-BC35-93964C0D7424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68d6ad92cf5e3ae855a591ca8a5ab97abda3202","datavalue":{"value":{"entity-type":"item","numeric-id":4385444,"id":"Q4385444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$E53560A3-C8BF-4346-8531-FA614611818D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d24da2bf07269cee3092855e8aa30c9232e914f","datavalue":{"value":{"entity-type":"item","numeric-id":414586,"id":"Q414586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$603757D3-B6FF-42AA-A556-25E28A0E1691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf84aac38826d10adcd0e8dc930891f651edc98","datavalue":{"value":{"entity-type":"item","numeric-id":2549925,"id":"Q2549925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$A3B8150D-123B-4C88-98D4-52C611C76854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$D06C57FC-BD99-4B36-9241-A757A5A98EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$6727439B-D3C7-419A-B86D-D1E988FBA506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3195264df867cd8247f726b54c6c411a7be879c2","datavalue":{"value":{"entity-type":"item","numeric-id":3902876,"id":"Q3902876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$C2632DB4-A375-4BF3-AD6B-F91BC8546149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$2CD657FB-F572-4BDC-8A95-B3A99A8A61B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c24ac5611b2da9c3ccb3f1ddafffee0ee0268b","datavalue":{"value":{"entity-type":"item","numeric-id":3086385,"id":"Q3086385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$2666A50D-FFB5-4DFA-BD13-5850A8379ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc817731114a50dd90568b00d808795ed6f44da1","datavalue":{"value":{"entity-type":"item","numeric-id":1418889,"id":"Q1418889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$6A3EB612-17F3-4765-97EA-9953CECA007B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2293bbf6eaf9fe16afd2937fb8e2cf2629f0d2fb","datavalue":{"value":{"entity-type":"item","numeric-id":2641737,"id":"Q2641737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$E7D7BD8C-138B-41BF-8404-AA4ADB973AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423a8be0980ebaa01d852c56c93e10a96852834a","datavalue":{"value":{"entity-type":"item","numeric-id":3083226,"id":"Q3083226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$6D467ADA-B33F-47AE-88F2-5C1A6D67FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac80f8dd6b9c81d89f3e2f783c850787d622bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$38C0B611-6F58-4C3A-9643-9D83DEF469AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$3DCC660B-6903-4FB7-A924-09E0E07CADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c975f1888c4f0f751e769fd12b3a7144726127","datavalue":{"value":{"entity-type":"item","numeric-id":5704482,"id":"Q5704482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$A95C53AF-369F-43B0-9B5B-6D25D1F0EE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7b19400a4ff83c647d51f1b4a68b4f64753075","datavalue":{"value":{"entity-type":"item","numeric-id":3072442,"id":"Q3072442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871582$5653A7C4-6488-4BC7-BD9B-D01E07CEAFE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b9b8c00de0a52bea3015fec77597fdebfae87c","datavalue":{"value":{"entity-type":"item","numeric-id":2894564,"id":"Q2894564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e6121caebd708783d556dcc1e6acceabc967fc","datavalue":{"value":{"amount":"+0.8000304698944092","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":"Q2871582$5F162DAF-464A-416A-9EA7-44678A1D1081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0843d7430170ce88935fafea08be1f4d9a6364","datavalue":{"value":{"entity-type":"item","numeric-id":3460586,"id":"Q3460586"},"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":"Q2871582$AC2ABBB3-1DB7-470D-8E33-41C7E1A9592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5ae687efc221eb0ebbd4669571e1e48eb5d5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3072442,"id":"Q3072442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d487d79325041b638fcbdda107942fef035717","datavalue":{"value":{"amount":"+0.7903003692626953","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":"Q2871582$9DA9C2A2-05CD-4AEE-B226-CC1E3DD362B3","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":"7211aa539418a708aa61ee91ff32eb0b1686ab70","datavalue":{"value":{"amount":"+0.768160343170166","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":"Q2871582$41B05040-8022-40B5-9959-192AE1A3DF3C","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":"c83f88d6c73d1b1d4b48047cea222ed203fe29cb","datavalue":{"value":{"amount":"+0.7649669051170349","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":"Q2871582$DA2DAFD6-FE3E-417D-AA45-65D5A922426A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some decidable results on reachability of solvable systems","badges":[]}}}}}