{"entities":{"Q2827464":{"pageid":2838202,"ns":120,"title":"Item:Q2827464","lastrevid":83747066,"modified":"2026-05-07T10:48:42Z","type":"item","id":"Q2827464","labels":{"en":{"language":"en","value":"Branching bisimulation games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641196"}},"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":"Q2827464$CA7E6110-ED87-4712-BA89-5DF81B8C8FDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"538f33038d8c81a3544bdbfad24ab31fb3852bfb","datavalue":{"value":{"text":"Branching Bisimulation Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827464$FAA7F399-6686-489B-81E1-1573EA39353E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed0690a3678d1996896a43695f28fd415f900a1","datavalue":{"value":"1347.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827464$A08F9EB3-42D3-4E78-B190-360DAF983970","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afcf1a974558c81a3dec0c084878d9985e1ef659","datavalue":{"value":"10.1007/978-3-319-39570-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827464$48482D9F-A42C-4573-88B1-E5C001F56030","rank":"normal"}],"P16":[{"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":"Q2827464$A0F89D90-F99F-4024-8295-BD69CFA89DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab6a5defd203445259095e179813f3407c4dac2c","datavalue":{"value":{"entity-type":"item","numeric-id":1656551,"id":"Q1656551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$AD38D1AD-8A23-4DD7-AC86-3BD62CB026DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$4031AFEC-0A00-45CD-AC05-7C6318D32CE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$8E88B644-C9B0-42F4-BA6A-C152F25C48FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827464$9E2AAD68-61E9-4C14-B5DC-EE780C8347B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1295a2cdbea87a93f1351ca977491e9a80fe99f1","datavalue":{"value":"https://hal.inria.fr/hal-01432915/file/426757_1_En_10_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827464$76434015-8909-4D35-BC9B-D1D91F4C9D33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827464$64F5519C-DD4B-4792-AD68-EFDD54D2E726","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0151438047b61429dcf14998bb4553db9b8f97d1","datavalue":{"value":"6641196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827464$8F93B484-2D6F-4309-8239-027CF73580C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$E129BE74-547B-4F33-A8E4-1C7AD2BC5237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$D0DB3FD9-EF85-4513-8506-2D63FB64FCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$3AB506E7-41EE-46B2-9120-48A935404497","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":"Q2827464$72993062-50B2-402A-B475-F31148EA6621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"986c7e6a18b0294e9ed781596138f275c4001cb3","datavalue":{"value":"W2474862751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827464$7A33B5DD-2955-4064-A88A-5C346A651E69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$F430A00F-0D40-4FF9-90CF-2A0892C3C00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$67DB247E-C5C1-4A74-8619-BAAA099947ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$A0DE1299-4F9B-4713-BBF2-C0F264B3B165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$6B92EA8D-5D35-4A25-AC6F-81B21EC217E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$88D2CE35-1ED3-4771-960C-A1CB8EB71856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$A2A1E029-6A17-4351-9F7D-635D1DB39715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$BE9571C7-18D6-4F27-A130-DC999BE58A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$99511496-5E9F-4C1D-97E0-EC5BB0D868A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5523ae6ddcf8abdcfa811b573deca6335953de3f","datavalue":{"value":{"entity-type":"item","numeric-id":3398965,"id":"Q3398965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$191AE67E-8F01-4A24-96C0-BBC8F225AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$49144468-4493-4747-B6DF-0BBBCAED03F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e546846da5e9d8bfb89e4dfb88db00d4f4267bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5167852,"id":"Q5167852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827464$3259FBA6-37B9-46E6-BEF8-76CBEC3545D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457221e4fd6a28b6cd064f1f31cf667af07720f5","datavalue":{"value":{"entity-type":"item","numeric-id":4596797,"id":"Q4596797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6957615e37e2890228b79b0c884e6253d276f70","datavalue":{"value":{"amount":"+0.8856952786445618","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":"Q2827464$24600E54-B9D3-4933-82F3-A430FBF24C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d612e445a7570e345558759a9b2ec72b828dba9f","datavalue":{"value":{"entity-type":"item","numeric-id":3398965,"id":"Q3398965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e67c68a49321268966701347ef7ca096c2896c7","datavalue":{"value":{"amount":"+0.7970799803733826","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":"Q2827464$5438BEC2-DEF1-46FE-858B-05F6719166BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d48f520fbf8364263093c588137a60c57412aa","datavalue":{"value":{"entity-type":"item","numeric-id":2044187,"id":"Q2044187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08acd07f2ba1410340c0e619d3efc2427deddad","datavalue":{"value":{"amount":"+0.7518028616905212","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":"Q2827464$83F33AF8-197C-4BDF-9A23-4AD00DB91659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba213052ef9e175f0f661107db20078216007d96","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382d2585318b42009c92bf71a0dcb31b7da9419d","datavalue":{"value":{"amount":"+0.7433909177780151","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":"Q2827464$39688840-9AD9-410D-ABA3-CAC683092379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9833a29bd1ae9ca1407ca18bd85061d0f495a7","datavalue":{"value":{"amount":"+0.7392345666885376","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":"Q2827464$44528CEE-073A-4D72-A53C-26E4F8BF1438","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching bisimulation games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching_bisimulation_games"}}}}}