{"entities":{"Q6190177":{"pageid":13325065,"ns":120,"title":"Item:Q6190177","lastrevid":55573006,"modified":"2026-02-17T19:03:51Z","type":"item","id":"Q6190177","labels":{"en":{"language":"en","value":"Psi-calculi revisited: connectivity and compositionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800275"}},"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":"Q6190177$8EFA3780-0D44-4C11-A34C-C9D5F01BAB23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b853b2f461139241386fb4d2816c8ed57324ef9b","datavalue":{"value":{"text":"Psi-calculi revisited: connectivity and compositionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6190177$8957F84B-ABC3-46CC-951A-08056192DCB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"903492857430c0b4856c945e7da0feb9266a6335","datavalue":{"value":"10.1007/978-3-030-21759-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190177$C1DDA3B6-B2B7-4C19-8DD6-F9BE594084E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$D1433D52-AB79-4FF6-97D3-08A59FA18988","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$FD75AC3D-FDF0-4C91-9F9C-6B8F953E6D34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6190177$40D32DD9-3545-4959-A246-44ECF7D1FB09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190177$370361EC-EDCD-4FF0-9F08-6E8D7479947E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190177$02CCCC35-D095-4367-B269-AA08818753FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b0319f7ff9859ca24c79ee795be0e7b09cf5f5","datavalue":{"value":"7800275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190177$FFCDDDCE-4969-4F4E-9250-86408C75B2D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190177$1EFA27C7-484E-4FFF-A0EF-16CCA151CCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa354a31d13cd812ebb61f1dcac4b96f0ff0010e","datavalue":{"value":"psi-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190177$4DCB53A6-F8AA-467A-BB5B-0D0432BBA47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190177$017C125B-D87E-4C94-B4B3-9A6E3C9C8507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190177$9AE1C5A5-F89D-4747-B95D-1C07AB2738A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190177$7F0E38F1-0F2B-4A5A-A140-D28B424F522A","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":"Q6190177$276C27C2-554A-42CE-9E69-F844A5159A7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"769dc77c1c013acc50a3729eb12933fcbd8b3c86","datavalue":{"value":"https://doi.org/10.1007/978-3-030-21759-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6190177$B2B8A1A4-F751-41FA-BF8F-EEF5AB43C83E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a819d01a4dd9b6236b14bb342c4b1ae2c4790e7b","datavalue":{"value":"W2948544349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190177$71E41CCA-AB56-4871-A8DA-867754A2368E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd1d8fac4bc1f82ae0d50ee33f7a50e80115ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5141619,"id":"Q5141619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$9B770813-DB54-4D75-AD44-4DF53A73AE0D","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":"Q6190177$AC4D567A-0EBF-4F48-A8F2-5F0FE925476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70a06f78fc76ccdc546da5eeba08398205a2ab2","datavalue":{"value":{"entity-type":"item","numeric-id":5890661,"id":"Q5890661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$185B8791-88ED-4169-9B17-E37624CED405","rank":"normal"},{"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":"Q6190177$577A0397-CE0D-4ACC-8AC6-23AFF3E51F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ea2b9048ad13e50f539ecaa21a881c1e3612e6","datavalue":{"value":{"entity-type":"item","numeric-id":3095234,"id":"Q3095234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$44626EE9-EAF8-4C96-A601-23E649F1A0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$A644558B-87F9-44A5-91A0-6388A210EE40","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":"Q6190177$68ECBAD0-C4BB-4AC3-AD30-8081F9253D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9b187c0bc45cac9e8f62e6b1d9655c9a72046c","datavalue":{"value":{"entity-type":"item","numeric-id":4536373,"id":"Q4536373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$11DBDEB2-5524-45B1-8C04-87031FE1ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489051a8449fc1979e8e8dadf2729a749ef7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$59599651-CB5D-419C-9EF1-B188884C113D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3efd42a314e0f87dd1f9b9115ac89a58a0bb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5271075,"id":"Q5271075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$083A65DB-5F58-4E41-947A-7473898B995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfc605faac3293d213077d045bd6ac4a396f083","datavalue":{"value":{"entity-type":"item","numeric-id":890617,"id":"Q890617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$464A7FE3-73DC-45C7-8D3F-65F7E3CD204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9927272d9d222c89b18706e7056799cb0d5458","datavalue":{"value":{"entity-type":"item","numeric-id":3455864,"id":"Q3455864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$A7B395A0-449E-47C6-9B2F-C49129BBF80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$7EE9668E-1487-4BDB-A039-6B3AA5E59C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba43d90b6a6edc70e508b348ecb8505634a0cbb","datavalue":{"value":{"entity-type":"item","numeric-id":860908,"id":"Q860908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$8EB65FEE-8FE2-477A-A7C9-96D21CF72A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$DB3C370A-9006-40FD-9256-51C79143D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5360f20cbcc4690d807f9a1580a29b37f26ac6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2892772,"id":"Q2892772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$E94B2B52-45C1-4A2B-BB46-ACBD816E6E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86a9259c0dcb23888ec017e4aaa85b3ecbea38d","datavalue":{"value":{"entity-type":"item","numeric-id":5326293,"id":"Q5326293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$89C7E076-7EA8-4339-921D-9E97F9073511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$07E666E8-A0F1-4AA0-ACB5-183D8D381289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cb876fd4dd36ff31fdabc99386e316ba8491e8","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190177$FFA0E7E6-7A9C-415B-913D-5B0A25D4D471","rank":"normal"}],"P1643":[{"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":"bf7920598007588d79fa09d8e3585e409d4aa1d7","datavalue":{"value":{"amount":"+0.9997430443763732","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":"Q6190177$C89D8810-B496-4250-A9BB-6DC693F67AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45458fd3318e280540e69f01747a611f12b1842e","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0a25d46e0e68092f86be9d63afccb83e8d8189","datavalue":{"value":{"amount":"+0.8375518918037415","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":"Q6190177$5B8B3FA5-A42E-4FBA-8117-A58BCBBA0154","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":"afa7899103a9476f34640ed8a57d934a49f92603","datavalue":{"value":{"amount":"+0.8294058442115784","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":"Q6190177$8C193537-ECB3-4270-9360-AC0D87F9ADBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76db878276130fe80ec1e6f7c4f4d299d563be53","datavalue":{"value":{"entity-type":"item","numeric-id":4995150,"id":"Q4995150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2826f4d5720e0ac5198b60a15f305822e7eeda","datavalue":{"value":{"amount":"+0.8259710669517517","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":"Q6190177$A2276A19-323A-414C-ABF2-FE22E5D79A51","rank":"normal"},{"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":"8febcd13709e701b2f9e9b7710ad46bf0f153140","datavalue":{"value":{"amount":"+0.8176096677780151","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":"Q6190177$B09A7BD3-3614-4AD8-B389-8A969048EF3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6190177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6190177"}}}}}