{"entities":{"Q5897963":{"pageid":7998586,"ns":120,"title":"Item:Q5897963","lastrevid":49966603,"modified":"2026-01-12T08:27:52Z","type":"item","id":"Q5897963","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072046"}},"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":"Q5897963$3890DA71-3F47-4657-92E8-2A39AE138F7D","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":"Q5897963$E5F99D32-896B-4C93-AB2C-EFA2C973F6D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ee6d77cc8138b14f2a037dd09d85d24d8a4e16a","datavalue":{"value":"1175.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897963$EFE31007-D135-431A-80CF-3B95B5770C04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897963$45008DC3-2BA4-49ED-B3C8-941D2C976656","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3f140ad501af9a971ae94e56963f322567411","datavalue":{"value":{"entity-type":"item","numeric-id":453541,"id":"Q453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897963$31D08DE3-4F7B-47CB-AF1E-40324E1A655D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f6d4e3ff7a13e54a54a40f8cfa4f07e93586982","datavalue":{"value":{"entity-type":"item","numeric-id":673005,"id":"Q673005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897963$065E913A-DC8B-49D5-8387-61AB57F5F36F","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":"Q5897963$9A74219B-0C44-4757-AC41-0A2C631634F3","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":"Q5897963$A2D5AB06-E5E6-4481-A0F0-A4E914E4B36F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897963$573B9EDC-642B-4939-9E6B-BF34C1BC2339","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2087335b39edd598d572bc1aa76d4367a4ba4fb","datavalue":{"value":"5072046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897963$550C62F0-A7DB-42C3-B779-BE2B8BCD3D8E","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":"Q5897963$60A0AA46-3561-49F1-9D9D-D7A3B1B65700","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":"Q5897963$AAB71D33-54F5-46B9-B527-BB45413DF259","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897963$7B3ADD33-0A33-4765-B84A-706FF8AD3BA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743873bace8268fa2909788f1014c3cf5d5821e","datavalue":{"value":{"entity-type":"item","numeric-id":5464479,"id":"Q5464479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bd9c98b1cef380b189125b1586924632a8f83d","datavalue":{"value":{"amount":"+0.795793890953064","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":"Q5897963$77AABB4D-9C2E-4ABE-A41E-51C372F38284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e66e24be4560b5a6f5a9d867988d7bed9b807","datavalue":{"value":{"entity-type":"item","numeric-id":3618702,"id":"Q3618702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6b381f245ac58cc9f2c4ff60903ad69397b6de","datavalue":{"value":{"amount":"+0.7868325114250183","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":"Q5897963$F56ED847-5F14-45C7-A957-5CCD0508E331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba2ce00b61133a98101ca20a5fea46f0639eced","datavalue":{"value":{"entity-type":"item","numeric-id":2248088,"id":"Q2248088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab917b284f2525f0ccd573f37d8f6786152b1ae","datavalue":{"value":{"amount":"+0.7636350989341736","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":"Q5897963$C555A002-32A5-46E2-952F-3311E0A6B586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d8d67b1ae796dcf7e8499014df0471921d512a","datavalue":{"value":{"entity-type":"item","numeric-id":4931299,"id":"Q4931299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d243b2e8a0bf51d67933407c95ae7df43fc6917","datavalue":{"value":{"amount":"+0.7531489133834839","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":"Q5897963$CCB761C6-8481-471E-A9E8-1AA3A8DD25B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fe99a1e450c5cc5d441a8a8b559566f72bf946","datavalue":{"value":{"entity-type":"item","numeric-id":4270060,"id":"Q4270060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d06bc35c0aef7e943252bc4c4edc249b9c2f4d","datavalue":{"value":{"amount":"+0.7529276609420776","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":"Q5897963$4A7EA886-3806-49B9-9518-6B7DB92A2A59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897963"}}}}}