{"entities":{"Q1185020":{"pageid":1195769,"ns":120,"title":"Item:Q1185020","lastrevid":66791778,"modified":"2026-04-12T12:53:12Z","type":"item","id":"Q1185020","labels":{"en":{"language":"en","value":"Adequacy-preserving transformations of COSY path programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35448"}},"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":"Q1185020$B3DD09E7-C9DC-491A-9200-F77F29126D0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adbb944444b4ef946157413e23b6f60497e0f7e6","datavalue":{"value":{"text":"Adequacy-preserving transformations of COSY path programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185020$AEB918BA-8C30-4708-9615-21C2E3CEFBE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d236632fa4d98f34162ea47454d194de36b8c7","datavalue":{"value":"0745.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185020$C8DB6340-D290-4E35-9E31-417C6FF00C2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9494408ea920e2fcb997481326e762e0b4723162","datavalue":{"value":"10.1016/0304-3975(92)90327-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185020$DF8215D7-53BF-474B-B163-3944A2A35D68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$2CF0091F-A90B-499C-87E0-4B2EC1B448A7","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":"Q1185020$EF31E0DB-063A-4AFF-83EC-46B0ED056113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185020$16876728-8BAA-4A33-9E21-32B8DEE84F8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185020$5454469C-3336-4AA5-97BF-EDA018C49A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185020$BB85D63F-477A-4D7D-9FD5-185964573D93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d48f1041010e75bc26afc5ee50f552a0c1c6e1","datavalue":{"value":"35448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185020$AF88EDEE-8323-4B09-A232-CDB00426CC88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678cc1c717ce21175aa90a928a35d6e0d619f86c","datavalue":{"value":"verification of the behavioural properties of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185020$956527D0-3F5F-4286-B196-030BBCFD0305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4bf52275343e893a813748a145e0de56b7964a7","datavalue":{"value":"path programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185020$0ED88AA7-8A05-4AC5-A600-6070040DD024","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":"Q1185020$05E8342C-B027-453D-AEA9-D138247E559F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$50F24BDC-6E61-431C-AABD-4B9C1ADB9715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebbd90dc35f82e3f292334feb75ba95f603b907d","datavalue":{"value":{"entity-type":"item","numeric-id":4181248,"id":"Q4181248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$2DD49ACC-870E-4C91-9B90-FC45FE9FBCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$56F8CFD9-7BB5-4D4B-9D6F-18E50268A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f072edb1c98a44360829bbdb4b77881b941109bb","datavalue":{"value":{"entity-type":"item","numeric-id":3814775,"id":"Q3814775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$EF25AD8F-9D23-42E8-B943-B055601F8BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$DA968380-FDC3-464C-B6D7-4E192EE812C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c87ce7986fe3902d936ec8973a25622fd46dafa","datavalue":{"value":{"entity-type":"item","numeric-id":3939202,"id":"Q3939202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$6C2B8CC4-CCA7-49BD-A060-FC775DD9CB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$B6172595-AA08-4CD4-9FDE-87D7804BF7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820df72bf1c15f32d5787d80349cbcd5a7575797","datavalue":{"value":{"entity-type":"item","numeric-id":3867194,"id":"Q3867194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$F0FD93BA-42F4-4239-892C-B622AAC43E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$ED3A6EE3-4EBE-4AC2-AB14-FC7F8F5F210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b4f7becbf698a8ab3e25ac05450f080c64a02c","datavalue":{"value":{"entity-type":"item","numeric-id":1052100,"id":"Q1052100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185020$96195B9D-3416-4CB3-89FE-B9EAC802899D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1253258291a9a210aa5ba9fb3edadc946023eb9c","datavalue":{"value":{"entity-type":"item","numeric-id":3814775,"id":"Q3814775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233558f48bd6f4fda6996ee9a8cf53c34b5d6c5d","datavalue":{"value":{"amount":"+0.9866863489151","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":"Q1185020$2E6EAA2D-09FC-435B-AAF6-DCC248E1E382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26567cadd41c1aaab451386b3d466d03d8f9c59a","datavalue":{"value":{"entity-type":"item","numeric-id":1323314,"id":"Q1323314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88143c4db2aa3fc0f05f1eb0aa45ab8e13d6db64","datavalue":{"value":{"amount":"+0.6887040138244629","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":"Q1185020$92EEF79C-F30A-4522-9D1C-013D683FA0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3146751f8c8f7e0894d3c7c900bfa9813ddeeda","datavalue":{"value":{"entity-type":"item","numeric-id":1276245,"id":"Q1276245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0bcd79f8a86588ae4278f410c4b60c7836b001","datavalue":{"value":{"amount":"+0.667123556137085","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":"Q1185020$45CF3AA1-D934-4648-9FA9-86FFA4D98F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99009c1d3f5c60e6ef04b7de0e8f17b7e8f6d687","datavalue":{"value":{"entity-type":"item","numeric-id":6104370,"id":"Q6104370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cdb19ac800929a3e02e71f4d75b8120f841071","datavalue":{"value":{"amount":"+0.6643655300140381","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":"Q1185020$B24E4386-76B6-442A-A518-6BE1F78CAA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaa80b8315b957d2278d577d32cfaa537f47d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3030242,"id":"Q3030242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8662cc3ba0292beda29aed8cf0b6b82bc91dcc","datavalue":{"value":{"amount":"+0.661687433719635","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":"Q1185020$3F7593C3-6A8D-49F9-AFD9-D5BB5F001F81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adequacy-preserving transformations of COSY path programs","badges":[]}}}}}