{"entities":{"Q5897964":{"pageid":7998590,"ns":120,"title":"Item:Q5897964","lastrevid":41552670,"modified":"2025-05-05T19:05:32Z","type":"item","id":"Q5897964","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072047"}},"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":"Q5897964$E985FAD0-03DE-46FA-AAFD-390D3E7B72CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b2c85b6980737cd12066f706077286f4fb04bd","datavalue":{"value":{"text":"Formal Modeling and Analysis of Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897964$2DD6107E-1291-4A16-8D9B-687AA5E52FD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b003b7a24b10180c0ac8eb6e63bb4cb3f165001a","datavalue":{"value":"1175.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897964$D5853EAE-1A28-4BD2-9B2C-69080A415DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897964$1EDED575-3F61-4C68-A7A4-44A4CAF41EE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$466A2E92-D2E3-4855-A6D0-A92F5F7F5011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$835EF97D-6CCE-4920-847D-8833F552B01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$EE0B528B-AD3E-4B9B-9538-979DC4C6BFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$9C3CF42E-68B5-48C4-A7D3-C7DD6EF3EF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$12DCDBF3-2818-47E4-9068-49A3F2FFB649","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":"Q5897964$3F9FAD8C-FC27-40CE-BD68-2088A7D74B15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"834c709ac9b6f605c97f46bb2d05fd8a3e4ef397","datavalue":{"value":{"time":"+2006-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897964$54586D83-AED4-449C-BAE6-17FFB7A26AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897964$71FC6781-9697-4864-83FA-C99F584F70AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897964$CC919020-4E44-4CA6-9529-BDA5D41C1908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97c6d9debbc3f205b4edfc1b135d26e11d9d4f50","datavalue":{"value":"5072047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897964$CA199268-0D9E-44C2-9B86-8B1C75DC7155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360799538344ba4203810da318fcae46e842dd0d","datavalue":{"value":"Timed Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897964$6397BD2F-3D53-4D2A-8E0F-E9F9EE465C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcc851d0c04a7f46fc1e2f511bbe9075a2e6214","datavalue":{"value":"Timed Bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897964$7D39577B-F0EB-4DEB-B91F-75FAC6E0ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c235699715ec819ff7057898ca1070b2bcef698","datavalue":{"value":"Time Petri Nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897964$0FFF8799-8F64-4801-B299-DA6474A265F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69b01800308ef7ce110fe8bf074dfef390f74ff","datavalue":{"value":"Timed Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897964$5CA88D51-EE0A-4628-B302-95416E9AE2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49392b486c9c83adb01ff946f2bdf90fd937ec98","datavalue":{"value":"Expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897964$AC8C7C65-15B4-4B2F-B452-79D1E34BA04A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$D9C6564F-99A8-4287-8EBA-EDB779FF6D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$AE3535AF-CAF8-4290-A3FE-7B58A676EBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897964$4155F213-B144-440F-AD9E-46502F2589CD","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":"Q5897964$ACD7BF38-04CF-4794-9549-8BDE644DA1D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c8b6078bfcaf1fe964f04796d22e00c2ac7fa5","datavalue":{"value":"https://doi.org/10.1007/11603009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897964$5633C6A8-2CC1-45E4-9CEF-D6D3AF4F2EEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897964$03592872-46B0-4CCF-B446-9147BB838336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392b8c4cd3eaea600c27df50dc6c4b403619481d","datavalue":{"value":{"entity-type":"item","numeric-id":3543285,"id":"Q3543285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da24dbf407e2baf0c9a08b5b5d04f97fbf8b48fc","datavalue":{"value":{"amount":"+0.9833754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$B3A1832E-DB9F-4C89-96A7-8E44F8E5711C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f20532a53aa979c9561bb292c3c8faea3de493","datavalue":{"value":{"entity-type":"item","numeric-id":5491871,"id":"Q5491871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c58eb06f532e7b838d0c99c61588d26773ea0f","datavalue":{"value":{"amount":"+0.9371667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$277E0EDF-801D-40A8-BCF6-0C3A02616B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017d4e2685d527f9eb8e04021947486efe77c7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1944773,"id":"Q1944773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081389b420b0348d3df729dc48cfd4813dc14102","datavalue":{"value":{"amount":"+0.92126566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$206CC5B3-6619-4480-9344-FBE2BF3B923B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1180e3f7f25b77d9e3ab64f008c19e231da95a80","datavalue":{"value":{"entity-type":"item","numeric-id":3612926,"id":"Q3612926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092a8090d4c7ed4b5a414c3be974b97268edc79b","datavalue":{"value":{"amount":"+0.9192125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$2D44008F-4233-4F27-9AF0-487815782723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578d2c1610f34cd2757ae6811af4efc6a02432f8","datavalue":{"value":{"entity-type":"item","numeric-id":300337,"id":"Q300337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d324473991380a25a4bfaacc9001cbea8140f818","datavalue":{"value":{"amount":"+0.9161446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$65750414-2A63-4B51-9CC6-3A6B52645A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bced3c2e3458b84703f2c9d3fceeacbcbf55284","datavalue":{"value":{"entity-type":"item","numeric-id":3455089,"id":"Q3455089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808ffd17c447a7f80d4cb087f9e36d90be243bdf","datavalue":{"value":{"amount":"+0.910018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$D665F00B-E96B-4F81-B84A-E364D27BBAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8bd4af8175780cfafc05e13f19a4e2dccfbdfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3601860,"id":"Q3601860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac149e1b4d730123a9c1fe99328a4f6793424d6","datavalue":{"value":{"amount":"+0.9095878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$E83C5E05-290E-482A-93DA-96976662EDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b458e9b43d37bf08e508fa17b8d2bd1ac8ed64","datavalue":{"value":{"entity-type":"item","numeric-id":5404940,"id":"Q5404940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6b247d1e7de529967bcb8c2f644876265a8c5f","datavalue":{"value":{"amount":"+0.9073783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$483FD79A-FD2D-4FB5-90EC-05D9C7437C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81821d48b77203c0c2a8782a87e85a6f67f44d2","datavalue":{"value":{"entity-type":"item","numeric-id":5713513,"id":"Q5713513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ac44bb0be69708b156a4b121f200abbf64a27d","datavalue":{"value":{"amount":"+0.9069836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$99784778-C3BE-46F0-BD52-B9A4C19C45F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb490f3c2f9fdca310c1dd6b3257f6aff1fca6e","datavalue":{"value":{"entity-type":"item","numeric-id":3511224,"id":"Q3511224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe943198c041e55b615922588770c747efffd214","datavalue":{"value":{"amount":"+0.9030132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897964$C8721E2F-99BF-4706-BB9C-A88B40639F7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897964"}}}}}