{"entities":{"Q1898459":{"pageid":1909201,"ns":120,"title":"Item:Q1898459","lastrevid":71730321,"modified":"2026-04-14T00:10:17Z","type":"item","id":"Q1898459","labels":{"en":{"language":"en","value":"Algebraic theories for name-passing calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 797303"}},"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":"Q1898459$9DF4FBDE-A6DB-41D3-BA09-42121F2AB25F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5a125e00a62dc0da74c34671ef57dc8d8f8a3f8","datavalue":{"value":{"text":"Algebraic theories for name-passing calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898459$04689707-0081-4AB6-BF07-4481607962DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f861215fc46308752fde816b9df2b177c2f7706b","datavalue":{"value":"0836.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898459$B01A0893-6D62-47F6-84C1-055ECDE957CA","rank":"normal"}],"P16":[{"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":"Q1898459$4CF95F7D-DA5D-4744-8C24-8A24CDF769AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898459$2D60D48A-1F0B-4EE7-BEB7-A166603D9459","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898459$42C1CC10-2E1F-4C4F-84C2-E16EDDC00CBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5234c3c3eec5889ee0b52a7482e82bd6b7ddaa49","datavalue":{"value":{"time":"+1996-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898459$76A00830-9F57-4614-B275-4235720A9390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0880f4b8e28980334276845d078afb0b60d227c4","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22161","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898459$DCE3BF40-2226-4BFC-91D4-D6E9B601DA38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898459$7ED57F10-D96B-4BE2-8982-23EB36663573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898459$1B2BE19A-1963-43ED-BF0D-ACC3A122CB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898459$1A30563A-70C2-4B12-BF1B-9A5B3093B4A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c9321501345473d786dbb714d422170a2a5d1eb","datavalue":{"value":"797303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898459$C0E847A4-B456-4093-A5D5-2DC6B25A7391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"644ec3a56c07458ea68210fb3240e25f7a4c259b","datavalue":{"value":"calculi for name-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898459$DB422D63-C79E-4520-AAEF-551D5E16A17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898459$002EF8D3-39F7-4B5E-9152-2953F889A6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898459$06A7B176-817B-4583-B65A-7DEBA7131871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223ef8b66b1ea68932ae72afd562f43259c53c24","datavalue":{"value":"bisimilarity equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898459$14E30EA3-CFE0-4107-A89B-0F718B77ED8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898459$801FA4CF-A14F-489C-891B-ADF9D5D7E15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"718438cd7527f54b4a6c36547073e1b5b44905a6","datavalue":{"value":"deterministic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898459$79CB3D19-475A-4368-B689-BFDD28EE654A","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":"Q1898459$837C2567-2CE2-4EE8-98F1-8EFA3A003EC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"693868f8d8f7fdbe129ad36aabd0a7ae29f55609","datavalue":{"value":"W2072848882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898459$9D7023C3-D3BF-4B00-9C25-BA47B5254F11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3080a4544c94d65bd14f2da80bef40dce6bfeca","datavalue":{"value":"10.1006/INCO.1995.1108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898459$96EA2C04-8B8F-40AF-A7F2-33CCDF5B2A12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce3c93d008c60e64ef1433f633b9e0e75219c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7447d7e96e20c5be4c0f86d9f89f96d82ff7ad","datavalue":{"value":{"amount":"+0.7809246778488159","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":"Q1898459$6C3F3EDC-F592-4B95-872B-A51B399DA94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d18c8153aff2cea9629a1959ec43a70e1aa6114","datavalue":{"value":{"amount":"+0.777840793132782","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":"Q1898459$E3E36206-55AC-4EEC-AA93-B224E2414579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253b1e4b224fb7bfee8aa9f697328c2b0ea30fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4653019,"id":"Q4653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b678b95f82ee8aac9c805c3ac8dd7836f07340a","datavalue":{"value":{"amount":"+0.7698778510093689","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":"Q1898459$DE25CA55-230B-4AAE-B547-2DFB920DEAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3336a04aec4af30f1eb8438f27a2dfe9b39dca87","datavalue":{"value":{"entity-type":"item","numeric-id":1012125,"id":"Q1012125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e01094f467493fdde7f0fd51f65b6fec3e25a95","datavalue":{"value":{"amount":"+0.769008219242096","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":"Q1898459$72B01FA4-51AD-407A-90FC-0340687DBD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80cc7d0324e5daa452c2285bbce9cfc9257cbde","datavalue":{"value":{"entity-type":"item","numeric-id":4526151,"id":"Q4526151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd39472cb3c65d234597b4852561b195584b4075","datavalue":{"value":{"amount":"+0.7639017105102539","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":"Q1898459$F61E7887-6E75-42D1-9F10-AF7E88957228","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic theories for name-passing calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_theories_for_name-passing_calculi"}}}}}