{"entities":{"Q444457":{"pageid":446224,"ns":120,"title":"Item:Q444457","lastrevid":61864080,"modified":"2026-04-11T02:11:25Z","type":"item","id":"Q444457","labels":{"en":{"language":"en","value":"Computing strong and weak bisimulations for psi-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065751"}},"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":"Q444457$22F36387-6A60-43A5-BB8C-C4130CAEE474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b27ca943fef778e6c0906e3b88680557d69d3ff8","datavalue":{"value":{"text":"Computing strong and weak bisimulations for psi-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444457$5E338C7A-1F5B-4C13-8438-877A59AF6C8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ad8cd868896aebb748892ec1f8bb42f61e13974","datavalue":{"value":"1277.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444457$23CE3912-671C-4A6B-A678-C0577471FEB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5757ffd53a105bd739ffe786c1d2226a702b594","datavalue":{"value":{"entity-type":"item","numeric-id":228211,"id":"Q228211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$289CE601-1DE9-4541-A687-6B05501FA190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0ed4a778147dfc838492305e6341530d9443bb1","datavalue":{"value":{"entity-type":"item","numeric-id":444456,"id":"Q444456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$FBEB51B7-C7A8-493F-B69C-8D7065B3E199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$66317F93-5917-418C-9C70-4AD9800AE354","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":"Q444457$29178C0A-0C8C-40CB-B7F1-EFFD31A09039","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444457$BB059C37-9141-4E35-B057-4F91104AF862","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444457$25E07EE0-118D-46B7-9FF9-5F334CB51734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444457$BFB66D0A-D0D1-4997-9E22-7F0CB229B482","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54def969ef4f09c1e1aa4a51f9881701709be8c0","datavalue":{"value":"6065751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444457$AB293354-4C31-4FC2-A0B5-800C4C8297B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0bf2808dc9ccf5fc152d563266adf6dee6f9c8","datavalue":{"value":"symbolic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q444457$BA8BAAA9-97C5-4B12-9BBB-EAFB3FC26A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q444457$06DF3FA0-B7B0-4D19-8A94-81ADCB8C7C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa354a31d13cd812ebb61f1dcac4b96f0ff0010e","datavalue":{"value":"psi-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q444457$A7F74EA5-8E7C-46A5-B6BF-CC5BD68945E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q444457$1CFBFF4B-3D96-4EEC-BF3B-00C978E23A10","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":"Q444457$228021DB-ECCD-4DB5-A2BC-F7408055F363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c4c1126d2e4aefe4cff937dd992e10025c7d4a","datavalue":{"value":{"entity-type":"item","numeric-id":40287,"id":"Q40287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$09AC6EB0-8C3A-4CB3-A765-3B3AE3086E08","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":"Q444457$3D5DE8BF-1FB1-4C05-AF14-F9DE96E416AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5115ffb064390eabe3f4c292865957db8632b3e3","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q444457$5823FB2E-9262-4E86-A98D-FE602CAB3BA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a002aa97c64c245851019382ce121a415bd77f3","datavalue":{"value":"W2001997240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444457$6DBD03C1-3F00-4CA7-8176-7A6C1F58FD07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f86ea6a15d8521d94f8a5308b21778b73dee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$EFFAE2DB-2C86-4BB9-9811-C63E432F0171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$69395A6D-9F90-4DEC-A2EE-76DFC56DA866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$025D66B5-601F-4F17-BC26-384D6AC5E16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab63358c2a9806af600f7f743907818a47bc22e","datavalue":{"value":{"entity-type":"item","numeric-id":5895110,"id":"Q5895110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$0BE9494C-1105-44D6-AD99-3F7147DCDD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$ACA69057-D0B9-466F-A439-5481ACE9DC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$CC63D692-01E4-485F-8359-7602D795025A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c30143ac0412207498d22d9d4521cbb7abf1f3","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$040EC520-EA0A-413E-B101-0D6935BF33A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9eecbd7ccf509cbf0a7718a08bb29e55bf77d1","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$5F2AE80B-1228-4B36-AD86-5046AE775410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$E86C9AFB-36AE-4434-AB89-82B904438E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505d226cc763994e4911a25be3342dcdc3812b64","datavalue":{"value":{"entity-type":"item","numeric-id":5458401,"id":"Q5458401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$65E39B19-0AFE-4F20-95E1-1A900A863C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d1bf22da72285a101a10cb9fafaded92bf6ada","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$9E0A4453-329B-41CF-9EC2-2CB11B144C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$C919DE74-F9C5-4329-AB2A-89258C9E24D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14ae6b91536743b933c1ba4609c1171229026f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$55544FFB-2653-4151-A0EF-EFD188A32F2C","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":"Q444457$B8694AE0-B8C3-4AEF-91C3-D5D0C3D7D85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7d7e74c709ddad5ba60bcc0167bded95e782bf","datavalue":{"value":{"entity-type":"item","numeric-id":5150128,"id":"Q5150128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$F50D67D3-1A8A-4AB1-9E67-5BFAFB52A698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f86d088c00803066af9b3f4d773f9930351455","datavalue":{"value":{"entity-type":"item","numeric-id":6104365,"id":"Q6104365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$A29F11A5-D763-42A5-A4F6-4D48B0E95080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea964153fc3f582f584071addb5e8696f3d1c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$5BC1E386-1ADD-4840-82B8-D61C092CBAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1119f2350ec127e4897f11105e20b4816e1e091a","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$2104EEB5-68FB-425F-B4CC-AFCAC0C3F150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96536a3513c764186ae19524652263bcfe7ab572","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$8215EBFE-6924-496E-B73C-6579C0C99231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444457$D0A4EC01-DA25-4EB5-8ADE-DC645DFDF4CD","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":"Q444457$E38EC372-5BA2-4E1E-87D1-5D95EE186334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f078cc5913561c0191e67cb6e806042abbeb06f7","datavalue":{"value":"10.1016/J.JLAP.2012.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444457$F805534C-E4CE-41AF-87D3-FC35E9BDC022","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504dc547c7968536a289d648e3eb87b06ac8d9f0","datavalue":{"value":{"entity-type":"item","numeric-id":5150128,"id":"Q5150128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb85e1250efdfece1e6fd0d8801a16a585a1b53","datavalue":{"value":{"amount":"+0.8995525240898132","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":"Q444457$2C06D005-94C4-488D-BFC0-582C084F6B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13562b4c4373e6196ad9a64b0ebfcaf092490020","datavalue":{"value":{"entity-type":"item","numeric-id":5141619,"id":"Q5141619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9678ef3477d8a9d7cad3de77209e92aa74ad0d6b","datavalue":{"value":{"amount":"+0.8084781765937805","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":"Q444457$6179207D-0122-4AAA-9E52-BB92B6F92487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d709605e66ddd4eb0fa8fed17ac9188c59c47e37","datavalue":{"value":{"amount":"+0.7842783331871033","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":"Q444457$C78B7B49-17C8-4259-BA42-1AE5D29B7495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2dcdf30b2350cc1ffd8d2491c16b2fd47b318","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de18f6052222509d6a17e8f5e86ea47e27e0c714","datavalue":{"value":{"amount":"+0.7812231183052063","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":"Q444457$64EA492E-F57C-4AB0-9A4A-4BD18E16661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd16a9972debe7bd761510786869290ae6e725","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62522f8acc950b742d99cdf0d8fc3b670248207e","datavalue":{"value":{"amount":"+0.7786335349082947","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":"Q444457$5040138E-BD6D-4D8B-A7F2-5E19FC056D2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing strong and weak bisimulations for psi-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_strong_and_weak_bisimulations_for_psi-calculi"}}}}}