{"entities":{"Q2576589":{"pageid":2587332,"ns":120,"title":"Item:Q2576589","lastrevid":48612049,"modified":"2026-01-05T09:30:01Z","type":"item","id":"Q2576589","labels":{"en":{"language":"en","value":"Almost ASAP semantics: from timed models to timed implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238128"}},"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":"Q2576589$973C5F4B-77F4-4C66-B980-6DB1DAEB5741","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d756e0f6764a5e29f58870c2f7eabb84edcc57bd","datavalue":{"value":{"text":"Almost ASAP semantics: from timed models to timed implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576589$163C10FF-4064-4AAE-99CA-C35C2C49C36C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b49ded41bffeb3eb9679806c124a1afeba9b46ac","datavalue":{"value":"1101.68670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576589$AF898077-ADE0-4574-9103-64181A1AA58F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b25b732b7b492db515136b3ad5294eee86a947a7","datavalue":{"value":{"entity-type":"item","numeric-id":1028727,"id":"Q1028727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576589$0E0B96DF-25D7-4F72-8AB0-5E3D74C926B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576589$15C8F308-0657-4B73-856A-1940C489C2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576589$0099E885-6087-4E4E-AD7C-8C3FD03B9D21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576589$EFBFBBC9-67F4-47C0-92D6-B15960F7AA27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872b3ec3e8824551f65a9a9d299f4b9d6894a9ac","datavalue":{"value":{"time":"+2005-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576589$F365FDC2-284B-4D83-B462-2BA9276A38B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576589$2E9C972E-1FDA-4BE4-BDB1-51ABB4097894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec3cb7d374ed83bd0dca6348ce879fc070fd2ebd","datavalue":{"value":"2238128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576589$3C4C1A08-354C-4F7A-A492-51DB38007C31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b4ffbf761a0fc756a72a48dd398f5daf05764b","datavalue":{"value":"Timed and Hybrid Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576589$6F4D567A-2773-4E12-A9EE-FF9C0BC8742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576589$E7D138EF-D270-4C43-B231-909F7EF8E1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d4097f8fa5c6b9b91e1256d5f753934db41e26f","datavalue":{"value":"Implementability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576589$E8E7964B-BADD-40F5-B728-65BD63A6418C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576589$BDE0F738-081A-4A4A-943D-28033528632E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576589$C59EA642-9B92-4F0F-AC7F-3A0B6B5C2D59","rank":"normal"},{"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":"Q2576589$410A8FC4-CD68-4A38-A10A-1EF939C2D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576589$F39872DC-8209-420C-95AD-854D5FB41F64","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":"Q2576589$EEDA3F12-226B-4A28-8EDC-1B8D2B59061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576589$33AB861E-1CC7-43D1-9959-164F8E00999C","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":"Q2576589$09BB8D09-B723-4288-90E0-A8F9C741B38B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"397212f1d4c4e25b9afb57e94a4e63b22dd67a11","datavalue":{"value":"https://doi.org/10.1007/s00165-005-0067-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576589$3A8B3F35-8A88-4DFB-B030-69FA225A14C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b321fbf8d3335be1523f6c339c25fec1a9a35bb5","datavalue":{"value":"W1992626344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576589$3B50CAF8-9267-48AA-9913-8DECE2F3EFC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57d51d66e933643de7fea7d4b8c74f1859197902","datavalue":{"value":"10.1007/S00165-005-0067-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576589$2020CB66-AE7A-4075-9F8C-95D05A06CFD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bd6c9badcd61be54f59705518bdbef65fed3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5307930,"id":"Q5307930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed385b64de461eae648af62ebcbef661ab9193c","datavalue":{"value":{"amount":"+0.9974902272224426","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":"Q2576589$92A08961-A4DA-498E-B41D-1CD8012EE071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01f06786462e40d8913fe48805ae4e0f4bc459e","datavalue":{"value":{"entity-type":"item","numeric-id":5716871,"id":"Q5716871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e799fcc32d0813f3eac2ff3b0fd4b8783a1dfbab","datavalue":{"value":{"amount":"+0.8577055931091309","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":"Q2576589$55D80CC9-9DAD-4541-A209-0CAE8A357BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b3de4c8f25fb5fa76a90e63f05e78ab8d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39445f9532b4d403ea485729902ee192e15ad38","datavalue":{"value":{"amount":"+0.8181352019309998","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":"Q2576589$9F04CF30-8DDB-4710-B48F-15844866D0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efb2d79c95d561d2c0fb3c26ea62d2b27ca9f31","datavalue":{"value":{"entity-type":"item","numeric-id":3126162,"id":"Q3126162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b89b23811132430d5e774c39babd0e0dde1c26a","datavalue":{"value":{"amount":"+0.7466587424278259","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":"Q2576589$8C8FD8A4-FB41-42E4-9CF8-9FA492317B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41fb09614c214d503857b58100f34c53443b99e7","datavalue":{"value":{"entity-type":"item","numeric-id":5897968,"id":"Q5897968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bec1a1ce584d7d4bc7d37fa28a163efe57330e","datavalue":{"value":{"amount":"+0.7356968522071838","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":"Q2576589$771C0BC5-AEF7-4BC7-8D95-0338BE928698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576589"}}}}}