{"entities":{"Q4571963":{"pageid":6601552,"ns":120,"title":"Item:Q4571963","lastrevid":53133479,"modified":"2026-01-24T07:02:10Z","type":"item","id":"Q4571963","labels":{"en":{"language":"en","value":"On confluence in the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898386"}},"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":"Q4571963$7C92A892-9B6F-4DD5-A4D4-AC3EB35BE3B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8222f10ac4427347de572303e18847b8dc463604","datavalue":{"value":{"text":"On confluence in the \u03c0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571963$2023BD66-5BC8-4D56-96C6-28ECA4A14E51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1298fc81a51a01d4324b9f6f445a431d77417bdc","datavalue":{"value":"1401.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571963$A8665137-C13E-4104-8F69-CE691B6798BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9decbfe1d7dab345c5af4943d516013dceccffdd","datavalue":{"value":"10.1007/3-540-63165-8_188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571963$B2E85440-8D88-430D-A6B7-9228DEBAD887","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$D5CE16A3-776A-46A5-AF17-88AEC06BC783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571963$5082AD55-48EE-4F5B-9A59-8997F54B596A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571963$189FC374-5F15-4E88-8CB8-A328C9E802BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571963$3D1A630A-4E42-42C4-BEA7-1521C4767331","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a64697ada771de862a5dd12c6d790e6be648a7","datavalue":{"value":"6898386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571963$880E1B6B-0DAE-4E0A-9B86-7BC48D7F6299","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":"Q4571963$1B142669-227C-4957-9EB2-73BB89681925","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dbdb623f3bc48bfd14f312f81e02c4c10ee5efa","datavalue":{"value":"https://doi.org/10.1007/3-540-63165-8_188","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571963$92DF2330-766F-4163-A176-6297AE5C548B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a3305096b125823de03c30c9fb16fafb15b0b24","datavalue":{"value":"W1490549046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571963$C7370FAE-A48F-487D-9C36-53460CAF649E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$6FBBBD57-F212-41E0-8553-8EF727685AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$B0493DD9-B73E-4AFD-84E5-056E6CA4F33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc28da17ee7a3507f099a8d339511f2126252f89","datavalue":{"value":{"entity-type":"item","numeric-id":5096733,"id":"Q5096733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$C2DFABBC-CA80-4EBC-816C-A86B3A6B4086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d38293cc06627b45c6840e21e0f7cb4f5b5bf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3814780,"id":"Q3814780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$4F1FB683-FF06-490E-A883-95B782FBD94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$A8903826-647D-4117-AC0B-70335620AA46","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":"Q4571963$7C7C974A-9DBD-420B-9036-331BC4F2B3D0","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":"Q4571963$4F9BD9CC-BA45-493D-A575-1774F90F7757","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":"Q4571963$166B9AA5-1223-4DF0-8F3E-E8D964601007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172d5a979158e18fd85428ef3ae72370c4301629","datavalue":{"value":{"entity-type":"item","numeric-id":6104370,"id":"Q6104370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$68E867F7-2730-48A3-865C-AA4901534547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$DD55AE85-D701-4418-9AFC-FA621509833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef718ed05d1cac656de52bc69376ec7eed12c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$1CDB2B72-4E9F-48BB-937D-A59F075E6B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571963$810B7CD6-510D-4A62-88CA-A3D3992D8F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e99ab2013e79f8809c154a11ae1f29e4107d52","datavalue":{"value":{"amount":"+0.8301416039466858","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":"Q4571963$2AB511F8-767D-4B40-8246-D1293097C9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2c38d67b475aa9c2262eeae7da7f1e94ce291a","datavalue":{"value":{"entity-type":"item","numeric-id":4944860,"id":"Q4944860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907d720f205e111fd82329dfeb15e8f7888bacde","datavalue":{"value":{"amount":"+0.8278312683105469","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":"Q4571963$3BCD4E29-279B-43F8-A3C3-C26250C6926B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de15efe60a5681af3a4dd5e23f2f0f6d3a5a690a","datavalue":{"value":{"entity-type":"item","numeric-id":2906943,"id":"Q2906943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b532c3bcb306725e4802a12ce021278745b7707","datavalue":{"value":{"amount":"+0.8178209066390991","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":"Q4571963$FC584434-B7BE-4AB7-BB38-C832D95D87F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c1ab14352198e4b2415fe7227cfc1cfdb57495","datavalue":{"value":{"entity-type":"item","numeric-id":5096733,"id":"Q5096733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77af5e43cbfd673ff39d92d18b40a1c8d6d2a352","datavalue":{"value":{"amount":"+0.8094674944877625","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":"Q4571963$CC48E49C-D6EF-42FB-A628-57F241A68564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9d4cd12326fce69266466ee5f9c48a8c3e7485","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78016f6cad7978b2954e086d1693bc4dd65904ca","datavalue":{"value":{"amount":"+0.8045651912689209","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":"Q4571963$47699AFA-0782-44EC-9CE6-FE56A38A348A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571963"}}}}}