{"entities":{"Q2503326":{"pageid":2514069,"ns":120,"title":"Item:Q2503326","lastrevid":49917382,"modified":"2026-01-12T00:51:58Z","type":"item","id":"Q2503326","labels":{"en":{"language":"en","value":"Bisimulation on speed: a unified approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054318"}},"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":"Q2503326$18028D8B-35CA-4C3B-8F1F-BA2E2215DC9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfbd6467ef028e768a9182095dcfaad0245ad948","datavalue":{"value":{"text":"Bisimulation on speed: a unified approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503326$CDA59619-53AC-453D-93D2-DFD7B8030521","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72837ee6f7cbc13d5d631f02dbeaa75f970be6c7","datavalue":{"value":"1097.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503326$C0C5727F-CA13-4D2B-AC4F-1140B8EDC32D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$ADC0F5EE-44A9-42A7-932F-0F1DF182BFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$D00687F5-A17F-4C78-9176-4659E3C3433E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$1EED6C07-AA9C-41DD-AC9B-6D949174CFEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503326$1AB96CB7-6331-43A9-94E5-3D2298BA621E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e81b5329dfd0d539ecfbb980b15560247f87d8a1","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/180","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503326$438F6ADF-2DAB-47A2-815F-E222450DDF29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503326$23D6C875-CF70-43E9-922B-5C5765107BCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb608c7bdb8706b34d43279848f1d822f50d2d4b","datavalue":{"value":"5054318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503326$AE6ABCCC-5CBB-4873-99D1-4699F21FEC14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1050664f45c7b1640e00827efd234ba9089a7c","datavalue":{"value":"asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503326$DBA93C85-C148-4925-874B-11EA5EF9CDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"767d7aaa93135e148ad74e6d303b8eaf48e20338","datavalue":{"value":"timed process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503326$387AC301-F484-4765-9F97-1440E93EC6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa839d063ec40509fc85369f22c662be15e717c","datavalue":{"value":"time bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503326$691AE002-B552-4D93-A711-AC57A2E5133E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84cf2192f78498a12584e77b92e114aa6e9f5d81","datavalue":{"value":"faster-than relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503326$83E7F1CC-0575-4014-AAFC-0BA3B6B94DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f197d0b9162e7b1c9d786841c0e1ec8387d5c3","datavalue":{"value":"amortised faster-than preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503326$CE609EF5-CE7F-4235-845E-E4A83EE3C2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503326$200A7660-D256-4874-B68B-4A80074B2DF1","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":"Q2503326$1BAB7008-A8F9-4AEA-B510-45D2F3DEBEAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ab3619659aa1981df2d18225459ff14b64d8119","datavalue":{"value":"W2142733398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503326$EB6D44BC-1B41-4859-833A-C2A99AD5108D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$7B74B0D1-3212-4DD9-890E-00B30A605716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc1fbd3a5b98796f839fda0f3c43c059ca59b72","datavalue":{"value":{"entity-type":"item","numeric-id":1924998,"id":"Q1924998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$DFE7D9F5-C38C-4E1B-9681-3FF9EE96890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$499999C9-9C7E-4CE8-B872-E0356CD1B146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909660719fd22260daf48ee476618b838d03245a","datavalue":{"value":{"entity-type":"item","numeric-id":805246,"id":"Q805246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$89AFD2AF-6C3F-4E42-9195-2536E0F37A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$2FBCD2E9-F966-4BD7-9C82-27FE043B76D5","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":"Q2503326$F14FBC82-6F95-40AC-AC46-05507791D0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c1e859c4e463aa528e874ccb2a72c86a63c54e","datavalue":{"value":{"entity-type":"item","numeric-id":678252,"id":"Q678252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$74AE3D27-0287-406C-8D76-EDF87E1CAAA8","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":"Q2503326$34B7459E-7698-426C-8DA3-ABEB2B4D2027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bb2d79d7856588575b5f6a12e9beae87fc9581","datavalue":{"value":{"entity-type":"item","numeric-id":674005,"id":"Q674005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$5F78DD64-100E-4EF8-8FF2-EDA4E676B09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$9FD11992-A111-4B0A-B562-57DDB22F4C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bede7737f5f9c73aad8f8653eee1011af3c41fb","datavalue":{"value":{"entity-type":"item","numeric-id":5940928,"id":"Q5940928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$6D5F899B-2F38-406A-A676-FA96629EC34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5762df6be29ef70ca0537e67b7376f47ee026c2","datavalue":{"value":{"entity-type":"item","numeric-id":5479164,"id":"Q5479164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$B6C1E56E-BA8C-46A3-95C6-A57ACCC59DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4716e90af71d607f89f4b46161563fdea0f4d","datavalue":{"value":{"entity-type":"item","numeric-id":598200,"id":"Q598200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$C4292910-7DDD-429F-B81A-84B78A4FA2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7314d879f8d1c1d4fb4cab202bc28bfa0e7d63b","datavalue":{"value":{"entity-type":"item","numeric-id":5313721,"id":"Q5313721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$DF4A8216-7EB6-43D1-8E6A-C1E3EE2E4185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$532DD1C4-E717-4464-8C5F-EBBFDAEBED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$77DA7512-7CBD-491F-98CB-91FCC3071B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$4B17F656-C842-4712-A717-63FA759629B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c1d25d8f3328e97b9f324bbbf97c02995f451f","datavalue":{"value":{"entity-type":"item","numeric-id":1607225,"id":"Q1607225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$FD9D84B1-5282-4BAD-8E69-6795830E8CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96689e7b229190bb13fb0f4a7d926bfbe50ef0f","datavalue":{"value":{"entity-type":"item","numeric-id":1401952,"id":"Q1401952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503326$953B2CD4-1DA9-4BFB-94B6-659D57218004","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cb044d46e638bc1cec9a9be47eeec6bb8d4905e","datavalue":{"value":"10.1016/J.TCS.2006.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503326$080D227A-94E3-437F-B4A6-38EA7EF7FF06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7f1aebdeec7dfd68cd0c428d13392e5f3b818d","datavalue":{"value":{"entity-type":"item","numeric-id":5705910,"id":"Q5705910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3f9489ffe3098d7445c47c511d9c17f9841379","datavalue":{"value":{"amount":"+0.999279260635376","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":"Q2503326$F04622D2-E640-4F63-B040-78217E47A01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf471508596d86069012dcb4df774ebd41cad69","datavalue":{"value":{"entity-type":"item","numeric-id":5308460,"id":"Q5308460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad0664ae116a804f82bbea69a0fa9c892ccabda","datavalue":{"value":{"amount":"+0.8937501311302185","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":"Q2503326$E94EAF09-4B96-49BD-ADE5-00AE56B8BB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4441ea04dc7343aacab0b425a278682f2caf9b","datavalue":{"value":{"entity-type":"item","numeric-id":5313721,"id":"Q5313721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3461994974d2558c5cdf86070ff28d31a63afa6f","datavalue":{"value":{"amount":"+0.8836872577667236","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":"Q2503326$A8827654-4531-4ABC-AA9C-6DCD75BD616E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ddf384574cf359d56a44c20db824dbc2e752a3","datavalue":{"value":{"entity-type":"item","numeric-id":1012122,"id":"Q1012122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49de5da4f1ca6ff2f24bd5f7b3ecab8728412c2","datavalue":{"value":{"amount":"+0.8543566465377808","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":"Q2503326$8C748BC0-05A9-4791-BBD8-FD8FDB218C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da5b999dff946584175228cc89ceac1258a4003","datavalue":{"value":{"entity-type":"item","numeric-id":598200,"id":"Q598200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a97ede2c3e1145805b380af2d058247132cb5d","datavalue":{"value":{"amount":"+0.816653311252594","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":"Q2503326$6697DCAE-BFDC-4FE0-ABB1-AA82C0E77CC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503326","badges":[]}}}}}