{"entities":{"Q3510848":{"pageid":5540752,"ns":120,"title":"Item:Q3510848","lastrevid":50400194,"modified":"2026-01-13T23:35:06Z","type":"item","id":"Q3510848","labels":{"en":{"language":"en","value":"Symbolic Reachability Analysis of Lazy Linear Hybrid Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297081"}},"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":"Q3510848$2E5F7E7F-7AB0-4073-9F05-9DF17132F6CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3ea180988c6a196054f878ae87dab36ae87b9d5","datavalue":{"value":{"text":"Symbolic Reachability Analysis of Lazy Linear Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510848$787391A1-44A5-4130-8F19-9C96D593CC4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4cc8a32ead4ca69a550429e98ddfe373c3890f6","datavalue":{"value":"1141.93352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510848$16FF801F-A605-4836-964B-EBC0EE791B96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c379f95b18c52271901079831b9ad55afcc913","datavalue":{"value":"10.1007/978-3-540-75454-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510848$C1CD58A5-AE35-471D-B655-B7944CE08593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a296810d98592f06eddf0cf2517e61afc7ea79d8","datavalue":{"value":{"entity-type":"item","numeric-id":682354,"id":"Q682354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510848$47C81223-0335-42EA-83C0-F879B25AF354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a96a4a82f8fdc1c02239fa7e8a578b0c486015","datavalue":{"value":{"entity-type":"item","numeric-id":3510847,"id":"Q3510847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510848$40DD49C3-2BA2-4F8B-8B85-7A326593066C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510848$F312333D-6194-4C51-B165-49F31A5711D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510848$098F448F-4ABB-47EE-9A9A-EAEC058527C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510848$6D957E72-E7D9-4FE2-B0D0-5F97D1C45D17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510848$C7D55961-F319-4FF6-9136-AD761DDF45C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510848$5DC6DC5F-BD6D-4E07-A899-BF1D8237689C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"334401262f2fb7d25cca46588d5cfcee30408f9d","datavalue":{"value":"5297081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510848$2B2472B5-3E3E-4279-8147-A5B0FFA28BB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510848$339532FC-390C-4291-A7E8-89FCD8710BD7","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":"Q3510848$9BE9D299-669D-477B-B237-4B17B98E76DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"359208b4e3404d0f81551b1c0d3508664e368ce5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75454-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510848$23DED154-75DE-4C96-BE03-2B8C11045A27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c3aa192387b44fcc0d3ec9183051d19fd538b85","datavalue":{"value":"W2165214723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510848$CBB27803-C4B4-4381-8DB4-33E195802646","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4614a9dcd717ef3baf964e1d7eec90a3843e01","datavalue":{"value":{"entity-type":"item","numeric-id":3612979,"id":"Q3612979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e0580864782dcdb13d782a2a61145f39f13ef8","datavalue":{"value":{"amount":"+0.7831645607948303","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":"Q3510848$1D82FD7C-4C56-4B91-AB55-03F7B388123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14ad7c2b436480479f01d829aea05fd0672aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacdf3db2df621e5827a1cb0f2cf573a256cb5f8","datavalue":{"value":{"amount":"+0.7789997458457947","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":"Q3510848$89CB8BE4-FD7A-4F83-80D5-DA346FBF4148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01d3f0e48f53861af77aa474464517c36d811f2","datavalue":{"value":{"amount":"+0.7703812718391418","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":"Q3510848$7571B5D6-B7D9-4B3E-86B1-87958997E72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f2cb779e50d13cea7655b85aa0ff9190ba9c77","datavalue":{"value":{"entity-type":"item","numeric-id":479819,"id":"Q479819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46df0a5c0815da6eac31f86e25a507725382211c","datavalue":{"value":{"amount":"+0.7673937678337097","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":"Q3510848$FD734C41-8D30-4695-BC49-4BDE9295CC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf0fe12fc0434ae3384afaf68b5865440bc12b2","datavalue":{"value":{"entity-type":"item","numeric-id":2864385,"id":"Q2864385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520150d0c568fba7d2e69601b26f23086ceb02c5","datavalue":{"value":{"amount":"+0.7659585475921631","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":"Q3510848$D2CC88A4-C55E-4608-A817-8A3B99A9D7DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510848"}}}}}