{"entities":{"Q1853614":{"pageid":1864356,"ns":120,"title":"Item:Q1853614","lastrevid":74352888,"modified":"2026-04-14T19:41:36Z","type":"item","id":"Q1853614","labels":{"en":{"language":"en","value":"Understanding the mismatch combinator in chi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857131"}},"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":"Q1853614$F2050F80-B274-4072-B067-F578763F5327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cbfd26c9caa5c5bc29e72d7d2aa9107d6693cdd","datavalue":{"value":{"text":"Understanding the mismatch combinator in chi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853614$06879CB3-1DFB-4805-B5A7-7FBA609F7268","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b61a0247559dffe6cc607f0a65230b7588602617","datavalue":{"value":"1019.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853614$182923BB-2FEC-404F-A58A-4164D2E411CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c84c293772b1e41a1b094481d70b531b0f1e717","datavalue":{"value":"10.1016/S0304-3975(02)00373-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853614$D84694FD-28E9-4F18-8888-A00D55BBD632","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":"Q1853614$3ED80A0E-A4C5-4384-9D67-70D564EEB6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"236796c14012ea4b795269f793a291ff9a5c9bb6","datavalue":{"value":{"entity-type":"item","numeric-id":1054171,"id":"Q1054171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$2AD04BDF-FD63-4D78-A13C-7480FC69DCC7","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":"Q1853614$534A5770-4667-4879-959A-CC7532B8ACBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853614$12E34E16-8FA0-42D4-9526-6D5384116C77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853614$5102F1C6-A8FA-4CED-8E73-88607696C30C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce848819e126014f2c775e3d3dc1dd49de8f2c21","datavalue":{"value":"1857131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853614$F3110E37-521C-405C-A76A-89A1BF7B8221","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853614$BD91D512-604D-4643-B9B5-9E2AD7F1F1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1d467c1c6291edbfcb1cd91608812232bc55b9","datavalue":{"value":"chi process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853614$371CFDBB-AD0B-45E2-8B1A-D8A22180F02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853614$F6992DAB-A926-4334-AB09-D10EFDB97675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853614$E6D554FA-137A-484C-A43F-1FCBFFE3DE6B","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":"Q1853614$893267EF-D7D0-4E46-A53E-55DD54B3E2EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$A751A1BA-84EF-47B8-9BB7-5F6EA1967F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$4E93FEA4-36E8-4C99-B852-D5EB5C071F92","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":"Q1853614$6BAE3F76-5161-48D5-A054-94A15A2EFD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ac231ad1007d099102e06d21b9df77de9226e5","datavalue":{"value":{"entity-type":"item","numeric-id":1273581,"id":"Q1273581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$0F0EDF05-A3C6-413C-B3AA-F7EE56371ABE","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":"Q1853614$0324520F-567D-4357-8F61-C8F8CC1498EF","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":"Q1853614$AAD3E39F-4E12-496C-A49F-C92D74C635BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce28bdd6fde7df4e986f2d55d7a684a422109cf","datavalue":{"value":{"entity-type":"item","numeric-id":4536631,"id":"Q4536631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$5DE39C77-FCD1-4FD7-A4AD-F970DC23F5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6663f950e16e5db7534864e6f896f18eab766b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4472461,"id":"Q4472461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$C7A29301-7040-4FA8-8986-B8B815C5C91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249ab90415ee5445f74cf15f703666c408a659c3","datavalue":{"value":{"entity-type":"item","numeric-id":1884877,"id":"Q1884877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$D88D2CDD-5BC0-4DA3-9AAE-A480F2CD1B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$3EA22000-A167-40A7-9750-D9910A578D78","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":"Q1853614$94CFE22E-9EB7-4A13-A41C-C2E65AC4F608","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":"Q1853614$7B1DA6D7-0726-4B77-B31A-A922826B12F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$4A0F9910-08E1-4979-88DF-2922CB2E2F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$E6DD5C6B-B349-4B6C-ABE3-6B46EB87A372","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":"Q1853614$BC0C9601-6942-4DB0-8E4C-3D0463C10AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$6491C1BD-A119-4606-9A80-69CC4E19BAED","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":"Q1853614$BD63A027-F919-45E4-9563-0E5491054CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853614$977226BA-B42C-422A-8C58-98E91BE1A3F2","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":"Q1853614$770B752B-7C4B-4C9B-BE36-90CFF16FEEFF","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":"Q1853614$EDCDB498-9EEC-4FB5-8E04-8BB7F7C19B65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5a36c10ec61144240f4408f19bfd7340dabb5f","datavalue":{"value":{"entity-type":"item","numeric-id":4536631,"id":"Q4536631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a3e7ef14374a9296f046c40e5041088c186619","datavalue":{"value":{"amount":"+0.9488929510116576","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":"Q1853614$7B3C3343-50CD-4E8D-9C64-B154FBF542C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1980a1d16d8fbe8a022536cf8dfb9669999a1f9b","datavalue":{"value":{"entity-type":"item","numeric-id":4472461,"id":"Q4472461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e73d848862a4b84561d6107b196d6dd7206da12","datavalue":{"value":{"amount":"+0.8440070152282715","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":"Q1853614$BC062FBC-3064-4DC9-B151-F154DA06B16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a69184141ba9ac69bc09689de52e5880348817","datavalue":{"value":{"entity-type":"item","numeric-id":5902353,"id":"Q5902353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff637aa75e9c49c235d2f9f7723d9639b361ca3f","datavalue":{"value":{"amount":"+0.7917085289955139","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":"Q1853614$CBBE5E06-2086-4378-931C-29E847617FC9","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":"4bbf321ffb98acf5fb3af5e30e76f338e0bebdd9","datavalue":{"value":{"amount":"+0.7466421127319336","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":"Q1853614$E219EAD0-7C34-4685-9035-32D4153EC44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb889c3a76da4f884e9c06e12f4aaf4282b336e4","datavalue":{"value":{"entity-type":"item","numeric-id":1884877,"id":"Q1884877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2318f2d13442d7fca57b02d8ec2bab656e1a0f1a","datavalue":{"value":{"amount":"+0.7456607818603516","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":"Q1853614$A71FA075-AAEC-42E4-B83E-21F3130EE931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding the mismatch combinator in chi calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Understanding_the_mismatch_combinator_in_chi_calculus"}}}}}