{"entities":{"Q3000612":{"pageid":3011336,"ns":120,"title":"Item:Q3000612","lastrevid":85367837,"modified":"2026-06-03T07:25:19Z","type":"item","id":"Q3000612","labels":{"en":{"language":"en","value":"Quantitative robustness analysis of flat timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897373"}},"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":"Q3000612$2CF646C1-C209-45E4-A26A-455EFF0496B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28cc7e4b024971ff8977b8ffcc4f5d94d0d75e27","datavalue":{"value":{"text":"Quantitative Robustness Analysis of Flat Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000612$A92DF9AA-45DB-4248-8D1E-C8B4664B816C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c3dc4b1b67dedef1368e14e41f68b1f07793b4f","datavalue":{"value":"1326.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000612$4B0278E4-D779-42C1-9C64-A64812416568","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26776166b9cfd2395eed1635efd5282a56010842","datavalue":{"value":"10.1007/978-3-642-19805-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000612$B0AB2212-7028-487D-8541-8B9FB322DA73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b95a5fe66df4ecc96448f828a960092193a2dc45","datavalue":{"value":{"entity-type":"item","numeric-id":3000611,"id":"Q3000611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000612$ED164D29-B42B-4697-B999-37E7D92FDD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d9dbabf0a46d5abc1b2de661610d71f11ba29b","datavalue":{"value":{"entity-type":"item","numeric-id":1622949,"id":"Q1622949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000612$5C20E896-6702-4B56-A060-8CE250AD0301","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000612$20E7D83A-A7E2-4FF4-8A67-6A7548FDB2F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000612$6F060391-A373-4475-9223-63E1B0E4D695","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000612$FD1A86FB-B308-4720-9F0A-569C398563E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000612$D4AA0787-BAB6-46BF-89DD-86898FA641CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f23f0980d03f237897a16ed8d23ead73ca4fb2ed","datavalue":{"value":"5897373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000612$535A2610-866E-45FC-93FE-2006566BD643","rank":"normal"}],"P1463":[{"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":"Q3000612$F68CE725-CD64-4DF2-B653-13A53BE783A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000612$6F617BED-00C4-4D8C-8FA6-6224E87047C4","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":"Q3000612$DDF891C0-4B49-47C1-8CD2-F3B7DAF35808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e6c911a952f0d63671651b9288930ae840ab400","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000612$EB3EFF6B-6DFA-4B86-AA1B-91CDFC129D60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afe9a74be58535ea925abc4025d392cc2a6a481c","datavalue":{"value":"W1601091540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000612$615788C3-9C32-4549-BEC8-83B63F63E95E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3215feaa03b3ad25c59c50e216bb2b1b01eaac4","datavalue":{"value":{"entity-type":"item","numeric-id":2272910,"id":"Q2272910"},"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":"Q3000612$5CB981A8-6727-4604-A45D-025A4DAA36FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d5da9ed25eddfe35548c942bf3395cadfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7edc049340f9aaaf11583dd833817fd846c0310","datavalue":{"value":{"amount":"+0.8215541243553162","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":"Q3000612$7F46B3E9-F181-43EF-A5E8-A058881115BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f528bdefebc36fb17111a3310e0871a42b9613","datavalue":{"value":{"entity-type":"item","numeric-id":5458357,"id":"Q5458357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9236c00bc449adb0fbcd31806e66edcf3be3553","datavalue":{"value":{"amount":"+0.8108428120613098","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":"Q3000612$0435DD89-1874-40B8-85D5-B13E06131906","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":"6e5802aa2f07025ec1770b042b9fdd1afba06c31","datavalue":{"value":{"amount":"+0.8025736808776855","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":"Q3000612$948E4F94-1C52-43FC-86FE-CD31BF06E899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b3de4c8f25fb5fa76a90e63f05e78ab8d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d9bf690855840a93025d77c26a60ce0c39be2f","datavalue":{"value":{"amount":"+0.7944127321243286","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":"Q3000612$3D35CD8B-3AE6-44C7-9CFC-C0586CECA89A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative robustness analysis of flat timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_robustness_analysis_of_flat_timed_automata"}}}}}