{"entities":{"Q444476":{"pageid":446243,"ns":120,"title":"Item:Q444476","lastrevid":61864242,"modified":"2026-04-11T02:11:28Z","type":"item","id":"Q444476","labels":{"en":{"language":"en","value":"Reachability analysis for timed automata using max-plus algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065757"}},"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":"Q444476$5063069B-C46E-4344-A17D-C1D2F8FE1D12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eecc52484fa968b3dd9fbfc1b642e27e768005c","datavalue":{"value":{"text":"Reachability analysis for timed automata using max-plus algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444476$6DA24E5B-0C91-4173-88A0-B1E3B58AD072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18b1addbebb3784462f2e031d5ec463c0b64347e","datavalue":{"value":"1279.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$1E985640-7907-48C6-9783-8B234DBD87A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba026a78f7131a095a78c2ed1aac496626721d3d","datavalue":{"value":{"entity-type":"item","numeric-id":444472,"id":"Q444472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$5E8C6F5C-1D6E-4235-8DC3-04C9F8834E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d3ba3f4a2fc2df8494e4726ce5a3fb0b4709bdf","datavalue":{"value":{"entity-type":"item","numeric-id":444473,"id":"Q444473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$652FECFE-1263-45B3-81D4-85B1B373E399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc24c01ee94ab41f20fb64bd72d035281344f65","datavalue":{"value":{"entity-type":"item","numeric-id":444474,"id":"Q444474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$6FBA12D7-5773-4BB3-84DD-C8162C1F72B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$DA823BA8-58EE-4036-AAA3-AE78C9E371DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2869b146528dec4df12d058bbf10a220089c27c1","datavalue":{"value":{"entity-type":"item","numeric-id":1655721,"id":"Q1655721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$3D7D4BEF-A2A0-4E1B-B35F-308C76EA47AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$8C11C162-B3CD-46B3-B525-032EE8DFD938","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$4B5BC428-B3E3-425D-8362-55655F16AFD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444476$708B9DC0-84C7-4CB0-8C17-10FFDF3F65FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$0515730D-DFD1-42D0-BCC5-D57F3B631BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$8802FC31-A8FB-4663-840F-7C7DEBF0C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5bc850efb57718f8497af55f559776989de771f","datavalue":{"value":"15A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$AA4D9D19-73B8-4F84-A7F7-737571C75370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$7EB56349-0948-443A-A8EC-047AEFB77A07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b892c59a3832f12ad9459f0b0b9d4588305b57ea","datavalue":{"value":"6065757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$1A980AB0-AE30-477F-92B8-BA766B6B269F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q444476$4F99E889-BDA1-4340-8505-E9EE2E594A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1d9acd3b8f584aec680204ecf0465699dbe894","datavalue":{"value":"real-time model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q444476$BD0AE706-69A3-41F1-973B-0D13C77EC250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q444476$FC5F76D0-50AC-4E5C-86DD-44AE4F6ACE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ada527dc6242dd2e7d58586df87a3906dfefee9","datavalue":{"value":"max-plus algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q444476$231CC139-3503-4652-B4F6-5D3C17B9C4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3976e26c1ea079014816022853c8549904f135ac","datavalue":{"value":"max-plus polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q444476$B317EE58-1236-4AC3-9047-359D72D53350","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1412ceb6c71a23f10e8f7e008bf034264afa1496","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$0470A864-13BB-40CC-8EFA-CFA3089F16F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$2878CCE1-896F-4ACB-AB89-617E66768CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$9731E14F-F674-4CA2-A24E-6CAE2402B157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$1014874F-285D-4376-B3A6-2659A719C867","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":"Q444476$8C1E8C22-5DB8-4917-948B-07E7E33D4884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e171348ece07a6cff2e08a24a578d6b6682cc48","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2011.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q444476$4B58CFEB-EAAE-4C46-8C3C-AE883209FEF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e263072cd51c39f174935fe5610a776aff368fc5","datavalue":{"value":"W2109586922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$6CB4AA58-D50A-4F6F-99C4-3FE701C5F412","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8cfb2ea2c7e34919a7b20b34e84b552e6c8cac0b","datavalue":{"value":"Q114851545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$4E1C1149-469B-43D6-9D03-5E84293A17CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$05ACF376-FFC3-49C9-B4A4-295EA2A43F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab228c7e62b1bcdad8c7ad948c685ebbb01d43c","datavalue":{"value":{"entity-type":"item","numeric-id":3522071,"id":"Q3522071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$32AE9F20-FA33-4150-BA1D-0C1F3BF96EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7139abc2e75773432a7a82b05049cab804674386","datavalue":{"value":{"entity-type":"item","numeric-id":3113735,"id":"Q3113735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$F120304A-492F-4A60-BCEA-2F0E1AEFFAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$0CE3D41A-75E9-49E1-91E4-D0F05C27A8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$886C334F-4A45-4FC9-8ED6-5AFEE957D5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2148cab7bb0f0347dea7e36d9a70bbec7d7c299","datavalue":{"value":{"entity-type":"item","numeric-id":4411960,"id":"Q4411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$D88E46E9-F0DA-49FB-8BEF-7942BDABEC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$F88F36A7-371B-42D9-B4C2-9CEC3B1C30D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9773c6b9fbc8bea11d27f620d5c9b7c0cc1d78b8","datavalue":{"value":{"entity-type":"item","numeric-id":4818802,"id":"Q4818802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$13A92244-0AAE-47A4-AA62-56172D7E1D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d1bf7cc5a9af2cb77b90f9d195e725fdd71d20","datavalue":{"value":{"entity-type":"item","numeric-id":5897958,"id":"Q5897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$8C7551B5-EA04-4487-B8CE-93406D286FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4078ac8a2fc83d7832835657999873e58f06e19","datavalue":{"value":{"entity-type":"item","numeric-id":869908,"id":"Q869908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$253FBBE5-2AAC-427B-AB88-3A79FBEE8983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb9d25e90862779d1b16a7045413a0012ae81c0","datavalue":{"value":{"entity-type":"item","numeric-id":3400913,"id":"Q3400913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$F11CEAEE-38C1-45EC-AF1E-A7C71B9E338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268d2bfdf9f0e3d8518aa7be35559046e1b68b4c","datavalue":{"value":{"entity-type":"item","numeric-id":869905,"id":"Q869905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$74F65E25-61D1-4715-9B83-F0B72EDCB444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0362b99fc81fd4348a98a482db74abd2d380ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2252528,"id":"Q2252528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$8B2BE4E1-A7EF-4C62-A6BE-51C9ADA51492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$B56D0B1E-E359-42CE-92B8-6B00CAB0D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6de659bfc3ba85985bb9a7f9946c4257ba504f","datavalue":{"value":{"entity-type":"item","numeric-id":4939617,"id":"Q4939617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$E626CFF0-3C3B-436A-B2D9-6629E1A1FD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697216d772d39b30d87ed98daf38e8d8a9f55e5b","datavalue":{"value":{"entity-type":"item","numeric-id":444476,"id":"Q444476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$C0D0A4FA-C7FF-4E5B-BBD5-3489D9197F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$F65436FA-699D-4B6C-8546-C9DDB5D3409D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$38EE579A-184D-48B8-97CF-169C1E5CD863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$A9C3CABF-16BF-4DCF-A000-6DF70D86BDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab3ce518514c1eb6a24ae802e28cbbc33a403c5","datavalue":{"value":{"entity-type":"item","numeric-id":3613374,"id":"Q3613374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$25C9A3A6-58C1-4646-965F-C41726281E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$DC273609-3AE3-4DAF-8AD5-C688F4DA5C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271dbc4198f568c2ac698fc32429b195e3449c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4140769,"id":"Q4140769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444476$86BC5222-C02C-4D17-989D-B6C1F18B377D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08fcb9f072bc2f72dcfb99fd15cdc081b9fbf357","datavalue":{"value":"10.1016/J.JLAP.2011.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444476$FA90E524-896E-4251-BA01-53760A938062","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73069cd7bb4aaf76e227412c1c68a9e930d47b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2409446,"id":"Q2409446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bcc8a2cc74e1308148eb5f4ebac3c54ab2f71b","datavalue":{"value":{"amount":"+0.7978251576423645","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":"Q444476$DB91B59D-19E0-40C3-A0DE-D69F1308F02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d31053fc4e4e60687d32a1d9d6b6dc3c04da811","datavalue":{"value":{"entity-type":"item","numeric-id":4657046,"id":"Q4657046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04742759550126885a05d68ef1a170e9e72c11e0","datavalue":{"value":{"amount":"+0.7671888470649719","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":"Q444476$00CBBE7A-26CA-48E8-99AA-7A89FCAB597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea014f54513a84638b4d51392fb9efd0b5f062fc","datavalue":{"value":{"entity-type":"item","numeric-id":2922015,"id":"Q2922015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e865d96bd3808b24e6847a8b98472fa9611008","datavalue":{"value":{"amount":"+0.7669292688369751","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":"Q444476$055FA473-50B9-4389-AE06-FE96F6490622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e244f5b716ed80b5a4c3245d1648cf1a253547","datavalue":{"value":{"entity-type":"item","numeric-id":4461758,"id":"Q4461758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68a25aaee1ec89192cb254726a08b2e0880bdfd","datavalue":{"value":{"amount":"+0.762039840221405","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":"Q444476$61961B61-4283-483C-9B8B-1ED9F6043134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edf948dcb15f09299013e5b6ae74d9eef93513c","datavalue":{"value":{"entity-type":"item","numeric-id":2754197,"id":"Q2754197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8105bbb5412cad807f98fdc6cc2f94a1f7d430e","datavalue":{"value":{"amount":"+0.7530403733253479","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":"Q444476$078B444E-684F-481A-8525-0E7E047FFEC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability analysis for timed automata using max-plus algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_analysis_for_timed_automata_using_max-plus_algebra"}}}}}