{"entities":{"Q5057463":{"pageid":7087040,"ns":120,"title":"Item:Q5057463","lastrevid":41598219,"modified":"2025-05-06T06:08:41Z","type":"item","id":"Q5057463","labels":{"en":{"language":"en","value":"Convenient category of processes and simulations I: Modulo strong bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633574"}},"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":"Q5057463$FC4ABFBF-0685-4665-B56C-13FB2E1DA4CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d07b4b1bdafc61dc95ccf9349f86b2120512f3e8","datavalue":{"value":{"text":"Convenient category of processes and simulations I: Modulo strong bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5057463$49B99A4C-0258-4DB9-B41E-6A823DCEB75A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b1e0db8dbc1fdf90fa466817b2ad5f1df2d15e8","datavalue":{"value":"1502.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057463$5ED03CA1-1F95-4337-85A1-497BB787639B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f64c996030eb95af0556457889cb43529fdda9","datavalue":{"value":"10.1007/3-540-60164-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057463$777BF03C-B31F-44FE-9DBE-8EEE11C1D25A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b294a68ed8bb955f0c6a71e05a0e688382d76dd","datavalue":{"value":{"entity-type":"item","numeric-id":276487,"id":"Q276487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$47B0BC21-951C-49F0-8F22-14E691A5142A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$C9DF2EAA-3794-4B44-8872-45231E7F2BA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9acadd84a8b0de963ab68148d6ca934fa0ce41f5","datavalue":{"value":{"time":"+2022-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5057463$D50E25AB-AEF9-4620-B3CB-182712AA8C5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057463$12017067-D3B9-402C-B2D5-EB2FD66E2900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057463$F103AAFF-FEEB-42E6-B4FA-2A5FAB004154","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1523419d6b6b3f7b8948176e749ca70f49465b6c","datavalue":{"value":"7633574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057463$19722FCB-CC61-4B52-9AF2-E7B3B03C8BED","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":"Q5057463$698E92DC-CC22-4917-9994-190265FC1F86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4222ddc93dda66c68110310ec762b14ef1d45c","datavalue":{"value":"https://doi.org/10.1007/3-540-60164-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5057463$70503F6A-105E-4B6E-8E61-F266740420C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95fa53b6b4a6a1c2c0674f3b6b650051c8638a3a","datavalue":{"value":"W1511705245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057463$F62DED92-589F-4D40-8A4B-BB1E3BB89917","rank":"normal"}],"P223":[{"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":"Q5057463$FFD34A24-A912-41BE-BFA2-7E8C9196FD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$C2B8DF00-EC69-47CE-9488-34122D982CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$27F2E4E0-342A-4B77-A364-0384EEFAA06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ceae87c9949031701fd6e8a998c407d594f1a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1822987,"id":"Q1822987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$4CC0AFA0-AF42-4E5F-B901-0F0C98F5FF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$0366C895-83F5-4586-AAD0-A08561FFEF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$9B5F3184-91C6-49FF-B4F6-00CE00FE1D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$3C28E850-C6EE-4A80-8D41-44F02CC5A050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$0C20855D-FE8C-427F-9D36-958D3A9EA234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7132c44fc3b63f20d06b9565a0ca20ad507826","datavalue":{"value":{"entity-type":"item","numeric-id":3978985,"id":"Q3978985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$8E45F477-1C20-4355-8D92-8242DFB36F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3888cf263b82314d0fe57282afa46d52411e71d","datavalue":{"value":{"entity-type":"item","numeric-id":4877444,"id":"Q4877444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$3A437E31-B3BC-40C2-93B4-EADBCD82667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89399e12b80dfba9b45ec46fb374753356a8bcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4870809,"id":"Q4870809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$FCD9C3AF-CEFF-42B3-820F-66E18B804461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057463$65566430-2EFB-4F4F-BB7E-BBB1020223FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f5d78f480b6921447ce39edef910ddae9b542d","datavalue":{"value":{"entity-type":"item","numeric-id":1424356,"id":"Q1424356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d5b84d4e7cf30cb8110176e241ebfa833e1342","datavalue":{"value":{"amount":"+0.85443234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$C1C82D7C-4E01-4958-B10E-C4A715E06436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ffb7a4bd9af8ecb8a112a6be113733cfef6d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2365394,"id":"Q2365394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07deb6b36ab2cd00d6260ed7eda0b6dd75505cf7","datavalue":{"value":{"amount":"+0.8533496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$47AA9442-B12F-4761-9486-470548CC47DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805fd498e975befd0874b632c720fefda73835f8","datavalue":{"value":{"entity-type":"item","numeric-id":2842606,"id":"Q2842606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944b1d754ac7cba46bd046a8f6b0e3e470cf1579","datavalue":{"value":{"amount":"+0.84189755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$0A815136-94FF-487A-BB14-2027461BC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693d37d59a7fcb0bc7ae05126b5c85f5f9db9006","datavalue":{"value":{"entity-type":"item","numeric-id":5104717,"id":"Q5104717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8a6e1b1fa3a20eda8f755bfc5ce18db429346e","datavalue":{"value":{"amount":"+0.83844656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$54734812-4842-4713-8C88-67551857F1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33e5d03417cef85b116c18e3b1fcdb4f6370687","datavalue":{"value":{"entity-type":"item","numeric-id":2257984,"id":"Q2257984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6650b04404f7663213b932523c0f1855cd0e98","datavalue":{"value":{"amount":"+0.82926786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$DB9484AE-C8D4-4E9E-9855-C1A817E515F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469cfd6f7b35e21636298c35f32fdfdfeceb184b","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ab8a678a85e3a5e9a6c8bb4aed338e1c890471","datavalue":{"value":{"amount":"+0.8286274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$6F49E87F-FC8A-46C9-84C4-AE60F28EE0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310777e9004c5484d50f92e5ea54470091bc94ba","datavalue":{"value":{"entity-type":"item","numeric-id":4737202,"id":"Q4737202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a092e1dcd287e17819c8d271ba3bacd482e7a9","datavalue":{"value":{"amount":"+0.82750636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$208C26F1-A4A7-4550-A65B-F193AA66EAFC","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":"6e84646ddf936a4b833568b35da94088ac182877","datavalue":{"value":{"amount":"+0.82719487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$67B0C490-0D6C-40FE-AC3A-8781E537CA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f973a3cf740520663fbae48533770d730c008cf","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb6940362e38c5506fb6e081f85a5057160469c","datavalue":{"value":{"amount":"+0.8270693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$A12D16A9-320B-4026-B616-11DE903159DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c0154a87e9f7f2a54c9410ed2ff25669ffc3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4457841,"id":"Q4457841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22bcca7074704fe7c6ced4800784bb9f59b8f7e","datavalue":{"value":{"amount":"+0.82686114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5057463$1F83A623-1409-45C9-AC5F-E2F4A8D924A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5057463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5057463"}}}}}