{"entities":{"Q4564238":{"pageid":6593827,"ns":120,"title":"Item:Q4564238","lastrevid":89829986,"modified":"2026-06-04T18:22:50Z","type":"item","id":"Q4564238","labels":{"en":{"language":"en","value":"A Verifiable Language for Programming Real-Time Communication Schedules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6885897"}},"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":"Q4564238$BEB4B6BD-F65A-4BCB-8CC4-BF12FEF661D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c74e35f5d532f65a1f097857b231f7abd201f7c","datavalue":{"value":{"text":"A Verifiable Language for Programming Real-Time Communication Schedules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4564238$12B15310-4CB2-4C71-9553-416539299EDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85734a6a1b760b8f61f14cbff6ea9913d2742fc0","datavalue":{"value":"1390.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$87301784-97FE-4FFF-BE6B-0612F4716AB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3ee3ebcc30c27097c0e6867353d819f35d13d17","datavalue":{"value":"10.1109/TC.2007.70747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$996986F6-4F84-491D-B230-742E2C92D4E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac5a200a45d3a89270952c629e92228a977ddec6","datavalue":{"value":{"entity-type":"item","numeric-id":438211,"id":"Q438211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564238$BE73AD3E-FF8D-463F-A20E-1AE5081C47F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"362931b727102df5fedb6a28265dcdd6af53f427","datavalue":{"value":{"entity-type":"item","numeric-id":234683,"id":"Q234683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564238$BECBE873-BCBB-4401-BA19-15FA02AF32A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c6e35e3e7e07e6f3cb1d9f24540dfd7608799d","datavalue":{"value":{"entity-type":"item","numeric-id":234682,"id":"Q234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564238$847DE418-DE50-43F1-BB1E-C411BABDB344","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564238$C5030329-EFA7-45A2-8105-D67537086F47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bee4c44be49e99ae67efec260a125657730bcab","datavalue":{"value":{"time":"+2018-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4564238$F5EA8DF1-99BB-4B1E-B978-85A79B32354A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$8F7227FD-38E8-4380-A6E5-8BAC17EBF954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$7D412FA3-5DAF-45D7-AE52-E2E681EEDE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$9D41B73A-128F-4116-8C42-E8C7AA1A3E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$AEFF7DB6-9341-4873-8813-5C360E55AF07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adf083fabfe1925f8a8b9101eedd126acab82c08","datavalue":{"value":"6885897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$A37088E6-7C7C-4366-9932-F3857BCA3823","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":"Q4564238$B2095B54-967A-4EF7-8480-86AA85D5B3DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63dec528463c1a89b0c1b76002cfb3c784cd6432","datavalue":{"value":"https://doi.org/10.1109/tc.2007.70747","type":"string"},"datatype":"url"},"type":"statement","id":"Q4564238$9A81C2CB-7305-44E8-91D9-686C2E5FC293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3902a8f43245ec7643f9d851c3ad0e6c00951e09","datavalue":{"value":"W2140462475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564238$2AD4684D-435D-4DF7-8301-A6442C47515C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Verifiable Language for Programming Real-Time Communication Schedules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Verifiable_Language_for_Programming_Real-Time_Communication_Schedules"}}}}}