{"entities":{"Q5089269":{"pageid":7118845,"ns":120,"title":"Item:Q5089269","lastrevid":39528277,"modified":"2024-12-30T14:53:14Z","type":"item","id":"Q5089269","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559462"}},"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":"Q5089269$2211DA86-B85A-457B-8785-C69D8589E7F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089269$874B2638-89A7-4012-88CC-8D5FF4FF85A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d09a5ddab40fdc567a008e2f9795c87666211f5","datavalue":{"value":"https://arxiv.org/abs/2008.11499","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089269$840F78BE-D52B-4030-9678-61F38F4307B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089269$9945FD8E-2CB5-4B6D-9087-4078025BE412","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d54d406e610736922b8582dc9be0cd6bf262bfd3","datavalue":{"value":"7559462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089269$905D7041-F939-4ADF-8139-8905EB693D3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$BB6BDCA5-41EA-42B6-9FF9-C7E01CFD346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979db9603752fb3ccc2d6e95b344ced6204730dd","datavalue":{"value":"time-outs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$AC705C75-D78B-4938-A916-EF3D4A91E493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$E6B918B5-797D-4B5F-9A0F-C5E0F17B8330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47ba56d8fe0b4ccf4da3a84184b3f0ffff4e423","datavalue":{"value":"reactive bisimulation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$82559859-092A-4B7A-A9E1-CFB60D3BA173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$F253B525-BFD5-4A75-AE22-EA193F3037F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4207a31d04043f4577e06b2ca7ea6758b73c163b","datavalue":{"value":"modal characterisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$E69B1D1B-13DE-4F73-AEA1-9BF31568895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$E2E6C678-BEBE-4BD6-84F8-959683142181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b58ef4ed937aeb445a1a12982b5e469ce87b4a7c","datavalue":{"value":"complete axiomatisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089269$7F920BDA-B472-42C0-B34C-D71E2E9EF8D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$430F4D06-16E9-46EC-9D86-51587792EB97","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":"Q5089269$610E81D5-F3F8-4DC0-ACBB-CF2689EEC1FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$F27AC6FF-6149-4FA0-BE53-DB784B178364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"240d02459ac45fced65ee4bfa11fa80e224695f1","datavalue":{"value":{"entity-type":"item","numeric-id":2182670,"id":"Q2182670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$F52DD231-64E3-4767-99A5-E87983CE2CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$1EDA9049-8E23-4E8F-B4BC-D9CD5FE30F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dec0b0e7666406d2ead6b70adfd641079e3f0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1329195,"id":"Q1329195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$E61FE480-533D-4799-A544-2998E1F8ED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$E80C0063-45B9-47F6-85C9-E7020CD18CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c29773e6fb774c0c921cb343c7c3bf1c29baee","datavalue":{"value":{"entity-type":"item","numeric-id":5014797,"id":"Q5014797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$82F883D9-5FDD-4EB2-A425-CC28F6648424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$14CB83FD-5C52-478B-BBD2-C8C6BDF74ABC","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":"Q5089269$76DDDA3F-347E-4325-94A4-01B673EF384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$22B5578D-DD4A-405E-A8DB-D78C0050BC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20becdc4dab643799169648dae685ef2e0105988","datavalue":{"value":{"entity-type":"item","numeric-id":2011206,"id":"Q2011206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$158A885A-B48E-499E-8FCC-3629B5109551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689a359b14c7eaf1819996ce0a39be45acac584d","datavalue":{"value":{"entity-type":"item","numeric-id":2340255,"id":"Q2340255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$B4986E2A-63BC-4B31-86C6-2F7B9CF6AF99","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":"Q5089269$0EA96338-FBEE-440D-BA56-BEB7D2DDF6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$1284EBFD-FFB4-4FC3-B395-B323E1A1A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$51EB6C4A-1ED8-4EA7-8376-A829C5FE0654","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":"Q5089269$6CCDF04A-73EF-406A-AAFC-DF17797A3166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$D8CF2248-51E5-4F6D-B771-5FFFF7325826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7792e72500e1bf23de8fb31ab05c05aa2bdd5705","datavalue":{"value":{"entity-type":"item","numeric-id":5089302,"id":"Q5089302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$1C3F6A86-76C5-4225-BB29-76D5BACFD248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c12d01b4b17dcba5eb7f3e67eea2f1bdd2eaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2581532,"id":"Q2581532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$4BF0CB7E-6ADA-4364-A577-E5C1B8505ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$BA0335CE-B267-4E32-9B62-971602CBC079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$DA69CFE9-36E7-4706-B96D-5EA845F0F83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fad09a2261565b34fdede6bea63ddea85f7474c","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$071ED14D-80A0-4A6E-94C0-D91603F60F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$52A32DB2-FDA9-4358-B9EE-2BB7ABC130E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$0DA5F606-D54D-4FAA-A51F-7BDCAF2B4973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089269$F84BD92E-96F3-4DFD-8FE6-BE3198AE1707","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de458a93f0569488b4959ad8906ef60d02ce7aea","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089269$85B4AF46-3961-4D41-8D5A-4D7EE5A94736","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089269"}}}}}