{"entities":{"Q5890043":{"pageid":7919593,"ns":120,"title":"Item:Q5890043","lastrevid":47845315,"modified":"2026-01-02T20:54:53Z","type":"item","id":"Q5890043","labels":{"en":{"language":"en","value":"Three metric domains of processes for bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680636"}},"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":"Q5890043$B4F608EF-25D5-47D0-908B-2DB070A9182A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d00cb90c1926a9ae53865f4cb56ac225e4741d30","datavalue":{"value":{"text":"Three metric domains of processes for bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890043$178EC9F8-D608-4C42-8443-82F5C5B6D78F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b41a3355ad44520935ab4844bc9a55706169c9e","datavalue":{"value":"10.1007/3-540-58027-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890043$37214DE9-5CA2-4A5C-928E-8FFD08C15C63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$3C2E5A2B-F1D8-4543-94E0-4B7414FB6445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890043$9087A07E-B7C4-4B59-97C8-3342AE9EF197","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890043$BA6CF590-B757-428E-95E6-1F64F73B0A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890043$5AFF9556-7265-4E70-B8E7-2EBD3062CC1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7cac5be4d412c589809f4dbdbfd3f3dadaced8f","datavalue":{"value":"7680636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890043$6271762E-AAE2-4EBE-B7BF-40DC6C4FB0ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3898670c8038d41bc285ced065ccb418a83dd818","datavalue":{"value":"nonexpansive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890043$47ABEDB2-52E0-40C8-B24C-41FC83A0237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed6a274aad73026c83d15ad56f65963f8c93e7","datavalue":{"value":"sequential composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890043$2976F4D5-5DB3-4F27-A1A6-78E3582883F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890043$28D3627F-33D9-4D4E-8048-49C29813858D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c281070e184bd73b44dc445c87bc13f774f9e8ef","datavalue":{"value":"unique fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890043$88046D83-CF6D-4DAC-A8AA-BC3580A9F2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a45139f47b3d308156671fc73d6ce136cff3d1","datavalue":{"value":"label transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890043$82E5177D-57B1-496C-B460-8F3B5B641652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fca8198ff5bde9254949379672939d8017bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":456099,"id":"Q456099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$AEFA67C0-553A-4A08-BFBD-C4B5EEF55CE8","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":"Q5890043$9D2CE75A-5E81-489B-B678-A6B902408A77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7588410742fedfa9fc1ac0a85b934588d28d651","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890043$13A5D4CB-C23A-401D-A936-C94556ABC19E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e5ab2427a11aadffa93e2cb471d4db7b43bc675","datavalue":{"value":"W1562176620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890043$C63B7647-31A2-4442-95E7-24E339835073","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da9d892738f38040ee4c5d7ca36e0e15e08c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":910250,"id":"Q910250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$A0C9BB3D-81FC-4A77-864B-1538BD19DA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$00D219BF-52C8-4BDA-951B-69A9B0DE747F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$E29BCE44-86D3-45D8-B637-59DA9FA352CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$D1689CBD-781E-4062-B962-3E25766267EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6a36cba2f777c15fa236efa0a4dff7c0825a6","datavalue":{"value":{"entity-type":"item","numeric-id":1194208,"id":"Q1194208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$8AFA10B5-C6B3-47A6-A14E-7D2534C25252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b3dd982771c82980203ba0f7ebec9b7b6371ad","datavalue":{"value":{"entity-type":"item","numeric-id":1348527,"id":"Q1348527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$1DC4B0C9-E323-47EB-80C3-8D1FCA298356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce43e1bdcf0e9b2ac5a5f1e7902e8c2882908fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1113660,"id":"Q1113660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$6285FF67-1397-4E5A-A18D-AACA0E7A5E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$305FDAEC-D03B-427C-A9A4-5B11A369C0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e5b51817b53484d3dfa2ff8174bbb7f1306491","datavalue":{"value":{"entity-type":"item","numeric-id":3347277,"id":"Q3347277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$C70F33E8-2B89-4B22-98CB-E4827CC3A9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$0CFCA3B9-3756-467F-82D8-107D3546B8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0376c3db189b8c426e304b128e5c8000af4556","datavalue":{"value":{"entity-type":"item","numeric-id":3343434,"id":"Q3343434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$33B7F3E5-09A5-44D3-9457-12B40C1DDB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d970d5073ac838cac148b1cf627c77e02a2b90d","datavalue":{"value":{"entity-type":"item","numeric-id":919834,"id":"Q919834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$44FEA835-A0D5-4FDE-87CF-FB6A5BF392E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$BADB746D-4D44-4F55-BE53-530BB29675CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$7C5FA26B-2137-4FB6-9990-CC44D77A9BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc557107289be9a4c0444ad03ef91bd85cca4e21","datavalue":{"value":{"entity-type":"item","numeric-id":4178474,"id":"Q4178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$62FF15D9-CFBA-4B2F-878D-1DE1608316A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$CE59752D-AC9D-4898-ACEB-5083040661CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c231ff6ad64c1cc9923fbe8e8b62ec3c403ac00","datavalue":{"value":{"entity-type":"item","numeric-id":4279257,"id":"Q4279257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$BF88F0EF-7C30-46F0-9A10-80915946907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c4b1af9ac76b90daf4890674fa1f89be8d76a7","datavalue":{"value":{"entity-type":"item","numeric-id":3993676,"id":"Q3993676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890043$6634E642-3FD1-4F68-B711-974E618AAFB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489e6430505018a743b082bc90fd38dbc6c3ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1173767,"id":"Q1173767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e239dca54ff12e345cce40ff000c09aaef0f73","datavalue":{"value":{"amount":"+0.778925895690918","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":"Q5890043$BE01061C-9AF8-4D1D-A4C2-C1CD1A891F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4749fdb10852b39ea478a4336a7d24f70e618c28","datavalue":{"value":{"entity-type":"item","numeric-id":3975030,"id":"Q3975030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a7d4b8b7f1840a84724fec12513ff9d7f82605","datavalue":{"value":{"amount":"+0.7741352915763855","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":"Q5890043$9570DD6E-89FC-4048-BCFB-3EF2CE43238F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43621669fa72f2c09090eab148ed1d48d89efa24","datavalue":{"value":{"entity-type":"item","numeric-id":1770416,"id":"Q1770416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde2679dd4df17e34771c8c97c316036d33eb9e3","datavalue":{"value":{"amount":"+0.7724403142929077","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":"Q5890043$F7FB71FC-6E54-40B1-AA9F-7216F7511E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4b854e744fe5050706361c48146c441ab95b04","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2402435b370f8f7716d6ad070c213fd56b18eeba","datavalue":{"value":{"amount":"+0.7682679295539856","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":"Q5890043$9616FD6F-EB4C-4661-B441-3A3CB38F662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"497e752d5cf5e2389dbad8aba5832581e5431608","datavalue":{"value":{"entity-type":"item","numeric-id":4279257,"id":"Q4279257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be86dfac810d79a19548450fd0b5b4b233ffb65","datavalue":{"value":{"amount":"+0.7655565142631531","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":"Q5890043$ECFFFC97-4A24-4E84-816C-70F425571AC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890043"}}}}}