{"entities":{"Q1398380":{"pageid":1409120,"ns":120,"title":"Item:Q1398380","lastrevid":70330833,"modified":"2026-04-13T14:03:16Z","type":"item","id":"Q1398380","labels":{"en":{"language":"en","value":"Bisimulation congruence of \\(\\chi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956121"}},"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":"Q1398380$8E0F71DC-3E4C-4232-99A9-0A204ADE96D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b3ff73e56cdc10f4dc6c7a81453fb386a2c1df8","datavalue":{"value":{"text":"Bisimulation congruence of \\(\\chi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398380$EA87F79E-AFC7-4829-AB62-46999758E6F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bcbf30a4fb4320aa246c3d926b49bd49cb3a329","datavalue":{"value":"1028.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398380$F908E679-E634-49B5-9D5C-2FF7C79D8776","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ca8f42d5fa99d582b28c43d27fd90302f164d51","datavalue":{"value":"10.1016/S0890-5401(03)00061-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398380$656826E0-5EF2-4671-B3BA-0AA1FCABFF8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$444A8E4E-287B-4CB6-85E4-F334BF4AC5DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$898CC170-AB2A-4B90-92B3-3A8CA7514889","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398380$5C69EFCF-FD0D-43DD-8140-DCC328D4D922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398380$E35C766F-D2D6-454A-AEA6-0BF915E8C874","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57223b08946d1ebc65da781df3031f85e0bfcac2","datavalue":{"value":"1956121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398380$E90FC238-A352-431C-87DC-4E1E2AE63FEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398380$C387DD07-A9CA-4014-A375-B6DA95DE3B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74589cb55668d85b91334d567ff476caf3245675","datavalue":{"value":"Mobile process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398380$382EFE56-C668-4D1D-AB30-02C2AC62F881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f28fe720577a10f3ad8dd9b488335d3852d986","datavalue":{"value":"Bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398380$4082CAB5-6250-405C-861A-770EF117DEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6d42a1fb1bd68d66aed5ff0bee0bb0abed3959","datavalue":{"value":"Axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398380$C2C64F5B-4446-454F-AB7A-C3BC38322237","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":"Q1398380$4D0EB4F3-8307-4075-B5D2-02EFB4DBD21C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$BD099EA3-D2AE-499F-AC5A-74864C814845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$7C1120CC-2AF1-461E-AE37-11148FF466F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86c412fee22d1eaa66c73f4924733307bfe0d4d","datavalue":{"value":{"entity-type":"item","numeric-id":4571964,"id":"Q4571964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$E5AB453E-8715-4A0F-9EFA-F8D7ABA869B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1013b548fbfa674bdce1048e7645073cd54550","datavalue":{"value":{"entity-type":"item","numeric-id":1389093,"id":"Q1389093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$4308D28D-D3DD-48D1-9A19-40FD2D8B89C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd342b42e3ba9cf387785bde06e1fe6270a917f6","datavalue":{"value":{"entity-type":"item","numeric-id":1273068,"id":"Q1273068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$69A5AC19-DDDC-4744-B1F6-AA36FD8A9075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2b69b673372da9a4630e03aecd124942a7f30","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$F2391A1E-89E9-42EB-A206-C848D6B87A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899172da4877811aeeb828a35e9a9664faa7a2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4270066,"id":"Q4270066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$A03BAA19-B919-4617-A6E2-F9870CD5E9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$DC889F47-6939-43DF-B52A-840B76FEDB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def86cc034f8b315d5ab39ad0f4e9f18d552f966","datavalue":{"value":{"entity-type":"item","numeric-id":5096731,"id":"Q5096731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$2F45B06F-A52B-48C4-99EA-561E1A17BBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d21f0015ba47b85d962f6f917701c3f715bba9","datavalue":{"value":{"entity-type":"item","numeric-id":4219039,"id":"Q4219039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$102C3B43-EE5F-4DF2-BE25-2E3437B5DD8E","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":"Q1398380$7C2ACDB0-31F9-4AC1-9582-83ED87C9DE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$B3865277-3E83-4A3C-9C0F-418D762E3246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$8AB8AFB5-122C-4B06-8C1C-173221B27354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918c90c740fb88aa5073f69e0a5ed72039f108ba","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$03281FA6-DE23-4C8C-9F1E-936B2C541D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fe61ea4c7c2273772517d1f37a616375d0b1db","datavalue":{"value":{"entity-type":"item","numeric-id":4219040,"id":"Q4219040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$80615BF8-1B6F-4E8A-AE94-40A98E438D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$B0AFAC0A-6401-4B8F-8842-F6724B349B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$BD78B166-0328-4FA2-BE55-C3593F921983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba27ba98c7c431125f81ca3dc365c703443ec4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4791841,"id":"Q4791841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$976C026A-3C48-411A-9FCE-7F4E6A30DBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$89F799F5-8477-4BD1-ACB0-E997C7E22F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84a34f7ed2a4c6a1f340d4b5ffdb2124876a3c1","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$736387EE-9170-40D7-9787-DAFCA1E03EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afb914a4d040203ef2e139a0192319c6fee9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5096237,"id":"Q5096237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$618221B6-6995-4C6F-9FBB-0784A9564343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db190668a33e10fd7ad9de1c45951ca622381f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398380$D601407E-2323-4717-95BD-3386D1AD4243","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674e844a8d35aa6055616c89d0c4ddfb5b818fa","datavalue":{"value":{"entity-type":"item","numeric-id":5897764,"id":"Q5897764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba0635e734f38bb3fecac2a21b2be27d0cda113","datavalue":{"value":{"amount":"+0.8804259300231934","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":"Q1398380$FF68334A-F630-4493-86DA-D1EE8C2F922C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3401973df332edd1e16a463447336ada6ed5f04","datavalue":{"value":{"entity-type":"item","numeric-id":4270066,"id":"Q4270066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57e59134f901649c27eebcad6aee4e1dfdc46bf","datavalue":{"value":{"amount":"+0.845383882522583","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":"Q1398380$CE1A0D91-A0C5-4160-BE06-B4CFCB44E682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30641113a32c50f58bfc962aef154b8c4df3e98","datavalue":{"value":{"entity-type":"item","numeric-id":5491619,"id":"Q5491619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481d93cb2df62db98fd7ae0f8b5044356c585e91","datavalue":{"value":{"amount":"+0.8153296709060669","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":"Q1398380$57C7F8AC-8C60-4D35-B6AE-273760FCEAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982804285b710fc483e181a607dbcd8fa66f69a2","datavalue":{"value":{"entity-type":"item","numeric-id":2845515,"id":"Q2845515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0102e5b005f75b5cc435d41ceac4a60afd573ce4","datavalue":{"value":{"amount":"+0.8151663541793823","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":"Q1398380$779A0692-D11C-4B47-A286-7AE887662AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a19219e5d59772af7065bb5f3e150b8e51ab4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4369920,"id":"Q4369920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d09f421a819b06c8d931b22f2b6a763e02dc6d","datavalue":{"value":{"amount":"+0.8142548203468323","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":"Q1398380$0AA806D8-5D0A-4BEC-875A-710ED8114738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation congruence of \\(\\chi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_congruence_of_%5C(%5Cchi%5C)-calculus"}}}}}