{"entities":{"Q4645208":{"pageid":6674789,"ns":120,"title":"Item:Q4645208","lastrevid":89912768,"modified":"2026-06-04T18:35:59Z","type":"item","id":"Q4645208","labels":{"en":{"language":"en","value":"Automatic synthesis of real time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999461"}},"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":"Q4645208$EEFE9ABB-CA7C-4B32-85C5-797BE1864700","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cac6345a0af69542df0f88175e2779ed5d8e751d","datavalue":{"value":{"text":"Automatic synthesis of real time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645208$1132B346-6324-4BDD-BEE3-6052F10D35FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73cd20d3b0f86b1793e4dfacc69fa3ba44b50b22","datavalue":{"value":"1412.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645208$D5D9F04E-6B50-41BC-BB28-B9D802529B14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a4d388365c6b3b4a1819459bb4854b1f23956d8","datavalue":{"value":"10.1007/3-540-60084-1_103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645208$78B4C494-547C-4C07-BCD0-A5C194703DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a57b799d3d0c23c91d1973548066c7bbde56fa","datavalue":{"value":{"entity-type":"item","numeric-id":3152479,"id":"Q3152479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$4707A705-F9BB-4884-90DD-F2A577FF82D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac85b476ec4b3d48e2b131bf0404cb45b7f0868","datavalue":{"value":{"entity-type":"item","numeric-id":4645207,"id":"Q4645207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$540745B6-DA78-4D13-B4A4-26F21B74B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d588b6f6df4a5a586ffd800e1c6a68ecb939f3dd","datavalue":{"value":{"entity-type":"item","numeric-id":1858444,"id":"Q1858444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$5781EB09-B95D-4841-B89D-A547EF53AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$E683A7B2-19C6-4572-965E-04F8BA152A3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$99CC66C1-E2CF-4080-97A8-E0E166868F1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645208$72F1AF60-BB45-4BBD-A8A2-AE69F5409398","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645208$A81E89D4-E5BF-4E09-9677-78B1F58D06B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645208$0D20B9C6-5599-4EF5-8BA6-2ED1B9B83A77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29f0f7b4106a84cc0429f84ebd6a7f8e1ff2ea68","datavalue":{"value":"6999461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645208$FC130019-D2D4-47AB-9B41-84071DEAB14B","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":"Q4645208$EAC1CEDD-937B-4D70-8E06-27F682FAAF3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"602f81f34b3ba496cfc6451894cb1414de97adac","datavalue":{"value":"https://doi.org/10.1007/3-540-60084-1_103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645208$3EF15DAF-EBC8-4B83-AC2C-DACE12992C63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0a064c62f006af32ead3fe07ea19b71513a3162","datavalue":{"value":"W1532236270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645208$126B8C17-73D5-4FE9-9615-A33BB50AD5B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$BFA63173-4670-4B24-BE84-F0A8F72A5D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$7577B67E-3187-4674-8408-A00B356A7BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$49D84B5F-A534-443A-8A23-064459B2FF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12f32bb6df156535fd471aad08f2522bbbf182d","datavalue":{"value":{"entity-type":"item","numeric-id":2757803,"id":"Q2757803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$7C5C6882-DEAF-4CC4-9263-438E721B68B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$F74FFA6A-B7C8-4D68-9D80-236F5A5C5710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cda71ff5ed600ad77742f3d5e6a3f654a27f","datavalue":{"value":{"entity-type":"item","numeric-id":4732449,"id":"Q4732449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$FCA92585-494B-439E-8E61-2BFF16A3A5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$DC03D195-BBB6-4C14-A68A-BAF303F8AD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$0B8E2884-359D-4C5C-82B6-196A2DBB75B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0236c27b44b1d5ff87db3c624b16ad39c44b9863","datavalue":{"value":{"entity-type":"item","numeric-id":4038716,"id":"Q4038716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$16083881-6133-4985-9B8B-362A8EFA565E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$1DEB08F6-A62B-4737-B604-163834652B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e70d1806e78a82125195a157441f06474cf07a5","datavalue":{"value":{"entity-type":"item","numeric-id":1363777,"id":"Q1363777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$BF0DBCE4-24FF-4A69-9691-9DFA9B8E56BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043d2a9911135295eda6ada96f432b0f8ae3a25","datavalue":{"value":{"entity-type":"item","numeric-id":1323313,"id":"Q1323313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$C9511B15-9A54-4D68-B386-7850066BD359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d4584907f56a4407554b758acfdbdf1aa46169","datavalue":{"value":{"entity-type":"item","numeric-id":1262748,"id":"Q1262748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645208$5062932B-241B-4DFD-A800-16C6808E5997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic synthesis of real time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_synthesis_of_real_time_systems"}}}}}