{"entities":{"Q3510844":{"pageid":5540748,"ns":120,"title":"Item:Q3510844","lastrevid":50400188,"modified":"2026-01-13T23:35:05Z","type":"item","id":"Q3510844","labels":{"en":{"language":"en","value":"Efficient Detection of Zeno Runs in Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297078"}},"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":"Q3510844$AD7AA3CC-7736-4233-9E76-5EE6FEB1A625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eff15b2c43d6441e59dff152023aca73da59b50","datavalue":{"value":{"text":"Efficient Detection of Zeno Runs in Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510844$4E3C34A5-CBA5-4123-9B9E-CA0CBBD72C4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c952dc01eea9be7d192113da9b3221b7c28d5ed1","datavalue":{"value":"1141.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510844$CDE84713-71C5-45B3-9E30-56F1581CFA9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f26b3393a94048eac1c74edde87ca1a41279c384","datavalue":{"value":"10.1007/978-3-540-75454-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510844$F2D313A9-F741-4150-AD54-DFA4A3F716ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97a61763a37e8959833ac600888f5506e81c1b4d","datavalue":{"value":{"entity-type":"item","numeric-id":736842,"id":"Q736842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510844$1690B7AD-B9D7-4338-8111-5BFCAAC05C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48632cb946b309fd3abb1fcdf63d4308e9e5bd3d","datavalue":{"value":{"entity-type":"item","numeric-id":736843,"id":"Q736843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510844$CE72A63F-5061-4F0E-BB26-6EE73EB89856","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":"Q3510844$03FA2A62-78C9-45E7-9488-5B1700AEB9D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510844$C531D045-0B8A-4C7F-B52D-E2E1926F240A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fef25e4811f2f8042808b435f26a042975dbdbcf","datavalue":{"value":"https://kar.kent.ac.uk/14538/1/GomezBowman_FORMATS07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510844$70127DEA-69ED-4FD0-BE24-54CCDF7B1042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510844$B2ED358C-FAB1-4C88-A44A-252299204E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510844$80589A85-E18A-4E16-B63A-5D650F009E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37d354c8bd3f533b1bb6eed84610fa075410023a","datavalue":{"value":"5297078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510844$14D39FEE-6A99-410F-A40C-D42E4E58FED1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d04f9f9b9fdf1985d76667bde05e8d2b16b6c7","datavalue":{"value":"Zeno Runs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510844$C3E01C66-89F5-4D56-946B-0BB23B66F895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69b01800308ef7ce110fe8bf074dfef390f74ff","datavalue":{"value":"Timed Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510844$B77920C2-F81A-417B-A16C-A2CA982DD521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510844$7879DC79-C594-4154-AEF1-4C82D28DE4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ed48111d574f54b8d2bf5f207bca7987bb3929","datavalue":{"value":"Uppaal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510844$762CCD49-C69B-405C-ACB4-004849009474","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":"Q3510844$F0415E6D-EC92-4488-AE5A-FB73555993D8","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":"Q3510844$8B07FA8A-BF8F-4633-A41C-027B0A21C4F5","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":"Q3510844$432671A7-2BB4-4A10-91A1-2E6D3BE5CB4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84a77d39eb461ea721e47a8d3908cc7297fbc188","datavalue":{"value":"W1603296878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510844$3CC79112-5B34-40F5-BD6C-869FE6F0271F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a170975d6532548c3e7f6c048cca75ddb42df254","datavalue":{"value":{"entity-type":"item","numeric-id":3090824,"id":"Q3090824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fe881638d74c8843e49cd104f5baa0c350efc4","datavalue":{"value":{"amount":"+0.8785943984985352","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":"Q3510844$799A4215-1060-4920-9EEC-96528908C119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1056e1e32cef5bd069021eed125b38cd28246c49","datavalue":{"value":{"entity-type":"item","numeric-id":4913769,"id":"Q4913769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eed77137f5011d3a5404a35ead3bbdfefab2416","datavalue":{"value":{"amount":"+0.878594160079956","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":"Q3510844$CF7C2FAD-B6F9-4216-A7DE-157429A923F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee5c015f97247526b6ff4b5564ac3662377da10","datavalue":{"value":{"entity-type":"item","numeric-id":4649399,"id":"Q4649399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774f02764e17a2815a19cfd7ecdf5a71f4c7954c","datavalue":{"value":{"amount":"+0.8659675717353821","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":"Q3510844$9215D300-EDCB-4E80-B0AC-DB2E834107C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f12ebe22f80b9bf1ee6a1e2082925ac10012cd","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afec8813810ccc5547c9891ac2c77d9f2d34a71","datavalue":{"value":{"amount":"+0.8314620852470398","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":"Q3510844$7CFFAC5D-2BA9-4048-A5CA-E0A4343D4EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ffbf24666ffbf4ad7b0ecad418532d312c8a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2851073,"id":"Q2851073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cec8a6e09c47d5fdfc98340add6add45b4fb758","datavalue":{"value":{"amount":"+0.8045126795768738","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":"Q3510844$F19909AF-D407-429C-B600-EDA80DADB22E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510844"}}}}}