{"entities":{"Q1329098":{"pageid":1339848,"ns":120,"title":"Item:Q1329098","lastrevid":67552707,"modified":"2026-04-12T18:46:22Z","type":"item","id":"Q1329098","labels":{"en":{"language":"en","value":"Formal timing analysis for distributed real-time programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 597824"}},"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":"Q1329098$9ABD46F6-4A4A-48F4-99F2-A38999590EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27ba5188a11e9c5e09b8e56ffa1147231c46e7b9","datavalue":{"value":{"text":"Formal timing analysis for distributed real-time programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1329098$D7C25BEB-C653-49F9-AA4D-F976672E2E05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40362ea65435e1dc8a624e9410a452eeb12e5295","datavalue":{"value":"0800.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329098$6A3F20C9-5C51-4112-AEA5-88708F9CE1D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a380b8ddc079bc3969ae61545009730d5dc20a62","datavalue":{"value":"10.1007/BF01088622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329098$148D4863-ED63-400F-8958-C9972E0F1C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f04a633fc09bc8b15f45e5c852a7e475fb5019","datavalue":{"value":{"entity-type":"item","numeric-id":1329096,"id":"Q1329096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$7AFE13FB-D917-45E9-A80A-9DF4DDF28BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebb3f7fd3b42395ac9ebf44852198ad232c457d6","datavalue":{"value":{"entity-type":"item","numeric-id":1110306,"id":"Q1110306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$513D3C80-958C-4BC9-BF12-42A43FC867A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44d4b85eaaa2ed2f4188cb21a4911a3c294a27f0","datavalue":{"value":{"entity-type":"item","numeric-id":1329097,"id":"Q1329097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$C3F11674-5060-40ED-888B-66A710790F8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$83CD9B33-661C-42C7-878A-3C6DE42559E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"489485f02f87b2a6e7bf05282bc879b8f2dcc5dd","datavalue":{"value":{"time":"+1994-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1329098$48916649-0EE6-4A0D-B8A5-E36A486005FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329098$61708475-4D71-46CA-8C94-084A4E14056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329098$4BA4F2FF-DA3D-4F6C-92AC-41D40C0C9C1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"775e474af2e75eaa0c29eae7964a6cafa3302649","datavalue":{"value":"597824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329098$AE55BA38-B6B6-49DD-A7B6-9DB762C29CFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9281ddadb0ca2f05376b43cb02bc600146085360","datavalue":{"value":"timing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329098$C6EB19B4-C2C2-4D57-ADBB-08D947592658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ed162218010875732ea3a20e46390a4fad64e8","datavalue":{"value":"real-time distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329098$E5EC8451-3C23-4379-863D-91381A0AD44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbdf73ad579c2003ce739cd0d18214636fe7ee8","datavalue":{"value":"monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329098$827C29C9-7C44-41DB-80B8-32C140CDC14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc02d6c8dae193667aed77b8b3be682c4172dab","datavalue":{"value":"resource managers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329098$59E75125-BA3B-4748-A4AF-E62B5CBAAF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7f128a8890c1ed831720a74faec8d6c0dd504e","datavalue":{"value":"NP- complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329098$2777369C-87EC-4C4D-9306-5A77F6E9F58C","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":"Q1329098$40BF085E-A844-418C-834E-5B314C655992","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$DE3FE669-1D77-4C0E-BE23-C84D88842018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$E0BD7E17-8E0B-4F2C-9246-38940D812102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696366a94654a5d30f96d57b0e6b7e9de909ff30","datavalue":{"value":{"entity-type":"item","numeric-id":4055176,"id":"Q4055176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$BA3E4ED6-D0A2-4C4E-B097-A54BF36E66D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741c7d3129901eccb8c6a0c0e2bacc188c4905d9","datavalue":{"value":{"entity-type":"item","numeric-id":4728220,"id":"Q4728220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$08FE1C6C-A5EC-49CA-9F92-89E63548DFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c5d8de8beb562585db874b4453a309269483c1","datavalue":{"value":{"entity-type":"item","numeric-id":3664420,"id":"Q3664420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$BF8D4EBA-9720-409C-B9B6-4D3D3135124D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775c5e3f0400e7e140b5e3ecf89ec84374bf9c61","datavalue":{"value":{"entity-type":"item","numeric-id":4136526,"id":"Q4136526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329098$D53541D1-5E69-4F91-89B5-F1FB57F5F289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal timing analysis for distributed real-time programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_timing_analysis_for_distributed_real-time_programs"}}}}}