{"entities":{"Q2272910":{"pageid":2283653,"ns":120,"title":"Item:Q2272910","lastrevid":71734281,"modified":"2026-04-14T00:11:59Z","type":"item","id":"Q2272910","labels":{"en":{"language":"en","value":"Symbolic quantitative robustness analysis of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105973"}},"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":"Q2272910$BF191289-783B-44A7-BADB-02BFEC908950","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c119a9924830d100287e86c31dc8bcc93f9bed8","datavalue":{"value":{"text":"Symbolic quantitative robustness analysis of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272910$DC0181BE-9239-4E68-B0C5-3F74BA5379CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4560d67949bf09f5bc01bf6993a52149dc1d38f6","datavalue":{"value":"1420.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272910$D7E45416-C762-45CA-B6A8-60208010C01D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b321d41c1ba4935f55ee3a3e12e2cba4713431cc","datavalue":{"value":"10.1007/978-3-662-46681-0_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272910$2155E7FD-86EF-4C28-884A-692E5BDC4DE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272910$A8C77B66-5268-4652-B8B5-F52858862279","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272910$93528724-A206-4012-A582-81C0E8A2D237","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272910$D37AF7B6-8971-47C8-B2AA-55A0C087E2BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35d76aac20320bdbc8d4d4351ebd928e728dda34","datavalue":{"value":"7105973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272910$7C635778-3A4F-4C29-B451-6174A2EE1BE1","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":"Q2272910$FC2308FE-3D1D-4815-A981-D5A229A0BFD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b5ee0f4355a69e4c258304a6193ba3111b83997","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272910$C264EB95-C899-48F8-AE27-C64E1826E143","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"993f0f6f9ad9582a4b5e76334dd670e6c45f4f03","datavalue":{"value":"W1561807072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272910$C376C92F-DE25-4038-A17B-48DF81D04303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb1e1b670ca20ab7224463d49cda43783f77689","datavalue":{"value":{"entity-type":"item","numeric-id":3511231,"id":"Q3511231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a167c4984e412e51d4c67cc632c2e4a6b8ac0adc","datavalue":{"value":{"amount":"+0.8795880675315857","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":"Q2272910$28DFFF28-675D-4286-8969-4D839C93C0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2472f72196552c560335fda0620b0f378bda33ef","datavalue":{"value":{"entity-type":"item","numeric-id":1028728,"id":"Q1028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6c2a8a90be5a15a5be4a4a902fa4ab71546b8f","datavalue":{"value":{"amount":"+0.8610831499099731","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":"Q2272910$9562F87B-3EE6-41C8-9CE2-8FC31A96B168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd526a19e7ecf7d337bba0084e7ea5160efb67f","datavalue":{"value":{"entity-type":"item","numeric-id":3000612,"id":"Q3000612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b182f977be4924a77254dad958442aaf6cb89f","datavalue":{"value":{"amount":"+0.8509460687637329","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":"Q2272910$9825A807-F08E-4B66-99D8-81AAE017292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d14c328ab68aece3efe75ef8b88b083de10f51","datavalue":{"value":{"entity-type":"item","numeric-id":5168510,"id":"Q5168510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ea44539b0cabb4132782b86c2c16deeb550c42","datavalue":{"value":{"amount":"+0.8319389820098877","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":"Q2272910$2805DAFA-4304-4158-9376-A893E096A4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc822218a3e9027eed4861b7f9b387cd3574e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3172846,"id":"Q3172846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a156d182a5037fcd10f7c23225d01ae479b7c81","datavalue":{"value":{"amount":"+0.809497594833374","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":"Q2272910$31BBF603-53CB-462C-9523-35CBB3FB1B62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic quantitative robustness analysis of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_quantitative_robustness_analysis_of_timed_automata"}}}}}