{"entities":{"Q3511231":{"pageid":5541135,"ns":120,"title":"Item:Q3511231","lastrevid":50401568,"modified":"2026-01-13T23:38:03Z","type":"item","id":"Q3511231","labels":{"en":{"language":"en","value":"Symbolic Robustness Analysis of Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299128"}},"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":"Q3511231$2238B691-2D88-4B57-94A5-349F5D81BFF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a91ff0e1d312ee43e0f8ce41b30c65b96e306526","datavalue":{"value":{"text":"Symbolic Robustness Analysis of Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511231$65E53FA7-0A0B-4841-BD6D-3B776BD3D5AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3caac7f8171612429a2c44426491c3cbf59815fc","datavalue":{"value":"1141.68429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511231$96E7B46E-6122-4764-B951-888B341AD5CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4676affd4448fe5572b05e086750c7204c89b604","datavalue":{"value":"10.1007/11867340_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511231$6A2DEABE-2826-406E-90B6-EAED213B8A8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d157424b3ab4e03b49b5a783ab5d5b597d1f13e","datavalue":{"value":{"entity-type":"item","numeric-id":3511229,"id":"Q3511229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511231$67E26CC8-98FE-438B-8383-0543477CFDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d32e62c23529e99065931dda06ea32f6cd742bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3511230,"id":"Q3511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511231$1EAC902E-DE93-43F2-861B-E7C34BEDEC20","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":"Q3511231$ADB0245B-44B3-4295-8792-CDE8A482994F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511231$CA7E1549-B429-4B7F-BEEF-7DD511352B68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511231$AA419624-8022-493F-8D07-07B062E871F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1bd9f40ad0ef79ebe01cc5170e23e5347d6024d","datavalue":{"value":"5299128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511231$76F832FE-A1DE-4722-A9D6-F9E6E5CEDFBA","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":"Q3511231$8EDA4905-AE21-4E19-88BB-37F88D8DEBCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04757aa72f3ad9fa5ce0a5bb5e248819c9c793e9","datavalue":{"value":"https://doi.org/10.1007/11867340_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511231$F16CED1F-4381-48E6-8B74-AE58525E681E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"198711cd86195cb06617bee1c0eff7f339fc6843","datavalue":{"value":"W2132676597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511231$2AC2D9E9-E469-4032-82BC-C2FC6D437F04","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":"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":"Q3511231$D7455ADC-B7B9-4F5C-BA89-3418E962871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a483e25692b2ec8ea5448b2fee9885e5397405","datavalue":{"value":{"entity-type":"item","numeric-id":5275328,"id":"Q5275328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b690e5b4ebe6742fd354028205ca1d0d3637ec","datavalue":{"value":{"amount":"+0.8495913743972778","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":"Q3511231$92A0EEEA-40D3-4AAE-91A2-19A0958F0821","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":"05bf53bb514cbeadb136124d7a2904cf0e5ba438","datavalue":{"value":{"amount":"+0.8376306295394897","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":"Q3511231$8C804386-E724-4333-99C3-1613C2C52B28","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":"cd8e7e13ef3024ca6b8466e78b74a3aca72ebe66","datavalue":{"value":{"amount":"+0.8192200064659119","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":"Q3511231$ECAE7BD5-6A48-409E-803C-47B0131C0245","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":"8e45628dd5d02e15aa3d8ae389e065381b714007","datavalue":{"value":{"amount":"+0.7949841618537903","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":"Q3511231$3424743B-2832-4BEE-B583-1C30A4194F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511231"}}}}}