{"entities":{"Q5310634":{"pageid":7340208,"ns":120,"title":"Item:Q5310634","lastrevid":50182442,"modified":"2026-01-13T10:24:37Z","type":"item","id":"Q5310634","labels":{"en":{"language":"en","value":"Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200104"}},"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":"Q5310634$DDF4E0C2-5CB0-4277-B6AC-B2ADEC4577D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5814dfc5893c9308bd84157b8844e36d8672ea4","datavalue":{"value":{"text":"Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310634$46934C9B-CAF9-40F0-AFE5-D04800F7BCCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b1cabbc9e6d41c4f39a9d22cc585bb0101a76c7","datavalue":{"value":"1125.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310634$6C32B953-FC0A-41C2-96A5-F1C0CD9C09D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6269bd30f306d18c67093e80fd3430df43fc44b0","datavalue":{"value":"10.2168/LMCS-1(1:3)2005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310634$8C2C8C7D-DA07-4A04-BE0B-64912C28096E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310634$C556602C-E073-4A2C-8277-D64630C809A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310634$D64BF595-FE59-4E93-AEB9-D1B7CDBFF127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310634$6B610A56-4576-4DEF-8DAB-9177265B25DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310634$AB0BA6B2-FAE2-48FD-A5BF-3742C69AE347","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310634$2DE05D66-52CE-49F1-9B5E-6F84191B785F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310634$93D559F6-07AD-4DF6-8386-A6E521DC03E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310634$326FE67C-8D5A-4276-928E-EAA5D5AA918F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7a22a89359dfcecb8b68c0b992d670a13f69276","datavalue":{"value":"5200104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310634$BCD883C2-3830-48AF-A64F-2EFE7F947BAF","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":"Q5310634$D615683B-7B18-4012-B2C7-EF4A9C39F190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24ee08b7c1c9745d65a9c92f355137ffaf85d943","datavalue":{"value":"https://doi.org/10.2168/lmcs-1(1:3)2005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310634$CCBC1ACD-666D-4167-BCBA-9CF3526ECD62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2b0fece3c1630bb0151a6f24ba52ef8b38f6a15","datavalue":{"value":"W3103350868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310634$72C5BC6A-36A5-4237-9197-2A715FF14E23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54708c9a35465c94f07162270ea3ec8a605d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1763725,"id":"Q1763725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b851b7d6a64eb0a4c80252cf0e4392e2d7e4fd","datavalue":{"value":{"amount":"+0.8561303019523621","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":"Q5310634$41023FE1-1CAF-4298-88B8-594457A7EE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a787a4c613ab1ea1bbbbac1a60696d274fd6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3525626,"id":"Q3525626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2a05ec9f760d67c6575cc9f3ba7eee8a9f5de5","datavalue":{"value":{"amount":"+0.7893731594085693","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":"Q5310634$927DC56B-42A2-4BC3-900A-99C9B97C8353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c5747e9fb1e1f021b9979dd8f50c21a0325d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5056368,"id":"Q5056368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182369af836a464712bdd22f86cd53f37d81ecd5","datavalue":{"value":{"amount":"+0.7878924608230591","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":"Q5310634$FFDA6666-2F9C-4F95-AB1C-54D2F66D7963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12624ebf98916abd9ac6768865f92634f680183","datavalue":{"value":{"entity-type":"item","numeric-id":5277824,"id":"Q5277824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59defe585ff428c1111a16db06e35dda1d6fb5d7","datavalue":{"value":{"amount":"+0.7622811794281006","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":"Q5310634$92932FFC-5C31-4268-BBAC-7C337F7449AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656ad9b1871e9e8bec1ce877072d34bb42f5e33f","datavalue":{"value":{"entity-type":"item","numeric-id":672231,"id":"Q672231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809878bd86e1f3d6defb8b53638a243cd2d53ec9","datavalue":{"value":{"amount":"+0.7522061467170715","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":"Q5310634$99B3C4DF-2C2A-4803-BF22-D40A90B21996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310634"}}}}}