{"entities":{"Q2237336":{"pageid":2248079,"ns":120,"title":"Item:Q2237336","lastrevid":43739463,"modified":"2025-11-11T16:14:33Z","type":"item","id":"Q2237336","labels":{"en":{"language":"en","value":"Towards general axiomatizations for bisimilarity and trace semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7415132"}},"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":"Q2237336$E798FFF4-F1F9-4C9D-876C-D996103ACE01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"258b492a79c8c667b26f0c63e8197da3c0311c0d","datavalue":{"value":{"text":"Towards general axiomatizations for bisimilarity and trace semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2237336$3D2F7C19-CCE7-4DD8-87B7-3E64A18D0BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70a71a100c5f9ae656a575fd1252e6df9b634e75","datavalue":{"value":"10.1007/978-3-030-73785-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237336$47C61698-453E-4865-9003-C4CFC5663B0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$E3A62437-1E4C-4971-B0C7-2023953BD97F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8b86c03faa759ce1c86852416c5f440b0ce79a0","datavalue":{"value":{"time":"+2021-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2237336$472DD1F5-46FE-4A7D-8EC0-216495FCBF9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237336$1B5EF133-7BD9-4049-9C36-0EB7EC8BFB51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfad8a36c171640899b3b6abde866330ade0ac07","datavalue":{"value":"7415132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237336$19B3415B-C6C6-4F7D-AF19-E86DD64BBAF4","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":"Q2237336$14D54CA1-624C-4316-A817-7669F847D1EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"520488378dfbe0097411829ead4003082db8d04b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-73785-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2237336$74F183BD-3ECC-4452-A762-FF71CF045744","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5fbea5a7e06244ac4c9fd9fdadbfbc304b738e3","datavalue":{"value":"W3155482678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237336$115924C6-D27A-4B87-8412-FB4F88D35E32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$9ED82415-AFD2-4551-8E99-7A25DB2A0480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$AF7649D6-9637-451E-99DB-E609966E2BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$6D66CC08-958D-4DD1-B37C-9CB38FB07CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$A2DDDF7F-2F17-40E4-95E9-0D6382BC515E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d582a0d50e629df24500ae1a94f85ab63d37cfed","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$3C0EF4A4-BC93-4E1B-8B5B-21F1A9DE071C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$39A5852C-F872-47CA-B5D5-6AAB635D464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f45a7e892282bd28ecfab4f5d853b99cd36545","datavalue":{"value":{"entity-type":"item","numeric-id":1683708,"id":"Q1683708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$1744DEDE-C18D-40E1-9382-63330497E7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8677f83a5bf8cd2c98cefeb4d92b4a1f909a5cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2056980,"id":"Q2056980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$044C84D7-2C92-47EF-B946-815DEC46AF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d8c1b223e1ad4347765b393bd3e2efa8abf27a","datavalue":{"value":{"entity-type":"item","numeric-id":384933,"id":"Q384933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$42DF59E9-61F7-499F-BAAE-F28ACF19BC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25094daad4eba5d5918f009e1854efead1c55900","datavalue":{"value":{"entity-type":"item","numeric-id":5404482,"id":"Q5404482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$A45E1250-1153-4B1F-9CEB-E05366F4414B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f575f6ea3fc5b19f5994f76806a69285836dc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2253178,"id":"Q2253178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$AC235E30-6645-4BFB-9084-BED53B5125E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3a6c6d4bc0a1cb471812518ad2ada2248ce1ad","datavalue":{"value":{"entity-type":"item","numeric-id":2257984,"id":"Q2257984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$25EA77F0-4BDD-4080-BC82-72FCF8451425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbfee441e45d4299aec93019ffc087dc53a3d1ab","datavalue":{"value":{"entity-type":"item","numeric-id":4635597,"id":"Q4635597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$DBBB9431-C108-4168-84D7-D4B8177DAB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54c7eab1a4889fd8306d96eba4f9338d17d0146","datavalue":{"value":{"entity-type":"item","numeric-id":5094151,"id":"Q5094151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$8E69ACBC-C6A2-4906-9CE7-52308CA6EB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6b7d32e3b50e59e9c3b73a59e4633639d022f3","datavalue":{"value":{"entity-type":"item","numeric-id":2946691,"id":"Q2946691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$C4B2B7C3-95BF-4890-97C5-27C319E1F375","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":"Q2237336$383DBE04-1949-40A8-943E-C4D2A2B8B50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4e31ea40f22061b200b5f9a54195f222d0843","datavalue":{"value":{"entity-type":"item","numeric-id":5410679,"id":"Q5410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$584EBFD8-0DB5-46EF-8FE8-D3C785BEC4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90b2d28fac9587e166b346b7381bc4f656d8d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5419173,"id":"Q5419173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$C53CA91A-AD7B-44DF-A417-097CBE8670FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06bcb8c676341ece13b429382208fc9272f53898","datavalue":{"value":{"entity-type":"item","numeric-id":5756507,"id":"Q5756507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$25C2080D-B8B7-4794-827F-4BB94B96ED01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771096eacbd8ecbc3cd371619bc85cbb2c2d7025","datavalue":{"value":{"entity-type":"item","numeric-id":2561156,"id":"Q2561156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$FFF653C4-1157-4F21-949E-F13069BDE806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$3ECC59BA-8627-43B0-A595-F4FAB3353257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$C49DDA5E-A783-44A0-BC1D-AD438F8D22A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$D2829004-2AC8-41A1-82C8-1E200445EE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$E298458F-1D38-4FE7-9B95-4BB7D22BC2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$96F8C24D-9CAA-4624-B0AE-28769D8B11D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b473c9c36129e08c9103b0cfba5f9e3ac9f87d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3184746,"id":"Q3184746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$AEEDCBA1-89C5-4923-9860-953FAB95BF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$4EA30FD4-2326-4ECE-AB82-6F8034776410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$5F943AD5-BCA9-4EE5-BA67-E20C8D80717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9844ab87bc066a5636c9d6e4c29dc93789dc67e8","datavalue":{"value":{"entity-type":"item","numeric-id":3460420,"id":"Q3460420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$91D72823-D0CB-4B6C-B24C-81F692A65AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a41e316741780ee1f9276c67a0200f1f3df615b","datavalue":{"value":{"entity-type":"item","numeric-id":5900567,"id":"Q5900567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$36AAD265-05E6-47ED-ACE4-9EFD69B7421B","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":"Q2237336$E87CC85B-21C4-4A8B-A075-505A1294FC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$B1A2ACD9-5CB7-423C-822E-4A5F41AEB10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b06465acfb77d3eb78894f033bc3d30f6a01b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5890064,"id":"Q5890064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$12902292-4AD4-4912-9010-B54F07287B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d016235ebb01d31250876b3d17d640c533c391","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$214E7551-03C7-4FE4-A41C-7D621A4F1AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a04f2923cb60b1d38acdc06d7cbc43779b1e66","datavalue":{"value":{"entity-type":"item","numeric-id":5739363,"id":"Q5739363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$94AB2A30-4C23-4E27-8A62-1E7ABCCA1B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1b8d7a51db5facac5bbe8437b86cde82b90d24","datavalue":{"value":{"entity-type":"item","numeric-id":5299841,"id":"Q5299841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$E2B19F63-B727-4AD2-9141-38D62C3BE288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$9ED53813-F089-4C19-BF58-548259A6C47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111b88d6a07e311065185f1aed7152cd8712bb10","datavalue":{"value":{"entity-type":"item","numeric-id":4965819,"id":"Q4965819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237336$24E65115-D14B-4350-A9B5-2A330E7234D1","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":"Q2237336$E2E3FD3C-B970-48F4-9F89-9A9488F474C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2237336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2237336"}}}}}