{"entities":{"Q3584959":{"pageid":5614863,"ns":120,"title":"Item:Q3584959","lastrevid":90331403,"modified":"2026-06-04T19:54:01Z","type":"item","id":"Q3584959","labels":{"en":{"language":"en","value":"Symbolic and compositional reachability for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776490"}},"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":"Q3584959$2AA225A4-94F6-4989-811E-BEBADBAD3BEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5dc4670879e265c63eacb64f96e6ac51e331595","datavalue":{"value":{"text":"Symbolic and Compositional Reachability for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584959$F8457293-8661-4255-BEFA-1E73C787F7F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9569d47849e359a6ee062c766775e61b8e087279","datavalue":{"value":"1285.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584959$F884E6FD-4459-4F48-9331-6BEBBF7C0584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c699c0871629c91b630b3845f04d1fd69f3a140","datavalue":{"value":"10.1007/978-3-642-15349-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584959$3A6A06A0-F086-477E-BB57-1F45D15C09B1","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":"Q3584959$ABD2E888-9CF3-4440-B272-0DF189176D7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584959$F219F4FF-2BF9-434D-BDE7-DFDA9579C12D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584959$5386007D-5D98-45AA-AF60-9A951B52BB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584959$8DC8C83B-F657-407A-AA9F-79BFE1F9C052","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bba3c795a8fddc02707350df9923b7390c9bad30","datavalue":{"value":"5776490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584959$0625DF98-CEA8-4374-924B-BE0BC31D9255","rank":"normal"}],"P16":[{"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":"Q3584959$51ECEC9C-7663-4B30-AA8E-D962952E99C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584959$4E9E22FB-F7A3-4C79-AA2A-E51AC829B35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa6c3bd74034254be2e2ee3e7bc53e619543e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":37398,"id":"Q37398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584959$A4C3F925-16F0-4114-B23E-4C0F89C65A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584959$4F0CD21B-7538-40CC-9BAF-DA1E5E90191F","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":"Q3584959$135BE969-4F67-41EF-9D2F-6C3170084616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e0106870eb2fae136ac4adc1d08e5a681ad563d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15349-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584959$A5E2AE83-3C9A-4B80-B1FE-25ACC6C74DA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"545a4de88fac28aa21ed05b414f7c23b98c97af2","datavalue":{"value":"W1647694692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584959$A7A6CD3B-E1F7-44C7-A5B6-CF95FF402297","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001dc6cd15a1c008b5c769c788cb4bfaaead2353","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efa67c1e422fd6e6a537ed6f4a5a199d4f6b4a5","datavalue":{"value":{"amount":"+0.8395148515701294","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":"Q3584959$AF50D8DB-99EE-4B69-9C88-D8A646B19C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70300925deee11814ec9a0e319950712d8339922","datavalue":{"value":{"entity-type":"item","numeric-id":1941900,"id":"Q1941900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efa67c1e422fd6e6a537ed6f4a5a199d4f6b4a5","datavalue":{"value":{"amount":"+0.8395148515701294","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":"Q3584959$DA64069D-5463-4716-A47A-4904895DEBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0c1794b27291b748f37e61c7f961c633fa6d81","datavalue":{"value":{"amount":"+0.8173168897628784","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":"Q3584959$35A2B7A1-4A34-4360-94AD-47C4C2CC8DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36726bb17722ae0ed9143a9af4e90090ad657daf","datavalue":{"value":{"amount":"+0.8150026202201843","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":"Q3584959$975E083B-C29C-43C0-B05E-26F777B79EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e87a16708062de82ff6605bfe3c6beb6f7c82ed","datavalue":{"value":{"amount":"+0.8111310005187988","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":"Q3584959$87A49319-2362-4ACD-94B2-D165143C0D41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic and compositional reachability for timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_and_compositional_reachability_for_timed_automata"}}}}}