{"entities":{"Q3617720":{"pageid":5647626,"ns":120,"title":"Item:Q3617720","lastrevid":87445637,"modified":"2026-06-04T11:42:06Z","type":"item","id":"Q3617720","labels":{"en":{"language":"en","value":"Logics and Bisimulation Games for Concurrency, Causality and Conflict"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535585"}},"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":"Q3617720$299DDC01-0D07-454F-8C02-36E6FE0477FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c8a2f75dbd606ba8b10f265de0c3a4cdc8904c7","datavalue":{"value":{"text":"Logics and Bisimulation Games for Concurrency, Causality and Conflict","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617720$0F72272B-B02E-4243-9031-C41E01CAC57C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eefa17fea7f863122c45d7436afb34454e4bca22","datavalue":{"value":"1234.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617720$9C02A393-1752-4CBA-9E41-81889A05C337","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"171489bba09508e6e3b5c6624d72951a2c761d61","datavalue":{"value":"10.1007/978-3-642-00596-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617720$873C1BF7-B17B-4953-BD9F-2133EC8850D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$81A09EA7-EC40-4876-8DFB-E1E699C920EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$9A2E101C-8A29-46C0-AE76-D6D11B8C7A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617720$8CA13430-C803-47EA-84F3-287D371547C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8623feedef5570f77e57aaf9f46682e8bb9de3d1","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:e740bb14-a5c9-4c21-84a3-1130b9f672ad","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617720$B1BC0B78-B750-4D33-91DD-9D617C5039B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617720$8CB43DA5-C273-4070-825C-229C8621F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617720$87723350-8C6F-4E1E-ABE0-122A1FDD508A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57f4ef7f44848252ec30d4092094d8e257018770","datavalue":{"value":"5535585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617720$88EB661F-B730-48AB-93B9-19AA523F09FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617720$68EEBC97-BADD-4C24-B269-1E4456A42618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617720$ABFFC92A-D382-4A4E-9C13-888DF40534C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c71491e5ec4134e84f50c35e083dfc45078b5ca","datavalue":{"value":"bisimulation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617720$E1D72451-8F27-4105-886F-82243482CC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617720$007AAA13-1778-4B64-8AEE-C935E38C3E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617720$404847A6-C48E-420E-830E-FCB1860FC3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617720$7607C1E9-511D-414B-859D-5AF4420433FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617720$294C71D3-78F0-4AF6-8322-FCF27ABFE452","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":"Q3617720$2C354603-CAEB-4F7A-8E2E-A00ECB27EA32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04e1d5de2395db9eec42090c0b1b4261e3936cf6","datavalue":{"value":"W1529088080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617720$C233457D-36BB-4804-B397-F01A4D4F7C9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$6AAA9F46-B37A-4837-9BBE-8797C5B5E7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4a1b31e9e3174c7a913bf8b623fb33dd0f5f6","datavalue":{"value":{"entity-type":"item","numeric-id":3150204,"id":"Q3150204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$D106A2CF-4C29-4370-8858-203175892EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$2B67BD6C-53CC-4AE0-91A8-3B5BFF8017DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91069a67a9490c74e5b38ffe5c0b0e8296d28ea","datavalue":{"value":{"entity-type":"item","numeric-id":1029093,"id":"Q1029093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$93B8C067-1164-4FCB-AAB5-952D9BEF7B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7e455a612beec6c821450022b9bba06bfada4","datavalue":{"value":{"entity-type":"item","numeric-id":835053,"id":"Q835053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$63EAE92C-E872-4FC4-B809-12E2EA8912A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1000ea3c7437af88e8dc77a6449b31406f60ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4941914,"id":"Q4941914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$6053C13E-E474-4CF9-B0EE-B80FB2D78CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$19E7DBD8-928C-47BC-864F-7D706EBD466A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044c111714e810018bcb913cd5427b3898a468ec","datavalue":{"value":{"entity-type":"item","numeric-id":3518272,"id":"Q3518272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$4833FB78-AF1E-46EA-B222-3C2A62766FE2","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":"Q3617720$8AF11EAC-2CD3-49EA-8BE5-0BAF7B326E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$80AC7833-EBB0-43FC-9E66-6E2B9763A2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$C5E7EE57-8C7E-46AB-A522-43C0583475B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd27afdeb3b0ce480fb87fec4d84bb5c36040b57","datavalue":{"value":{"entity-type":"item","numeric-id":4847022,"id":"Q4847022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$B872A7C8-1A6A-4A6D-A050-D21E516EC9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9fd957d06f9549d11ea84200d3ec675a0d0b11","datavalue":{"value":{"entity-type":"item","numeric-id":855007,"id":"Q855007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$A18590DF-8F82-4443-9F80-DFEDCCF94548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fef702d3dfc6983b8b868d96af6e8261be1cd5","datavalue":{"value":{"entity-type":"item","numeric-id":820139,"id":"Q820139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$581337EB-C5B0-4835-8A65-F6E031FA6A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca3ce9f2c865da557411c6ce45966293f3fdcb97","datavalue":{"value":{"entity-type":"item","numeric-id":5942992,"id":"Q5942992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617720$586313DE-FFE8-43E6-817E-8D6A5A00F7B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e1a846448cb7a50c916ceb585516b2dc097625","datavalue":{"value":{"entity-type":"item","numeric-id":4847022,"id":"Q4847022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e47912648fe098bb831cc4054f12e5b26e4ee4","datavalue":{"value":{"amount":"+0.792874276638031","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":"Q3617720$DD3B3816-8248-4C17-ACD5-B38CD1C48702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e634edac656c8abd407fda4f697b3b47f629581","datavalue":{"value":{"entity-type":"item","numeric-id":5501929,"id":"Q5501929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b8b6c7cb12b9fb821eb354c0b1e3bd34a38385","datavalue":{"value":{"amount":"+0.784500241279602","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":"Q3617720$19A3C5EA-04C3-4503-AEA3-C6758AB776E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80dff32e03f11cd2e067fc4f19317f0fe7cca91","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f350ae6e58801e4b3eacf3f50c10fb8d1d5648","datavalue":{"value":{"amount":"+0.7705429792404175","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":"Q3617720$D6B1CC9B-E7B0-484F-867B-35A705C5DE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f8071604c3051ea9df0471407f09edf9a475ca","datavalue":{"value":{"entity-type":"item","numeric-id":5055959,"id":"Q5055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113d05308d8d0de3260dafd7d1342146d02bd9f6","datavalue":{"value":{"amount":"+0.7636336088180542","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":"Q3617720$22D29C8D-CEE8-4E56-9CA5-D6F7D69DDCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0caf9741c2c86786ee7114a044a574165fb84beb","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03066263a25047dd4743dcccd3c7bce7170c2380","datavalue":{"value":{"amount":"+0.7600474953651428","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":"Q3617720$0CA7C69C-9D85-4A26-B060-DB150512F92A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics and Bisimulation Games for Concurrency, Causality and Conflict","badges":[]}}}}}