{"entities":{"Q6940577":{"pageid":21147066,"ns":120,"title":"Item:Q6940577","lastrevid":84102386,"modified":"2026-05-10T03:09:14Z","type":"item","id":"Q6940577","labels":{"en":{"language":"en","value":"One energy game for the spectrum between branching bisimilarity and weak trace semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082451"}},"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":"Q6940577$11643B74-0868-4365-B841-4C32FE5BD4D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11e52961865fcb5fa4b17ab1a379acf74780082b","datavalue":{"value":{"text":"One energy game for the spectrum between branching bisimilarity and weak trace semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940577$173B9635-519D-4892-AA54-849347E501A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dce71c15b3d04b09c239f01ed330681d781ff5c7","datavalue":{"value":"1571.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940577$83B17FBB-AD9A-4E2D-929F-C1BE32C0BC12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab2674d6bb95cc9d475e46003968283c664615be","datavalue":{"value":"10.4204/EPTCS.412.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940577$3BB068BE-E1BE-4314-8EC8-C3169190F5D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f02fc4e053a1c1cd3a87cc71caa501d6809a9585","datavalue":{"value":{"entity-type":"item","numeric-id":2044186,"id":"Q2044186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$E88CC794-2A1F-4FDD-8F3D-FCEAB0B36501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$21BCBDFB-52EE-4F49-8649-999094878341","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-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":"Q6940577$6D9B883F-5AE5-494F-8369-2BDD2B7F5F05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940577$4E5A0A54-B8BB-4B8B-AD73-0181877DF644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940577$4F773517-37D0-4B2B-AF5D-0830FBC4B968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940577$5AF9D5CE-EBA7-47B5-BA41-D7CDFB1BB8CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4a546f354fe04ee1e80bb28a46807ab31a7ddc9","datavalue":{"value":"8082451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940577$79BD85E1-1B0F-435C-B067-8A43AADB5EA4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$12D71934-488D-45A4-B660-DD3AC3620DDB","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":"Q6940577$B9783508-91EC-4A01-B356-DCDF6444C3FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8033442409ed9115cd625c6684ff1a5041670d","datavalue":{"value":{"entity-type":"item","numeric-id":6961894,"id":"Q6961894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$CC89E2B4-005B-4C4E-83AF-9C555885A15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d911f6fcfa4d39bdf929dfa4128ebd0abce22bb","datavalue":{"value":{"entity-type":"item","numeric-id":2938050,"id":"Q2938050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$738D4724-BB59-422D-A882-0BFBD1D031A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1f921627fd26bd396e354ea6f988deffae4b35","datavalue":{"value":{"entity-type":"item","numeric-id":6610613,"id":"Q6610613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$D84B9315-4F4C-4DEE-B86A-E391254DD323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6910420cfeb202403aca68fb46accf72d94f7850","datavalue":{"value":{"entity-type":"item","numeric-id":6535628,"id":"Q6535628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$60E4F4E4-D236-4B6C-B907-E1B185540565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641f4fb2d346c7016a2fd82913c47dc5773ff891","datavalue":{"value":{"entity-type":"item","numeric-id":5101352,"id":"Q5101352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$B8D64C53-0182-4E52-9491-54290C17B2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ec8cbc126651ece02153153ecfa2d03c9dc587","datavalue":{"value":{"entity-type":"item","numeric-id":6643746,"id":"Q6643746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$45388DF8-B56D-4FC1-B806-082E273BD6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535d300de6f235b57fd94050dc81ad2d61061b91","datavalue":{"value":{"entity-type":"item","numeric-id":2182667,"id":"Q2182667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$7924B16A-5E0B-41AE-AF47-5156295F64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaa6df896c13383ea0db82d1edab8ee68915a70","datavalue":{"value":{"entity-type":"item","numeric-id":6623017,"id":"Q6623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$EF353883-5876-437C-AD66-BDF3EF3BA2FB","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":"Q6940577$08C4DC7E-ECEC-4439-965C-8008BD228347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c9f74eac30cb748406c937f32441c65a8b1e54","datavalue":{"value":{"entity-type":"item","numeric-id":3105747,"id":"Q3105747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$A1B93258-7332-445E-B932-5E01268DD38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625de7b884f4d59f435c8abb0140d4a07ae34f3","datavalue":{"value":{"entity-type":"item","numeric-id":2453109,"id":"Q2453109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$9FE5E34B-93D5-46E7-8D67-879D8F6652DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327263919aa555338c22c3161dbf4ddc1f5c43f","datavalue":{"value":{"entity-type":"item","numeric-id":2272990,"id":"Q2272990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$8106B0AF-954D-4BE6-8ADF-0ADB1241EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce8677bf0d1c143679dbcad1a0d7c93362fcfda","datavalue":{"value":{"entity-type":"item","numeric-id":6651945,"id":"Q6651945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$FE2EEEA5-7C55-48B5-A371-1AAC5F09DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cb3841cb9de99ab18385b9593c3ef6b8c99848","datavalue":{"value":{"entity-type":"item","numeric-id":2838240,"id":"Q2838240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$ED3E7109-B138-45FE-8ECF-B2E4A578FED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed752b286f55a9bdca77a7f989a9d8812499ce29","datavalue":{"value":{"entity-type":"item","numeric-id":4596797,"id":"Q4596797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$6C471268-BFFF-4297-B619-25AF72B5EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d344781ad3832da1f0f3536ce5d572c9be188902","datavalue":{"value":{"entity-type":"item","numeric-id":2182663,"id":"Q2182663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$E4983E97-04AE-471F-B0AF-DFB39FDFBCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e09172d0fff2e340f4ed83f36aa957556d664f","datavalue":{"value":{"entity-type":"item","numeric-id":6163888,"id":"Q6163888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$D9F3C07A-03D2-4656-9660-7D365877F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$6DD0FCFB-96EF-46C7-97BD-B3AD86203DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26517e98a021e9b36cc4a7f10c7890058cb796d","datavalue":{"value":{"entity-type":"item","numeric-id":5009710,"id":"Q5009710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$AD00C02E-82E5-48D1-B979-BDAA99B095E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ce40313be3be87bc861483369c7be09c2d386f","datavalue":{"value":{"entity-type":"item","numeric-id":6587127,"id":"Q6587127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$00985545-C477-4D30-945A-27050E5FE640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101797d91d2d7c6df8a5918d28290d9f4a66d438","datavalue":{"value":{"entity-type":"item","numeric-id":7030782,"id":"Q7030782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$1D3C0930-00CA-4599-9B8A-E58AAD2A3DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56f9a488daba87556567b5b55f12acfc3f5903b","datavalue":{"value":{"entity-type":"item","numeric-id":4736988,"id":"Q4736988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$A70651ED-7E20-4330-BF98-011CF0842582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19888a00e978a5060c8dc9cba8d33b5328382ac8","datavalue":{"value":{"entity-type":"item","numeric-id":6176116,"id":"Q6176116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940577$3628001E-7AB3-4943-803D-E014A7ADBF61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One energy game for the spectrum between branching bisimilarity and weak trace semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One_energy_game_for_the_spectrum_between_branching_bisimilarity_and_weak_trace_semantics"}}}}}