{"entities":{"Q3614852":{"pageid":5644758,"ns":120,"title":"Item:Q3614852","lastrevid":50600765,"modified":"2026-01-14T12:58:08Z","type":"item","id":"Q3614852","labels":{"en":{"language":"en","value":"Improvements for the Symbolic Verification of Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527101"}},"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":"Q3614852$E60A0563-AFA9-44EA-9823-FAC2BC6408CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"354738d2969c4e78623d53b9baf3c75be3e51284","datavalue":{"value":{"text":"Improvements for the Symbolic Verification of Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614852$9203FB0B-5210-46EA-862F-B3E82BBFAE5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce87ce65f435045f4da293d7e5e87799e62bbc64","datavalue":{"value":"1215.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614852$8CFDD2F5-B938-4820-8147-B49C74DBC7EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"133db25c5b2ab0d805a0c9658061bb25a845d180","datavalue":{"value":"10.1007/978-3-540-73196-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614852$BC0CC8FB-EB73-454B-A4AC-BFFA34BB5FC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7314272227843d340a922f78f9b655c088ebff97","datavalue":{"value":{"entity-type":"item","numeric-id":3021170,"id":"Q3021170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$A2BB3A24-BE27-4048-9E3A-20BDC7A7647D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1310a7522ae15ea77c4f1edac90b85b7fc7b49a4","datavalue":{"value":{"entity-type":"item","numeric-id":920978,"id":"Q920978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$FA288F38-F530-42CB-BEDE-636DA96A07B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b93129c37a931d7be6329ce7bd78c7b96eec94","datavalue":{"value":{"entity-type":"item","numeric-id":399558,"id":"Q399558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$BFCAF411-59DD-489B-8DF7-972540B3DB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6bad6abbd400cfa0463a1d82481e26641748691","datavalue":{"value":{"entity-type":"item","numeric-id":3614851,"id":"Q3614851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$AA902E92-879E-42FA-9547-8827A10F0D1B","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":"Q3614852$8D65167C-694B-4FCC-8060-83F0EF564251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3614852$1164E665-8AC8-4384-A4E6-D16AE1DC1487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614852$74ED3A8B-DC9E-4759-9B18-F293C4F07D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614852$6E3B5905-54F1-4053-ADE3-79C36CDD0B81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e64fa4dba0a8d4707068322e230de5328d146b9","datavalue":{"value":"5527101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614852$887CDC6C-6520-4B08-A287-A4F23F606F19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614852$F0FDF359-456E-41A1-B0FF-DF3DF469C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f76633f75ad992c87ec1fbb73343152ad2f79e","datavalue":{"value":"timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614852$D872C575-9910-4BE2-9DAB-E20FAEC4E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e2d1dddcf398edb93f5e6bde3597daa1d9e5a2","datavalue":{"value":"symbolic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614852$A42F55DE-1066-4AA8-B5FD-454515EE0068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614852$15BBEF8F-B9E3-4512-A2E9-BE783BA88269","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$C78E4B5D-2ECF-4A81-80C0-0525313B5DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$9ACC75C9-CDD1-4A0D-B491-79636395AEEB","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":"Q3614852$11A7E620-407D-45B5-A7B7-38DD7E6CD419","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":"Q3614852$F8F35DCB-069E-47B1-A2E8-4F2073345C03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24cd5d67150c16ed610d91baf2204a0c428e9b49","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73196-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614852$F5650E00-877E-4910-89D8-4221A4E911AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"042717380d6149dfe241f0bb5eebad8d2af47bc6","datavalue":{"value":"W1873868385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614852$627319BA-12D8-4E92-A71B-3A4A72F1F43D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$193A45A3-346F-4E75-8860-112C20625EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$3C5B4757-5FAC-4049-ACB6-25A9FD5C2871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9773c6b9fbc8bea11d27f620d5c9b7c0cc1d78b8","datavalue":{"value":{"entity-type":"item","numeric-id":4818802,"id":"Q4818802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$8BB78B48-EC7D-4449-904C-104AC8A4B026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$8B7723E8-72D9-4BD7-A6CE-602FF5914711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c46a80ce044fc1f0b44470b9445d955de57df4d","datavalue":{"value":{"entity-type":"item","numeric-id":2763979,"id":"Q2763979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$EC62C4E7-18BB-4205-B0CA-4F7598DABB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8540526587ba9ab44ff377f08358a333a676da5","datavalue":{"value":{"entity-type":"item","numeric-id":5900954,"id":"Q5900954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$EB0CFE95-57C1-4668-A592-E11FF8A1A879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$66B93769-1819-49E5-8A50-C9C4C329CB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60252cabfde8e6408e8ce460012d0830ce7daca","datavalue":{"value":{"entity-type":"item","numeric-id":5953452,"id":"Q5953452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$7DFBC7D9-4F08-4B64-8AB0-F6511AC08DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$9804688B-66D3-48F5-8A28-96FA8DA19F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed64ed6b1fa44d6ffcd441138b7dedb22311b67","datavalue":{"value":{"entity-type":"item","numeric-id":4414389,"id":"Q4414389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$DFBB5F78-243D-4710-B7AC-372229608E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8d233cc551b4cb191cf2031bfc1bd33931268e","datavalue":{"value":{"entity-type":"item","numeric-id":5395106,"id":"Q5395106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614852$13851A89-087B-49F1-BA82-09B12CDE4AA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb257a9feb38362051856dc493122ad2b8f68bba","datavalue":{"value":{"entity-type":"item","numeric-id":2763979,"id":"Q2763979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e809b558aa00e7c74bc04ee171b019f1bd528aae","datavalue":{"value":{"amount":"+0.8154884576797485","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":"Q3614852$C42FB0D2-B285-4591-8ECA-B41EB63691B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd691951a15260430e2afb9101ed58f05c7e423","datavalue":{"value":{"entity-type":"item","numeric-id":4787215,"id":"Q4787215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f9427e2b7e2ab2faaa44564866fa5da2fa85f7","datavalue":{"value":{"amount":"+0.8074660301208496","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":"Q3614852$2EE56D4E-CB71-492D-AA7F-16F236F2AAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca8be76d3c069a93a865cbc7e0454da5700aae4","datavalue":{"value":{"entity-type":"item","numeric-id":4255572,"id":"Q4255572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf2810a67c7f13cba9153c03f6b3b0913d1b1e9","datavalue":{"value":{"amount":"+0.7866926193237305","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":"Q3614852$5F339698-9810-4A83-B551-B58BEBE5232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e71129dc6a8c9ae366192aeda7c835f7ff18f8","datavalue":{"value":{"entity-type":"item","numeric-id":4647854,"id":"Q4647854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3546ff4ccf0e193eed0295a836d2fd8f4e21a4ba","datavalue":{"value":{"amount":"+0.7849699258804321","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":"Q3614852$A638AB5D-74EE-4194-94E5-A0A0E0977871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c2e6e8bbe18a6a133e2a13ad1a018690639b55","datavalue":{"value":{"amount":"+0.7838042378425598","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":"Q3614852$9CC90533-04A4-46D7-888B-76089245E57D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614852"}}}}}