{"entities":{"Q1129264":{"pageid":1140013,"ns":120,"title":"Item:Q1129264","lastrevid":69707301,"modified":"2026-04-13T08:51:36Z","type":"item","id":"Q1129264","labels":{"en":{"language":"en","value":"On the coarsest congruence within global-clock-bounded equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190304"}},"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":"Q1129264$C3FC3C4A-E9F4-4587-B4A2-7A47DB52C831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc653cb14e4c8c1b1b01451e05f3795e102fe194","datavalue":{"value":{"text":"On the coarsest congruence within global-clock-bounded equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129264$B9D9A8FF-08BB-4C76-96A7-928444B3E92C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d32e53073977f4bae54f8e257002e0fe5d06b364","datavalue":{"value":"0902.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129264$D6A28694-599A-41C6-912E-9A6204A09A9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"678dd32a8b958f17aed0865ae0e7f122fb9aeb0d","datavalue":{"value":"10.1016/S0304-3975(97)00237-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129264$091ED33B-4616-4625-88B5-3676A46B11AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129264$D97E5FA5-31CC-465C-B4AB-44B37F851952","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129264$C01EA97F-495F-47C5-9828-5145FE42B661","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129264$7D537480-F09D-427D-9ED7-5B30AA539CDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129264$3E9D5678-CFF5-4136-98E9-D0035DD3B73B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0813bb43a0cdc4f8d7040d662bccaf2e0fa1c229","datavalue":{"value":"1190304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129264$68805680-C37B-445F-A173-EEA066030301","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129264$DD3EFE77-EF6C-4487-8E3A-7D30105D84E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c4d7fd3c1cdae69e4d7599c56cadaab74f75b6","datavalue":{"value":"timed process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129264$3FAA3A07-F226-490C-836C-332FE721AF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c887faf1f21388fb82162d39b7db8e907c9694c","datavalue":{"value":"timed bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129264$28DD3F7D-9E11-41E2-8E59-83055B89CE25","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":"Q1129264$62A84357-7A45-4EAA-AB29-1AB8D30A7580","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc1fbd3a5b98796f839fda0f3c43c059ca59b72","datavalue":{"value":{"entity-type":"item","numeric-id":1924998,"id":"Q1924998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129264$6F973126-0E63-4B82-8835-A78B8892F1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e8ec5694b9124f5106fb2837d766dad8dd0de3","datavalue":{"value":{"entity-type":"item","numeric-id":3569033,"id":"Q3569033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129264$FCE61011-79EF-49C1-A4B3-A9DDB4564925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf3acd09ad4b6f366cd0ba28cfb1df60b70a4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5096393,"id":"Q5096393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129264$E7CD9B50-E98D-495B-AF60-B6BF6A8CFE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bb2d79d7856588575b5f6a12e9beae87fc9581","datavalue":{"value":{"entity-type":"item","numeric-id":674005,"id":"Q674005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129264$AC9E059E-4DFC-41EC-9F77-180BD141F9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129264$CDDDED3D-47AD-428D-98E2-0BA1FC3CE15F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39cd534440fe24d9c83980f8e37d822a3ddedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1275822,"id":"Q1275822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64c631445ecdcd0c806e04aba9a688863f3a8d8","datavalue":{"value":{"amount":"+0.8057044744491577","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":"Q1129264$724B45E0-DE76-446C-9B33-B3E475474DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0118885d6c529b713ae17eaf505947bcbd40c11e","datavalue":{"value":{"entity-type":"item","numeric-id":5897479,"id":"Q5897479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279d09aa1fec2e8c9325fc942db85cab3fe0851a","datavalue":{"value":{"amount":"+0.7361786365509033","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":"Q1129264$3F3A6FC4-5074-44D5-924C-06609F07900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e9fb76f9d561b738b7b46027c7471159f367fc","datavalue":{"value":{"amount":"+0.7345792055130005","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":"Q1129264$EE83D2F7-4466-4BA5-AA1B-0683B77E3C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the coarsest congruence within global-clock-bounded equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_coarsest_congruence_within_global-clock-bounded_equivalence"}}}}}