{"entities":{"Q6912019":{"pageid":20974177,"ns":120,"title":"Item:Q6912019","lastrevid":84158111,"modified":"2026-05-12T15:41:07Z","type":"item","id":"Q6912019","labels":{"en":{"language":"en","value":"Logical characterization of branching bisimilarity over random processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8109832"}},"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":"Q6912019$F862B78B-7175-44D2-A9EF-06DF5A330996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bc71bed1be5a3bd0b16be6d1433a7b92c8b0f10","datavalue":{"value":{"text":"Logical characterization of branching bisimilarity over random processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6912019$1E3F741D-3499-4784-BCF4-AE7D91B42DF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f85e4cf8981c96df01f0ca7e5fe7871e42b092e9","datavalue":{"value":"10.1016/J.IPL.2025.106596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912019$0D55460D-B6D2-47DF-9C2A-509C390D9A19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f3403fe8086f1192e2b737c84b23ff146f94b11","datavalue":{"value":{"entity-type":"item","numeric-id":366386,"id":"Q366386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$575A93A1-2165-408F-94AD-829204ACFA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bc7a5de54258d4b6a900568c6627694e71f247","datavalue":{"value":{"entity-type":"item","numeric-id":1793866,"id":"Q1793866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$2E715340-7050-419E-B6BF-C88B432A3EF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$6B6ACA2A-E2A1-452B-B28E-8CDEBCAF97B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65ba7afb6d3b0edc64c81831d95e5bbf14cbf7a4","datavalue":{"value":{"time":"+2025-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6912019$9E59DE97-71E1-4066-83F8-CC06DA6C5E82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912019$46431AC8-1886-4AB1-9E83-B777A713B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912019$424C57F8-BE08-4174-8FAA-52751FE7041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912019$106FA01F-1032-40E8-B0C7-963EF9651ABA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8a4666ceefe1360089037e89d3d1308ad27672e","datavalue":{"value":"8109832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912019$7D66D574-E7CF-43A7-906C-0BF8C7041851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ab82a8f4df18227db18bd1221c8cfd9b09d16a","datavalue":{"value":"logical characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912019$B3D65EEF-9EBA-4818-A499-7B7658CD77EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd36d82941e14601c1798d58c442444057047f1","datavalue":{"value":"probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912019$AEDFAB07-6958-4CAE-AC34-3B0D0266D8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4e00f0109bd2c20b8d6a8cd5785769299feaf9","datavalue":{"value":"uniformly randomized processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912019$68D2D15E-1D21-4534-BD53-A4C3903036AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912019$3417E9F5-3853-487E-A313-63DCA48492B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912019$A046ADB9-1BF8-437D-B374-ED1EAA140963","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":"Q6912019$AD78C73D-EBF4-447F-A2BD-A5C05EBC219C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$1B32FEE5-F354-4DB7-B7BE-737A13841FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445048480dfb4c3e616600614a54290d80025c42","datavalue":{"value":{"entity-type":"item","numeric-id":831149,"id":"Q831149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$4B38C6D9-62BF-42F7-8BFC-CCA4379A3DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$12680D2F-0C65-4785-88B0-DD8717F9B842","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":"Q6912019$A44286DE-1D08-42F5-8342-17E3C794F4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b614d82dba81497fa765f4c8d5e838f164045ca","datavalue":{"value":{"entity-type":"item","numeric-id":674193,"id":"Q674193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$6DC574D1-4A86-4D31-864C-14EE4089E692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1229ad2aa3510ac5312937653e250f744214a4","datavalue":{"value":{"entity-type":"item","numeric-id":4508299,"id":"Q4508299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$CB75D675-F68D-4ABC-891A-8FB9378D1F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$93ED7389-7934-4F6B-90C4-A0406542AC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$21CD0FEB-C303-41E8-942F-3C2EA8F0AC3B","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":"Q6912019$7FC10963-F1B0-4572-85E5-6A265DEE3896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$A403915C-97AE-4087-BCCF-AAB36F866773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$C0E79DF8-E771-4E3F-B132-5AD62D8B6DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$24490BE4-5062-4E54-81A5-A31C60F6BE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f8687a1055c944c15ff129c6227de2f16e034b","datavalue":{"value":{"entity-type":"item","numeric-id":5155663,"id":"Q5155663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$63C827B1-DA2C-466A-AF42-C9D172117375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282f9cc7e49bbe23209bfdf62f3a2fd80d53357a","datavalue":{"value":{"entity-type":"item","numeric-id":5145273,"id":"Q5145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$A6A7FFD9-25CB-4A6D-84A2-FBAC33D93613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b168536fc9a289c3b0c0d989dbc09b1f2f79e23","datavalue":{"value":{"entity-type":"item","numeric-id":6967312,"id":"Q6967312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$87E01FE7-BE5D-4F3E-8CCC-B20EE5E33CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d87f86c9e1c61b01517171eebf17580006c8c92","datavalue":{"value":{"entity-type":"item","numeric-id":5458058,"id":"Q5458058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$8771AFC1-3C85-48E4-B971-CD69AC96A2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$2D7A81D4-5228-4AD2-A1C0-F67D224BB02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f3c53b14eaf3687275c164a42522b17ee362f","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$ED18986E-F3F6-4F13-ADE3-DCAE73D32A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$3941942B-7251-4E20-BE65-46EB8C997242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48613c77d62a14fb032775f4b6795645924510eb","datavalue":{"value":{"entity-type":"item","numeric-id":4933311,"id":"Q4933311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$608C111C-06A3-48FC-80BD-11FF396AAC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfc7cee8dd269728c97f9a83d9ba2ff5761ff64","datavalue":{"value":{"entity-type":"item","numeric-id":679804,"id":"Q679804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$A0BE35A1-FB51-40F2-BD6B-E1A8BC904347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f3d8856b5145b7787f6b7821e877d71b65007","datavalue":{"value":{"entity-type":"item","numeric-id":4608588,"id":"Q4608588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$0A90CAA8-4786-42FE-B8AA-2D9CCF259906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae283677d3ca5ffa8c82662f1af1c4b7bfb2a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4580323,"id":"Q4580323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$DBAC07DD-9C0A-4F6D-B5E6-51730FE4F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2825bf96e6c6afaa936ebabd0cd3e7f33648c","datavalue":{"value":{"entity-type":"item","numeric-id":2007735,"id":"Q2007735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$352D5E67-9C9B-40D5-879E-174BA8291E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$928D1962-7A5C-4FDA-ACEA-94DC72EF62E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69025e1d956d9a2f66f93110c20985eefc2eebb","datavalue":{"value":{"entity-type":"item","numeric-id":7021658,"id":"Q7021658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$F99BF8B7-6E44-4403-9E36-45CCEC7178BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec57e6f962040d48d62e4966185d143ee30a15c","datavalue":{"value":{"entity-type":"item","numeric-id":2272986,"id":"Q2272986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$0A1F3A4E-A706-4FD3-987E-FEBC3F0E043A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$9B978F3C-FE2A-4EFC-9C49-93AFE4F80463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$635AC688-0820-4414-B9EE-6A79AEA25A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$4412E0F5-FAA4-4977-8563-EAF6B2BA477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912019$40770C81-DB37-498A-8DAB-EDA1734F3D14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical characterization of branching bisimilarity over random processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_characterization_of_branching_bisimilarity_over_random_processes"}}}}}