{"entities":{"Q2970246":{"pageid":2980971,"ns":120,"title":"Item:Q2970246","lastrevid":85591928,"modified":"2026-06-03T10:03:32Z","type":"item","id":"Q2970246","labels":{"en":{"language":"en","value":"Timed Chi: modeling, simulation and verification of hardware systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697990"}},"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":"Q2970246$500AB86D-CEBA-498C-9B52-139514696F3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c425d498acedff8cdc3c88f368a3516014d6f02","datavalue":{"value":"1399.93171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970246$58ABAACE-C69E-4520-A11A-AE8D7F879048","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":"Q2970246$6B067BD9-E67E-4596-82ED-45C49638B0B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ea4d774be76e88bc5b22d4c282f8290226ab94c","datavalue":{"value":{"time":"+2017-03-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":"Q2970246$BED7A4B3-6B66-4071-937C-0AA6853C1F90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970246$591AFE09-BD83-42A0-8488-AB3EB446625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970246$9995D307-CCA5-4484-AD7E-0878EED6923C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970246$31DDA5ED-02F6-4BEA-BAEF-2A5377B3C9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970246$4326494E-EE7C-429B-9DEC-9952EFD8D905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5ba574988877f1f3214b0336ba06e074b8d11c9","datavalue":{"value":"6697990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970246$CDDFD492-1CA1-4642-850F-3064EEDA7E67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970246$8E656326-1F21-4AE2-B2C4-A358BE25B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970246$C7B86907-54C7-432C-A583-6EA6708B19ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970246$3CDD52B5-38FD-4410-A40F-4A9F5E29D866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970246$8303BE1E-9C7A-4DEC-89DA-AFEEB0BE2B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970246$3BC1ABAE-05F1-434A-B6BE-50171A17A57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d90a52dd8744c7ead500b6f99aa9f356756c14","datavalue":{"value":"formal specification and analysis of hardware systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970246$6276C826-25C8-4789-B25A-2B8DD3AB7C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81cfe09ae20c6308927c478d67f50d2ecf4e990a","datavalue":{"value":"software engineering research","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970246$EA1498CD-41CA-4ACB-925B-D25AE5BF3BE5","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":"Q2970246$89C6EA45-734A-404D-88D4-D804A5E61807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e769a766737ee17bc207631f15a09d634b15ac","datavalue":{"value":{"entity-type":"item","numeric-id":5503434,"id":"Q5503434"},"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":"Q2970246$E6D04D59-51DE-4ECF-872D-A99AB665DB54","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":"66a435f1e1a75c52461393fcc8f930c9335442fc","datavalue":{"value":{"amount":"+0.7686788439750671","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":"Q2970246$7A9AFB0B-A163-40BE-8356-39AB6A88AB3D","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":"b4e5b241d4d6a405f44342c2f42c01ebee3472b4","datavalue":{"value":{"amount":"+0.7608012557029724","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":"Q2970246$ADCF7941-B8E6-4EBB-A78E-D164F6EE2F64","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":"b4e5b241d4d6a405f44342c2f42c01ebee3472b4","datavalue":{"value":{"amount":"+0.7608012557029724","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":"Q2970246$C11FDF75-22EC-4DEC-96FA-31BACA17E335","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":"472eb611fbc2a1613b066117a227881eca72fc67","datavalue":{"value":{"amount":"+0.7415586709976196","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":"Q2970246$55195836-DA79-40F5-A11F-0EDC9C1C4923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed Chi: modeling, simulation and verification of hardware systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_Chi:_modeling,_simulation_and_verification_of_hardware_systems"}}}}}