{"entities":{"Q5503434":{"pageid":7532994,"ns":120,"title":"Item:Q5503434","lastrevid":92510294,"modified":"2026-06-05T01:53:10Z","type":"item","id":"Q5503434","labels":{"en":{"language":"en","value":"Formal specification and analysis of hardware systems in timed Chi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492532"}},"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":"Q5503434$C8B0A930-BD97-4D76-9545-1EDBE43F6286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb3f6f35169c22db60f64adb2dc657956c90faf","datavalue":{"value":"1169.68512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503434$E40B8011-8F6F-4CA2-A336-98C0F904A1E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb7c6957501267a6735187c71251f3f62683fd03","datavalue":{"value":{"entity-type":"item","numeric-id":2368696,"id":"Q2368696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503434$7E11ED3F-CA39-405D-947C-3009AA6B2612","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5503434$BCA0E2AC-0BE8-4660-9A79-746DAD35C0C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503434$B650C7F5-3A0B-49DA-BCFC-E97F22D6095F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503434$1DE933C7-49E2-42E9-9E62-DDC5F6CBBED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503434$95F8FC8E-4398-4086-B553-E29C88746582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b4fdfc7dc8516a4e80761397e99c39b8558b756","datavalue":{"value":"5492532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503434$B478B63D-25B1-413F-8548-6790709F1BCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503434$BF80F158-019C-4420-8CD9-AF165EF1885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503434$2002D869-6938-4DD3-893A-DEA4116881B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503434$392C349D-0A3C-43AF-9253-C34FAF55C6C1","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":"Q5503434$82E8864A-C9B8-42AE-A702-EC065478F1FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c93592b4f9f00517e4ad46255d27dee4a8a3df","datavalue":{"value":{"entity-type":"item","numeric-id":2970246,"id":"Q2970246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ac8da2d3f151ba311683e7ab0342e1026e1b21","datavalue":{"value":{"amount":"+0.9647082686424256","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":"Q5503434$A8CAAC09-D25C-4E92-85D0-CC51088C2B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c436c60da6337b444f236e0b01abe6624c3acb","datavalue":{"value":{"entity-type":"item","numeric-id":4494235,"id":"Q4494235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd15d46f0f3acd643e5f2aa84a6566d6f6f46f0","datavalue":{"value":{"amount":"+0.7400687336921692","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":"Q5503434$02F52E39-AFA4-4A5B-923E-51741A46F723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54171310c661349482b4b8f04a5b88f50722d14c","datavalue":{"value":{"entity-type":"item","numeric-id":4485140,"id":"Q4485140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd15d46f0f3acd643e5f2aa84a6566d6f6f46f0","datavalue":{"value":{"amount":"+0.7400687336921692","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":"Q5503434$2341E1E0-B7ED-409D-B214-57DB03A01A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225769ce744b82f86f97bb14517c5468eb9a9a6","datavalue":{"value":{"entity-type":"item","numeric-id":2870190,"id":"Q2870190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5488cfb0d8462b015c938130124972471fe7e91b","datavalue":{"value":{"amount":"+0.7279976010322571","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":"Q5503434$16DCE8CE-2442-48DA-AFC8-E5B6303240D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98b2285a4da37bced6b470ca74a12fbe08531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423b64a370471c8f91f29c9860ca97eb5633cfb0","datavalue":{"value":{"amount":"+0.7232309579849243","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":"Q5503434$C9DEC75E-2FF1-4A4B-90E1-14E08B54076E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal specification and analysis of hardware systems in timed Chi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_specification_and_analysis_of_hardware_systems_in_timed_Chi"}}}}}