{"entities":{"Q5089224":{"pageid":7118800,"ns":120,"title":"Item:Q5089224","lastrevid":40878098,"modified":"2025-04-13T16:49:20Z","type":"item","id":"Q5089224","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559425"}},"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":"Q5089224$31EC9E92-FC5D-4CF1-9A22-E08D026BA7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85aa7382695dcfb25cd4f1b5fa328c0d7f0fd9e9","datavalue":{"value":{"entity-type":"item","numeric-id":5089223,"id":"Q5089223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$A88AA3C9-72D5-4B8B-B63A-4B5E42FBE933","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":"Q5089224$B1D2AA33-0E3E-47FD-9848-A14941AC7237","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":"Q5089224$ADFBD63A-9242-415D-AB2A-6EBDD0E0C854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089224$E82724DD-A527-4203-8D51-55374C514859","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30740ee417a136b6a17340a683226b7a68070ab9","datavalue":{"value":"https://arxiv.org/abs/2007.02911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089224$5C28C996-A3E1-4450-B671-97887AD72210","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089224$2C4EF12F-6111-4B4C-A005-83B5BAF9FD76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc7d2c546579c591a02aef513bbb2d8f25ec4b5e","datavalue":{"value":"7559425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089224$50A963BB-8B2B-449C-B1C0-BDA4AB8E357D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7b4d0027d8be11facac2a87822d398d7668720","datavalue":{"value":"linear dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089224$8157DAF9-12B6-48B2-B09E-DD0970B0F7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028e9c53e5c4550f5a7cbca2f6ae65c7e2ae92d1","datavalue":{"value":"orbit problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089224$A4540320-154D-4B06-A315-FBFFECAC5C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423a381cc6ddf4ce579448ca2c2d4f9b2dc351d4","datavalue":{"value":"LTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089224$16A266C5-1DF5-4C5B-8E8C-719C54CA1B45","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":"Q5089224$983C8B8E-B228-49EA-A3AA-58A5A3C0E0A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e361303362106d748658b6298a68993e25e6b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$7EA7FD71-A2F7-4308-ADAF-9838774FB823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bedfd530930d9935190f81a4cf56590e79df87f","datavalue":{"value":{"entity-type":"item","numeric-id":5111354,"id":"Q5111354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$73E93178-D29F-45E0-9478-C7384FF6856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56eecf9acbd326cefb744df4bb55f4b9de45d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5090452,"id":"Q5090452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$29CE4678-6B04-4ADB-875E-8208B8AC4D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a2a3675d6cacf8df300bc7cbc3438a20a2cc25c","datavalue":{"value":{"entity-type":"item","numeric-id":5495866,"id":"Q5495866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$6E9A9AB5-E4EC-4D56-BA82-719783282556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad74f62749bfefcc22f88e1df1a68076434d298","datavalue":{"value":{"entity-type":"item","numeric-id":5362998,"id":"Q5362998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$B6170801-3B45-4B5A-AACB-45D25D67A9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9bc39146e899db0053fed6008a811d0a4dbfdb","datavalue":{"value":{"entity-type":"item","numeric-id":3177796,"id":"Q3177796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$9402AB68-91A8-492D-865F-A5B0DAF20A3B","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":"Q5089224$05065400-51E4-4C45-BC09-16FA8F63E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$45E7E8F4-C202-48DB-B3D9-708FF6F5F276","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":"Q5089224$27E23B11-0319-4F37-9023-7B06F1018F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e755952b7d0fb5f8820202cb348ee4f4522a20b","datavalue":{"value":{"entity-type":"item","numeric-id":3671245,"id":"Q3671245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$2D65DBE7-3FDE-4B45-BE4C-D54A1A8DC8B7","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":"Q5089224$0AD2345E-357E-4D59-898B-82120DF9B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1564a519fe0bf3a4fee6ef14a1d6320ce090b306","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$258A67A7-25A7-441B-91D8-25A885F013F0","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":"Q5089224$EF268DBD-9E13-47E0-8C7C-56DA0079945A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c483571b84b9b594916a262ee03f791590d87bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1077447,"id":"Q1077447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089224$6AB76899-CB26-4359-8B46-4D33A7EEA63F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b80ba07968fe523c6a31ddc641b0593ec26dbe1","datavalue":{"value":"10.4230/LIPICS.MFCS.2020.54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089224$8274AACC-A339-4704-8B6D-0C7F82BEA2F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b014e8be0da6ee91dc4a564d5997ee961eafd43","datavalue":{"value":{"entity-type":"item","numeric-id":2112097,"id":"Q2112097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc6a33894ffa04a935d3ce5c8a9914f7f0eca44","datavalue":{"value":{"amount":"+0.9086754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$52281BE8-504D-434A-B254-C92763C02EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11bd1fcb85f60cb9a48898f6ca76162412a40ab","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d376317996d6115eaef434998c41418cf8b60b6f","datavalue":{"value":{"amount":"+0.90269583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$EB3065E1-EF4E-4A0E-A209-B2B8E84B5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8b7bc506570e1ffa0717751930e8078f520df1","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755e50958525f3b570f245705c9932d6ed92a7b7","datavalue":{"value":{"amount":"+0.9016341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$BAA6FF67-2929-43DE-8903-2BB7CE162D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a934526edff3395a0f9d37af0f9e74bc3a261f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3600466,"id":"Q3600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0504321824fcc5b0e96b14bfd3a2f08fae8cdfa4","datavalue":{"value":{"amount":"+0.9006613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$298B3096-4654-4974-9F7D-87529073F318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0de75336455743d7ad54fbc8ce3c3a9bceade7","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb3bd1fbba2e88f97904b2780ed9e9102aee64e","datavalue":{"value":{"amount":"+0.88831437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$7F957BDE-99A6-487B-9A21-B3EE35C6AC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b68073369f0cc8b5e82b6b47fbeb08c63281ed","datavalue":{"value":{"entity-type":"item","numeric-id":4899142,"id":"Q4899142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc1461cfc21ad05a7cf9f8d034dcc71c7910d16","datavalue":{"value":{"amount":"+0.8804922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$F2263783-8577-41BD-B89F-5E043BF24FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32313f08c2280cf58f605f5a1afe17de787fd344","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b621b7a65866617af8f6c29bfef3a989a2bcc529","datavalue":{"value":{"amount":"+0.87912035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$34436961-0D2B-4EB3-A4A0-4C619ABEDC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d43cad7c570d247136684b49fd965136c53289b","datavalue":{"value":{"entity-type":"item","numeric-id":5136327,"id":"Q5136327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0387c32628b3d0cff75302e90b3e7f4977fc6e37","datavalue":{"value":{"amount":"+0.8775663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$DCBB084F-2E6F-44C0-A18F-FE4BB599D06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865024660eb7ec062b983629c64514ade98ff89e","datavalue":{"value":{"amount":"+0.87642485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$CBDBB9CF-292B-4091-8914-876E5CF94165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865024660eb7ec062b983629c64514ade98ff89e","datavalue":{"value":{"amount":"+0.87642485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089224$5431911A-CE9C-4A3C-AF42-A88B4B65E898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089224"}}}}}