{"entities":{"Q5958613":{"pageid":8135415,"ns":120,"title":"Item:Q5958613","lastrevid":47755294,"modified":"2026-01-02T14:53:26Z","type":"item","id":"Q5958613","labels":{"en":{"language":"en","value":"Explicit substitutions for \\(\\pi\\)-congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715642"}},"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":"Q5958613$CDE51DBD-3289-4FBE-B789-AC4E64E7CCF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74c1e622857a369246075e28eb9c0223d4560a5c","datavalue":{"value":{"text":"Explicit substitutions for \\(\\pi\\)-congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958613$53A97102-363D-4E38-8ECF-95ACB5EE0ED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ace2f593df62a327ae295065e511a2d879e4b619","datavalue":{"value":"0983.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958613$05689F97-A329-43C9-9B96-958E81AA4D60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b952fa837bc15b1173a5a216ba1f27582472dbe9","datavalue":{"value":"10.1016/S0304-3975(00)00376-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958613$A0348508-7FB0-40B5-A284-69595FEB1BE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af968b07baf6554fb884c7eff05e6af89c4835bb","datavalue":{"value":{"entity-type":"item","numeric-id":236448,"id":"Q236448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$E973DCDE-5716-49DA-A97C-43971B63D182","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":"Q5958613$15E9B4F3-A63B-46E3-B025-40E52ECF650D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-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":"Q5958613$DC57B53F-7863-497C-89A7-A456024F5201","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958613$16421CC3-7E56-4B09-8070-5FED211DFCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958613$CD3EF779-4E3E-4F83-BEB1-28B155817E33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c710772435e84a5fdc3b96201fe0f14d103aadec","datavalue":{"value":"1715642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958613$06E845D0-4D70-47B1-A696-21D5D76DF252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f58028c0487c0fcdf8e76ef0b002646e177237c2","datavalue":{"value":"calculus semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958613$9DBC1618-351F-4605-88EC-ADD256AB0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820f096069bba69a15031277247d5f7b4738081d","datavalue":{"value":"late bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958613$0F754E73-083C-42DF-989F-D3D61DCD09D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3338cc79076fff96b77b2dde5bd4840281b0644","datavalue":{"value":"late congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958613$E93F9B72-5D31-44E0-AAD0-7E4A15E1F3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b85954cc429590b8cd32994d18e8eca846b26f","datavalue":{"value":"open semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958613$3EB60526-8CA8-4E84-A228-2E17EC3B062F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfaa7c44a41f5b0af2c962016ce80b5c086dc501","datavalue":{"value":"CCS bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958613$BFE2E743-1E5E-420D-A18B-A9C2046BCD2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$6106D7D9-F8C1-4B30-8C7C-F2C78F8A17DB","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":"Q5958613$035DF3B5-73D5-49AC-99B7-62DA6C8E5935","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$4BC3F64D-C4C9-46D6-9AE2-4FC21846EDE8","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":"Q5958613$674CB370-E079-4973-ABAE-BC63F7EB8F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$95B284DF-2ED4-4F38-BE7A-B63CF2C4B715","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":"Q5958613$CAE3599C-F505-4924-8688-16B1D86182FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$E4669791-6A09-4012-9494-32EF452AEF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36f1c1ba5216fd81ce66a19018f65a7da66af4c","datavalue":{"value":{"entity-type":"item","numeric-id":1350998,"id":"Q1350998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$A3AAC248-3132-4CD9-A369-26E75AEC1EE2","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":"Q5958613$1F63A961-2BC6-4DE1-8146-A7777460D93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$FFA519E9-9A6A-4AF9-A40D-29C2E570C170","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":"Q5958613$E06159AC-0A5E-46FE-B809-DD79B198CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f37781aa914c1d87d854c93e84c935e8c635ef","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$0C26C79D-44C0-4A34-95DD-12F2EA73E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$0FEBD0DD-38C2-4FA3-981F-D2597B14C177","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":"Q5958613$ACA695E6-75CF-4A91-A981-960D8D541606","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":"Q5958613$175BF94F-72E2-49EC-BBCA-CD9FFF5DFC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$DCA14865-394F-4449-B529-98F8A2A2260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958613$4F83304C-6A80-45D5-8569-D5F84D2C0C3A","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":"Q5958613$D436DCB0-4566-4884-82FE-4909C2E8D1E5","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":"Q5958613$16497410-5EC4-45D8-A26B-986F34B79028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b12e5a3481f4245878ba133aa65e0b80e46bd3ea","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00376-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958613$F965F261-A808-44DD-A67E-5E59E3937311","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a83529c5bec4222b00bf65a114c1301d2dce49eb","datavalue":{"value":"W2016436631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958613$27231C28-E17F-46C5-AD73-668EEB2A8F78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a2e7d520e7b0cb842e260a1a932c3c312a5328","datavalue":{"value":{"entity-type":"item","numeric-id":5096892,"id":"Q5096892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7bb31e1fd42e954577aa97fb107415987b856c","datavalue":{"value":{"amount":"+0.8602281212806702","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":"Q5958613$F70260AF-0311-429B-98E1-3E3E9618E768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fcffddc6d47534ec880c714fd82b11c2d77bc3c","datavalue":{"value":{"entity-type":"item","numeric-id":1350998,"id":"Q1350998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433adae7f5ca97419eef0501a0fef9c52adb054a","datavalue":{"value":{"amount":"+0.8417119979858398","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":"Q5958613$42080032-F3ED-4D43-BBB5-7A6DBF255BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ace346f000d5f81f11a6e5392281962c984e3","datavalue":{"value":{"entity-type":"item","numeric-id":4571957,"id":"Q4571957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3165f2898ddd0f043fe831c503a7db20063b8af2","datavalue":{"value":{"amount":"+0.7814767360687256","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":"Q5958613$EA7E1124-9F9E-4361-950F-0DA34B04C6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d406a7f1e8ed290248a08608149556f1b57bc6a","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d78fa581d7c6b134faf452c06e2ca1f7fe10e5","datavalue":{"value":{"amount":"+0.7805908918380737","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":"Q5958613$FC1AE3AA-28C1-4C57-B2B6-E873E15D2F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354c2da56a668db26efca130f224d12a9a5a099a","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea892cf1fc16b508b4ec4b6d3aa3bb6902c0be86","datavalue":{"value":{"amount":"+0.7795656323432922","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":"Q5958613$0400B52A-E361-40D3-8540-BA423029F35B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958613"}}}}}