{"entities":{"Q4903720":{"pageid":6933299,"ns":120,"title":"Item:Q4903720","lastrevid":51637775,"modified":"2026-01-19T04:56:39Z","type":"item","id":"Q4903720","labels":{"en":{"language":"en","value":"Strong normalization in the \\(\\pi \\)-calculus with intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128572"}},"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":"Q4903720$D2EA64FF-D7FE-4768-BC6B-1E055080CB7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"224eaa78c7b90ebc512f4f40aadb245177b7abec","datavalue":{"value":{"text":"Strong Normalization in the \u03c0-calculus with Intersection and Union Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903720$CD3CCE57-45F8-4201-8E26-AE215E23ABA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c3943d8550a36bb181ce110bb85475e334e405","datavalue":{"value":"1276.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903720$BED31291-64C4-431B-BA84-6E9CBBBB812D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7da7a5f4eed770ea7b81d492511fb0a964ff0d1","datavalue":{"value":"10.3233/FI-2012-777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903720$EC51D5A3-E063-4FF8-A92A-A2EAF8BAC88A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdfd87b35a7d031d9833942021cae5a85bc092fd","datavalue":{"value":{"entity-type":"item","numeric-id":737107,"id":"Q737107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903720$4B358A91-BD46-49E9-90C5-81331E2CB2A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903720$8228C86A-94A7-47A0-A21A-D802B8062C26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4903720$69F096A2-F6A7-4A5A-83AC-24774570516D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903720$4BEDA9ED-51E6-4FD0-AD39-6543523918BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903720$57CD0C98-0D69-4202-8B0E-B03D9B445361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01fda82ed4c54fd71783944c6a47725d81d82b5","datavalue":{"value":"6128572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903720$D8113573-B354-4D10-B2A2-CB029061264B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a693bd428a391497ba0775f66fd2ebb6280500","datavalue":{"value":"linear \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903720$E72411B0-1D69-4106-960D-999A7A8DDAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3145bcbf6377ccee3f2ba291d43a8fa4f78ae1","datavalue":{"value":"typing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903720$39E84848-8D3B-410A-9568-F19F5BDCF8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903720$8A513FB3-5E8E-412C-B03D-25794B7EC382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903720$624F6775-7060-4018-9EF6-67FBB503C8A3","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":"Q4903720$B90DAC5C-B8DE-406D-82EB-A2BC99A35A53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e2607018c5446b8d0479828134d2320ddaac36b","datavalue":{"value":"https://doi.org/10.3233/fi-2012-777","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903720$96BAEF81-69DF-4589-B929-DA4052CA7936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c3432e3fa5915fc89cf03a4aa306d2e8ef116b","datavalue":{"value":"W2160673351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903720$6CC244A2-72E2-4D7C-B39D-9E3F02EE843E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96753a804ababc9bbdef221a9dc550e8eb72688e","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c034470ec88ac1cd5d18d4b954abaedb4018109","datavalue":{"value":{"amount":"+0.8332079648971558","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":"Q4903720$78122A61-ACDB-48ED-831D-FB225C0EB748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2342ed2c626049bdf31040ee77033b181e8e71","datavalue":{"value":{"entity-type":"item","numeric-id":4457448,"id":"Q4457448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be4f03b50220fe6a69b5623317d9c603c863635","datavalue":{"value":{"amount":"+0.7970242500305176","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":"Q4903720$63528F0E-4DED-438A-BE62-B73922BE7B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9896a3ffd75ec6f467b242d34e5c0997bfa7ef93","datavalue":{"value":{"entity-type":"item","numeric-id":1744407,"id":"Q1744407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8da8009ccdee4c838caf36d04ad1c84987070b9","datavalue":{"value":{"amount":"+0.7917711138725281","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":"Q4903720$EC4DD5BF-89B7-4610-95D5-0C13971C66CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3965fdf3c4629d7b678b5c7ad24277dd1faa5e","datavalue":{"value":{"entity-type":"item","numeric-id":4965858,"id":"Q4965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d5c3c252821b530e2b87cda8d42024fa941915","datavalue":{"value":{"amount":"+0.7897123694419861","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":"Q4903720$7BA1DCA9-20AA-4390-B867-8BF64CFB6775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad463672501466a55e714ef0439d9d7bc464dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2971078,"id":"Q2971078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5505e106a5c3d1704579c91040e2086851f0589","datavalue":{"value":{"amount":"+0.7894752025604248","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":"Q4903720$29E28B8D-5029-439C-B81A-E82259861F43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903720"}}}}}