{"entities":{"Q5754523":{"pageid":7784074,"ns":120,"title":"Item:Q5754523","lastrevid":101706824,"modified":"2026-06-06T02:35:47Z","type":"item","id":"Q5754523","labels":{"en":{"language":"en","value":"Testing semantics for urgent timed process algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5181781"}},"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":"Q5754523$10A732F3-DA18-4B36-9E40-0153E12CB2B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07ee063477c564fbdd807b60b221b1a0ed33aad6","datavalue":{"value":"1123.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754523$4D294900-CBCE-4F48-B7F1-2051A630E01F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb7528ea8af37818ac168c0531da4e1653a37bc2","datavalue":{"value":{"entity-type":"item","numeric-id":1273069,"id":"Q1273069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5754523$7E6ABC45-3507-4737-8057-66A84B3F3960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5754523$97F463D6-1392-49EE-92DE-3EA16BA03EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5754523$4C7C32CB-C97B-4EC4-84F3-39291F2F1A76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a7809d7d740799f1d3201b8daf52c43c390824a","datavalue":{"value":{"time":"+2007-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5754523$05CD90FC-4D17-487E-9EF1-F10DB19AF1A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754523$5EAAF433-F48D-44DF-BFD8-32DC198A9C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754523$CA4A2DEE-43C1-4387-B7AB-F2E4B3F2437F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48fb2b34ca738bf30fed39e14b4bbc11896f3b48","datavalue":{"value":"5181781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754523$934F0E7A-BC46-4EB1-A2B8-7D0579713537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754523$0BBE6EF2-7F43-4E47-A609-9BD55A5E692E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73813cd665a497738ac282e59158db358629050","datavalue":{"value":"must testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754523$0B993D9C-62FD-4521-8E08-5A8DC20FC80B","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":"Q5754523$F2AE0EE0-D20C-4465-BAE4-8B7A6A2A94C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9957cd64b7d58cbdea6b3e9c67d8160770daf7","datavalue":{"value":{"entity-type":"item","numeric-id":4501573,"id":"Q4501573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ae35ff96ab6757630aad9142a13be1d3364f9a","datavalue":{"value":{"amount":"+0.8026010394096375","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":"Q5754523$0F0DB746-996A-48F2-8BD3-E82237564EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2534c1011258c4295b5850a9e18a21f5730a465","datavalue":{"value":{"entity-type":"item","numeric-id":5941201,"id":"Q5941201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89eb61b8272b48aad0f3422a239e33a3ca8e2b9d","datavalue":{"value":{"amount":"+0.7880779504776001","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":"Q5754523$B5B5446C-7EBC-4B78-AB03-0235C305C26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b89d6bf426821dc943f630901e143a2afc81e0","datavalue":{"value":{"entity-type":"item","numeric-id":1899907,"id":"Q1899907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89eb61b8272b48aad0f3422a239e33a3ca8e2b9d","datavalue":{"value":{"amount":"+0.7880779504776001","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":"Q5754523$C04CEBAB-EFD5-45CF-8BF0-97E018F5DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34fe4d287a703d33a22e621c21c2b7e23a06c188","datavalue":{"value":{"entity-type":"item","numeric-id":4028626,"id":"Q4028626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ea0cf7bb844f60431a2ef9fba0a47a8bfd2c4b","datavalue":{"value":{"amount":"+0.7672364115715027","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":"Q5754523$F4043139-9549-40C5-BBAD-36EE2C055EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfa3138e2a31cb9abb694e089b124e9f406502b","datavalue":{"value":{"entity-type":"item","numeric-id":3023538,"id":"Q3023538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ea0cf7bb844f60431a2ef9fba0a47a8bfd2c4b","datavalue":{"value":{"amount":"+0.7672364115715027","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":"Q5754523$C374D91D-AAF9-46CF-93F5-1CB3D09EABC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing semantics for urgent timed process algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_semantics_for_urgent_timed_process_algebras"}}}}}