{"entities":{"Q2988973":{"pageid":2999697,"ns":120,"title":"Item:Q2988973","lastrevid":52812143,"modified":"2026-01-23T13:38:00Z","type":"item","id":"Q2988973","labels":{"en":{"language":"en","value":"SMT-based analysis of virtually synchronous distributed hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721663"}},"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":"Q2988973$2A2F6D34-608D-43D1-B6F0-D647C14A070D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132e2767613962b0424dcb12b734f1f9527611ab","datavalue":{"value":{"text":"SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988973$65F7DCFB-238B-47A3-B043-0514E3ACC765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5bc02f9b8ab3556ce34f5c8b578198329642513","datavalue":{"value":"1364.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988973$E917F38D-3B1C-4EF9-8AC7-3F5A48B85DA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db2a4eb0e2ff9b277680e2979ff3eed0d1b4c9a8","datavalue":{"value":"10.1145/2883817.2883849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988973$5031AD12-A993-46C0-88C1-C53CD84EA952","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7abae01514d1760eb4f9d93836437ad171626b69","datavalue":{"value":{"entity-type":"item","numeric-id":1951604,"id":"Q1951604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988973$AD0C8A4B-4027-40E4-B8B5-9F82081CF5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988973$6440EB67-A7D1-47D5-B4EF-89B94C81F554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7463120a9e955f48ddb24bcc00e63bd6fcf27d63","datavalue":{"value":{"entity-type":"item","numeric-id":2926662,"id":"Q2926662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988973$8FBD8069-1CAA-4A2D-AD38-D0A6B3231972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bcb9a2588cc97afe717f733e4166bb29392ff3a","datavalue":{"value":{"entity-type":"item","numeric-id":2272928,"id":"Q2272928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988973$C79EEB66-C79E-4060-8AEC-0A1621F47C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988973$A0FA5CCB-413A-450F-963A-86A515B2CD4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988973$E8D7802B-4DD9-4DC7-A12F-600D401BDDAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988973$040D1043-AE20-4D50-8FDE-FB067AB63233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988973$614928C3-17A9-4B25-91D6-92F1DB4B2250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988973$0CA52E0C-DA99-4188-925C-B918E87E40FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988973$D861C022-ADE2-47A9-A16A-3A04A62B784D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7453879fd3b46d0510d3a415a190bd9e8db9c962","datavalue":{"value":"6721663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988973$385362B1-B5EF-4C61-A1A2-CF3BC92E8471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2fe86ebc5b4b88dc18c2b544e2bc1aa5deeb7c","datavalue":{"value":"distributed hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988973$B718DF3C-BE4E-47D3-91D7-24FFE8C6ABEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2b5e279096a2be4c7ab5da975560a0294e323e","datavalue":{"value":"PALS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988973$000C7A29-1DFD-44D3-9702-20769B41500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988973$9A09E53D-D824-409C-B990-F4466248B5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3ed3552606a28dedd2c4ad1c0a44ab48518459","datavalue":{"value":"synchronizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988973$6907B14E-8DDB-41A6-9ABA-25F97569485F","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":"Q2988973$758B3BBF-EC62-4BA8-8D4F-06CAF9FA493C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fa5e4455f4d69e34075e1129a09761449901cc5","datavalue":{"value":"https://doi.org/10.1145/2883817.2883849","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988973$9833A10C-963D-4010-AE92-08232CF98CB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35e3ffc92d3c6aae2572f2e61ec456e24bc9e716","datavalue":{"value":"W2340083835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988973$705EDA15-4A3D-45C8-A1F4-B146A9F49AA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18974de561603ecb36faef87cc72b36aec5b7e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2945702,"id":"Q2945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648ce6d06909ea4d4e95cebd83d48f9e32d0dc56","datavalue":{"value":{"amount":"+0.8387839794158936","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":"Q2988973$D172516E-3624-4053-A1B4-6006F843F621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e25549daba35079ed8568907b8d51b4d5f3fb2","datavalue":{"value":{"entity-type":"item","numeric-id":714796,"id":"Q714796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d7eb00876e587b6ba8423e509ab0be0c5ab381","datavalue":{"value":{"amount":"+0.7463129758834839","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":"Q2988973$BCFC9073-9671-4001-ACE0-204DDDE60C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cf78114efcde97ad6f0ae2df230948c409c52f","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a194b783ed291e39770f3a244bdd46e617b769","datavalue":{"value":{"amount":"+0.7062708735466003","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":"Q2988973$77006B2E-F6DC-4EAD-8CF2-572D4AA2CDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c96cd4a2916c232da181473f3a64f2cc728969","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e642f763bc29b7395e83516731f29571b940623a","datavalue":{"value":{"amount":"+0.7057886123657227","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":"Q2988973$A5BC6922-B303-4D5F-9419-F1DCED6F6186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3594adff24bd4f14111145fd0b84eda64b7c4ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3543300,"id":"Q3543300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d046cc8b00b5d9ab7b610d252543bc90cc769aa6","datavalue":{"value":{"amount":"+0.6989272236824036","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":"Q2988973$A6445FA4-C166-4666-B56E-9137767868F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988973"}}}}}