{"entities":{"Q1276243":{"pageid":1286993,"ns":120,"title":"Item:Q1276243","lastrevid":42995717,"modified":"2025-07-16T17:36:53Z","type":"item","id":"Q1276243","labels":{"en":{"language":"en","value":"On the expressiveness of internal mobility in name-passing calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243208"}},"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":"Q1276243$30D93113-AA3B-4EFF-908C-D3021F94D436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61fb0be70b13f5ee76894894a2e40c1234ebba08","datavalue":{"value":{"text":"On the expressiveness of internal mobility in name-passing calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276243$2B86AF56-2255-44DB-BD06-03BA78CA11FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca4d3ad616a1f5978220c3afc25aeba5b1859373","datavalue":{"value":"0915.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276243$3D1A46E3-BB12-4C6A-9835-E61362CC1B91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"680c0f81c1a90dbedd18df2fe8ced7592ca0f1c1","datavalue":{"value":"10.1016/S0304-3975(97)00220-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276243$7C78BEBF-B46F-4423-8885-BF3CC8EECD5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$58553ECE-343A-4DEF-9E2A-E9DC0914CAB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$D6CA48B6-A285-48F9-9C8C-DA92CE9327F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3982b5f77dc5c227727508ef0e6c502c1b3502ba","datavalue":{"value":{"time":"+1999-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276243$D899B7F7-F60C-40F8-996E-82A34883C718","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276243$51C6F888-B654-481A-93B9-E36435724C06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daf8ae7e65ad9570a1e7f24c41c64cb5334a6454","datavalue":{"value":"1243208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276243$17AE7E7F-40BB-4E3E-A840-F2D5D3EDE293","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276243$D01E09AC-2891-46D4-A305-9DF2FB54922E","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":"Q1276243$455FD8CB-6344-4CAD-A2D1-37756B659BFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$3CAA978F-11EA-48DB-B848-1AF861E3542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$DC77BF08-9C0F-4B08-ACAB-32DEF5CDC036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$B20D96FC-399B-4181-B784-A3ED6A11634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b74851938f00bb5c8ae552b2eab3f17bbfc147","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$70249C09-2E14-45A7-A91E-685B57A4DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$0429A455-1AF2-4064-ACC6-DE2298137C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36f1c1ba5216fd81ce66a19018f65a7da66af4c","datavalue":{"value":{"entity-type":"item","numeric-id":1350998,"id":"Q1350998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$95BE83E9-4E03-44DB-9430-1082FECC7B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$B02646B9-9A05-465F-9304-6851EA4A7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$AD7477DA-7B43-49D3-AEA1-230216CBC99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40257b481374c91a5cb96ebdab6a91a2b84a27a2","datavalue":{"value":{"entity-type":"item","numeric-id":6104373,"id":"Q6104373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$3139701E-3BFF-4959-A1EA-EB01E2727803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$39FC21A5-432C-4AB9-93A1-65278D3EB7C5","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":"Q1276243$E94D7D55-D02C-4F8D-8433-37649E7D133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$26EE322C-2276-40F7-BCC7-31C54F141D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b765b1710393bb28a6bbe6965bb707b247f24e","datavalue":{"value":{"entity-type":"item","numeric-id":672123,"id":"Q672123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$2752B772-CBCD-40EC-AF22-74C722BC11F5","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":"Q1276243$A6F4D5DB-048F-4E58-B2AB-604DEAA2A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276243$19683E9E-E960-4929-BF07-569FAD90B6CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe370994bedfffc986b87ef73f517e1fda3148bc","datavalue":{"value":{"entity-type":"item","numeric-id":6104372,"id":"Q6104372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$48E9D417-2F03-40A2-8D6C-CC2904A0E6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20fe14e78f3b1569c123b3c823869c82ce2c689","datavalue":{"value":{"entity-type":"item","numeric-id":2805161,"id":"Q2805161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4027c0f95e77be6d35caa49c80c259c000885802","datavalue":{"value":{"amount":"+0.8704598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$AC9945A0-407A-4934-B77E-896B3FED48A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa57038bb9ab4ba54c6bc0ec1b766b12eb99839","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b232f999e18fe2bfdc70592cc28b83f265ba7cfa","datavalue":{"value":{"amount":"+0.8516927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$3F9C828F-CE46-4C82-A4AF-09A2AE612307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a966a728b8e1a6a3e28587859855572a32f51a","datavalue":{"value":{"entity-type":"item","numeric-id":5308453,"id":"Q5308453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741da0ebd068170eb5bcb56c677db5d3a006f3bb","datavalue":{"value":{"amount":"+0.84475994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$DC960635-3E80-4DF2-ABED-9B549535B253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e6463c21db8cbaaae82b0a1325d278f4ceffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4738222,"id":"Q4738222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b793536783f65b09b15c03861f91547880797d","datavalue":{"value":{"amount":"+0.8447213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$A6A2F947-4524-406A-8EE5-39E3F388B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7653e51cb6d4f34fe1dbf28fb53525947178c88","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c1689d6078d9e0f7ba5b32b2b1736d19716121","datavalue":{"value":{"amount":"+0.8447017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$DE551A65-EE9E-4A09-B98C-6E2F0F2E89E2","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":"66c1689d6078d9e0f7ba5b32b2b1736d19716121","datavalue":{"value":{"amount":"+0.8447017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$AFFD8DC7-1DBD-4852-AF80-9FA5C06F73FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0214795abf98b6039d6978a927089f07d1a780e7","datavalue":{"value":{"entity-type":"item","numeric-id":342734,"id":"Q342734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5086ad0b5127473748f5758982e2f265560daa","datavalue":{"value":{"amount":"+0.84398836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$A3F5D5C5-87C4-49F2-BF80-F85EC3676D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bd1b633dfe55faeec9311171afa6dc31435710","datavalue":{"value":{"entity-type":"item","numeric-id":5271075,"id":"Q5271075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5086ad0b5127473748f5758982e2f265560daa","datavalue":{"value":{"amount":"+0.84398836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$8A646117-C56D-457A-BFE2-B35E8895453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1727f813eac81022821fdeddbf3ccdbd5a35061d","datavalue":{"value":{"entity-type":"item","numeric-id":2491641,"id":"Q2491641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01caa60c41eecc7ebf31de63c46dfe49ce6fdfa","datavalue":{"value":{"amount":"+0.8416934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1276243$5EA4E6D4-FB22-4DEB-818C-B166363609D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1276243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1276243"}}}}}