{"entities":{"Q2643334":{"pageid":2654077,"ns":120,"title":"Item:Q2643334","lastrevid":50151020,"modified":"2026-01-13T06:58:02Z","type":"item","id":"Q2643334","labels":{"en":{"language":"en","value":"Reversing algebraic process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182399"}},"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":"Q2643334$B8DB0D65-44F6-4AC2-893F-9C9F053B6E2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5b335bc926d4de92bf805cda72f1cf5b2d09b8a","datavalue":{"value":{"text":"Reversing algebraic process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643334$D92AB5F0-4111-4F01-9A15-B1E425D9005B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65dfb3c5c8f24d339d2596ffdd80aa3863e6404b","datavalue":{"value":"1123.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643334$EB1B7ACB-D2C0-42B4-82BC-E9EE99FD0186","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$09FC743A-799C-4C0D-AD91-E55DF29F418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$8D924A47-5930-4BEE-A3EA-AEA1CB82D1A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$EBEEF681-B6DE-4D7B-937D-8362A71227A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643334$D9EC56B9-3979-4DF5-AB75-576FCE5E8360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643334$C1955DB9-8A63-46F4-8993-179812D1D11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643334$9105DEA0-5912-4F95-B79B-FC65A424C07C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b946e635062d11cdac05e8350d1739ae446a1b9c","datavalue":{"value":"5182399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643334$B93057B6-A6DE-47E9-BC9D-D5F66D8532B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643334$BF4E305D-801B-477C-A656-36392E71B8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643334$472809C6-F79D-4A90-9D3A-82634A7A48B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73423617fa0163ad08fa46c16e5bf0f328abbbfb","datavalue":{"value":"formats of SOS rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643334$21FB3DE3-DA0E-4089-A34C-79C2569580D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1732bbb99c4f64e528e0f3b99f281288b1ec9be6","datavalue":{"value":"CCS with keys","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643334$3CA2C04C-9E5A-4E9F-85C8-B904F011644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684cbb3c8bb6bc21d810b4b5d49613ab19c96c99","datavalue":{"value":"forward-reverse bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643334$50C08DB8-CCFF-42D7-B10C-55E17026314B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1a979469576406c936367441842464ac33e6b7","datavalue":{"value":"congruence result","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643334$144AFBAD-BFE6-49B5-9A53-340FB0BF62F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfeb1ce870aecd0eb5c3e3b9dfed6a47ea94b991","datavalue":{"value":{"entity-type":"item","numeric-id":5973013,"id":"Q5973013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$572FB01B-C3ED-4B2D-8F54-879FF70617DD","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":"Q2643334$C4033F4D-7482-4A70-A025-125044C1F0FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c6b96a13bcf7231349ca6254606ba94dc842ca2","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2006.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643334$71944ECD-02DF-4816-963B-DE840A15CDD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"247a071a8bb53cf02bd7f4e047d7b14eea64c72b","datavalue":{"value":"W2059141487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643334$65839D97-5D9B-4318-A2F9-8CD9556F1BE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8f1d3251dc697a715b119d84609f1fde60d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2581367,"id":"Q2581367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$037638D3-FE1B-48D7-929B-83F364AC2E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$D63D3549-A3C3-4C67-8F4A-B03850812387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$423B988C-170A-4AF7-8F74-8E0A4DADE9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd1b6978b5470297511f81d96560a5875694495","datavalue":{"value":{"entity-type":"item","numeric-id":1341775,"id":"Q1341775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$43430509-B85A-4F6F-901E-BEDBDCC934CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147ad53d42ab29328f707b3ada56bcd6151ce5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4535080,"id":"Q4535080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$72DD8DC6-D9B5-459E-92C0-B75A8674C143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4777ba67d503a24baf5f6da1bfdbe7fc15fa520","datavalue":{"value":{"entity-type":"item","numeric-id":2760252,"id":"Q2760252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$D739C301-9E4F-4FE8-A8BE-48D0F0751A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$F709CEFF-9FC3-4383-958D-4DFAE2753721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d8d3ec3b030f52ccf9e125c5e2b260eeeec18","datavalue":{"value":{"entity-type":"item","numeric-id":5897497,"id":"Q5897497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$8D60C8D9-D12C-433C-90DE-E78F62739D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952ffa83772f58e853b610fb1b8d330b822f913d","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$63F73412-4020-4CCB-B80C-54507649A3C6","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":"Q2643334$89FD445E-2FB9-4648-9DC0-6831468E840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$9C944615-155B-4096-BC29-96F971BEED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$8BE97D25-DCFF-4259-BB82-D138A2437A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$EBD70BF7-AD86-4424-9E75-C7F4A863C6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$E74839CF-07C1-4564-BCEB-2AF7FDA86E99","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":"Q2643334$54A0AB0F-079E-465F-B6D4-0B09753866FE","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":"Q2643334$98A26D65-52B4-425A-A8CD-645B1B64C422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76218017137beb3b9737323c750b2d479072697f","datavalue":{"value":{"entity-type":"item","numeric-id":5705905,"id":"Q5705905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$D02DE3DD-1A3D-4266-9E75-7031767F32E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bcf248d456c61a3425e176dcb6add098f14a24","datavalue":{"value":{"entity-type":"item","numeric-id":5899092,"id":"Q5899092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$C85983C6-F356-4455-A5AA-5C9A8833AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643334$110745A5-665E-40DE-A32F-F274900B5ACA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"871372bf6585f386435f936ee2b93c7964f802eb","datavalue":{"value":"10.1016/J.JLAP.2006.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643334$8934B85E-C554-4913-A29C-45657A88760B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecf9b8433df8711edf942e13a5c4071422bffe5","datavalue":{"value":{"entity-type":"item","numeric-id":5899092,"id":"Q5899092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2e5e2d400007ffb37b891a4642dfe2de6f95e4","datavalue":{"value":{"amount":"+0.990164041519165","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":"Q2643334$AEC2B822-199E-432D-BDF1-8F5C761C1584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa564d456de4d572d80b3a15e2e82415e02d414a","datavalue":{"value":{"entity-type":"item","numeric-id":5262973,"id":"Q5262973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a6ab692f5cada835da5ca903ae2636ea7cbc1a","datavalue":{"value":{"amount":"+0.8926911354064941","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":"Q2643334$285A17E9-B164-4D35-8D70-6E02A6B0DB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dd0b6da6c25a2a97a79aca1208feacd92b431c","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec005f1f11779de575fb074041247c24ab84374","datavalue":{"value":{"amount":"+0.840072512626648","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":"Q2643334$4E2CAE1A-34D0-4A72-846A-E1FCEA70AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ef3308bff0526aa02500c3bb954da456a6d2b5","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859300e3028f99c7073efaf172543baffacb3446","datavalue":{"value":{"amount":"+0.8007158041000366","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":"Q2643334$D06FBBE5-EAE6-45E8-BE2D-9F3D78B866DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11157c6ae2cad66c01a40eebfbac892fb79dabb6","datavalue":{"value":{"entity-type":"item","numeric-id":3584950,"id":"Q3584950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9abe037f5cb4f93040cd4e100fb97b829a937ea","datavalue":{"value":{"amount":"+0.7914403676986694","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":"Q2643334$DA45710A-EAE1-41BC-82CF-0BB03B907370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643334"}}}}}