{"entities":{"Q5013870":{"pageid":7043447,"ns":120,"title":"Item:Q5013870","lastrevid":58403115,"modified":"2026-04-05T01:44:49Z","type":"item","id":"Q5013870","labels":{"en":{"language":"en","value":"SOS rule formats for convex and abstract probabilistic bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438559"}},"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":"Q5013870$AAD4F17D-5183-42BA-9391-12C060B1E225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05fd53822ae1837134a8a2e6e61256722e8f31ab","datavalue":{"value":"1476.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013870$9E3AE2AB-13A9-4C6F-9028-3C772F958768","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6ee79c459e72baf24abf4180a3c75000dba8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2093148,"id":"Q2093148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$546C6012-0DCF-4B0A-907D-2B7EA97742A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$582C972E-29B0-42D6-A75F-2B72FA46E792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$6A4989C1-54A5-41A0-8F4E-9C73C1C75259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013870$B07EC3E5-ED8B-4F79-9058-92F149DBB20F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa0260168ff8bceb0a432480ec770ef41bf37ae4","datavalue":{"value":"https://arxiv.org/abs/1508.06710","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013870$813075EB-C9CA-4585-9CE4-B814F3F2E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f669723110fe5e658a2e5eb898e367450e40062a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2015.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013870$4E0B3A70-4C12-4289-B94B-4362891975AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013870$D66DA628-B830-4817-8081-B1B2B172BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013870$E6301687-372C-48E7-BFD7-89A8E5DF4904","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fee9ed61e2c8ac429534247645c4fde38681778c","datavalue":{"value":"7438559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013870$2E754908-6694-4F7D-927D-4441AF769065","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":"Q5013870$BF51883F-3DC2-4280-AED5-020F61DD5ADD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7bae4a87b29ab4740fd8151a7a3eb18c94bb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4790410,"id":"Q4790410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$4263F2B8-7650-4B44-A399-A5CFC17CE9E3","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":"Q5013870$F5061392-C3F1-43FF-BB22-55D3E6F1CB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$50406318-3A5A-45FE-B87E-D0B6E274FF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$7946A6DA-F79A-48EB-940C-E7E81A45C09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$330CE6F0-AA22-418F-993B-27066EBED8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a43d97d8401127eb4b06dd2ef13ac89c0c8dd7f","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$8D36A470-6B28-4911-942B-2A29A645A146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b40068857ad96f49a366f0223730d50ae0ddead","datavalue":{"value":{"entity-type":"item","numeric-id":3225737,"id":"Q3225737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$1F51BFC9-0A16-4265-B7DE-3DBD2F516735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$E3FA6379-34F5-4EFB-86AD-7318D6AD4BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef0293b7d909941669f578e4fe0b01b4cc45fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$6800462F-6938-4EED-B9EF-B4E70BD8CD26","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":"Q5013870$55D00F5E-2F18-439E-A4BB-EF8B998E9655","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":"Q5013870$1BE51343-4761-4815-8A7F-2FE83EEBCE78","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":"Q5013870$B5B7BF89-5080-4DA2-A8AC-926BEFBDB81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$1287BB7E-CF3F-4A0C-ADCC-637F6BFAD5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac49c5ce4683becb4e0e8ec24d9d44383246ef13","datavalue":{"value":{"entity-type":"item","numeric-id":5705909,"id":"Q5705909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$F2230655-C839-486B-9923-EBD4DC3B049C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25c3a754d4ba3631bc79a111d6fb32f5805b16e","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$F4643DA6-E3CE-4AF9-BF72-94095FD6E1E0","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":"Q5013870$03D18C63-21D9-42BC-87A5-DF78BD72DEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f3a5a4b201492acfb23963eddffbae6568bfc4","datavalue":{"value":{"entity-type":"item","numeric-id":4986263,"id":"Q4986263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$6D09744B-631F-4321-B4DB-11C6451BE962","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":"Q5013870$6066C74E-25A0-47B2-AD39-9E9D19B57C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$DCD76FF6-2A52-4AF4-B5C4-752CF8818F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$7468491C-D331-4A2A-A365-E2B1EA5EAFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00db55ae22bb0ccefbf7d62c9e608da519d03109","datavalue":{"value":{"entity-type":"item","numeric-id":974113,"id":"Q974113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013870$B6A8FB08-F5CD-4ADA-BBFF-23A04266B296","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0d741e4dac94536d23ef8297ef05175a5e3c05","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd465d15d54191a335aa5c05da4fe1ec936b5a6","datavalue":{"value":{"amount":"+0.8497535586357117","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":"Q5013870$1C3B9279-FEBD-45EE-9450-1D9BE2FC15EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc503710798dfad31246259e053fc1ef919bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01839771b6d3f26a81d50611008f3ae888de995d","datavalue":{"value":{"amount":"+0.8318265676498413","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":"Q5013870$993B2E55-1102-4CB6-AADD-8C89B36E456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca9b05ed1988ee87deb32aaf767643cec451a63","datavalue":{"value":{"entity-type":"item","numeric-id":4986263,"id":"Q4986263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afca8b4eb82a22f52a4d9690a1491fa57a9e4b1c","datavalue":{"value":{"amount":"+0.8162405490875244","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":"Q5013870$03B0EEAC-C07A-441D-AFE1-884775C8A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6f6d84687b897930055cb2f7ed9e9f6cd647de","datavalue":{"value":{"entity-type":"item","numeric-id":5410679,"id":"Q5410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a9f9da59be627faed60dc096dd1fc77045d4a8","datavalue":{"value":{"amount":"+0.8079463243484497","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":"Q5013870$B06AF1EF-C78C-4AC5-83C1-3F73812E4203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776c55c4b11213a5948a033b2fb5f94aab200162","datavalue":{"value":{"entity-type":"item","numeric-id":2629851,"id":"Q2629851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d98e568fa2e218466194880da62e42c8f11cc3","datavalue":{"value":{"amount":"+0.8042246103286743","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":"Q5013870$30804D11-6D1D-4BC5-87D1-A2D5881F626E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013870"}}}}}