{"entities":{"Q3094164":{"pageid":3104879,"ns":120,"title":"Item:Q3094164","lastrevid":86187029,"modified":"2026-06-03T15:59:23Z","type":"item","id":"Q3094164","labels":{"en":{"language":"en","value":"The \\(\\lambda \\)-calculus in the \\(\\pi \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961488"}},"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":"Q3094164$65F382F3-04A2-4E56-A7D8-E45395A047A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"201a2e438b41f5cde416ed436072bdf28e4a9c13","datavalue":{"value":{"text":"The \u03bb-calculus in the \u03c0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094164$97CBBCFF-3234-4BE6-A52E-7067964AD27A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f106b504beaaf247bd20163983b25a3d970d9248","datavalue":{"value":"1223.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094164$BF16161A-81D4-4A17-85E5-D45C276D866B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"330462cf945bab51d69bf150b52fd0b83696c87a","datavalue":{"value":"10.1017/S0960129511000260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094164$198A85C8-8252-4B32-963C-C4190CA0FE24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af74bd0d476ef3105469f50f0b324dc591a89229","datavalue":{"value":{"entity-type":"item","numeric-id":621582,"id":"Q621582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$F718F0AA-81DB-4D83-8ACE-8F80F639F8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$2256366B-0C16-440B-BEE8-0BED51E076A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$44E6EB40-0616-49A2-9947-1527592B1032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3094164$815CC4E4-C545-4D1D-8180-D85331448FDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094164$F20FF317-54A9-417E-9C7B-6B0470C1236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094164$3A8643A7-CF99-4D79-B5F6-1C938106B200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5960b693c0e3d5d14b34e2ce8c29561f2c7b74c4","datavalue":{"value":"5961488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094164$37F3C357-102C-443A-9D0C-05995A0B67EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094164$858C8656-1088-40A6-B0A2-5D2EBD338597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7d31fed2f4933a9fb8f3574da194ed0464c47a9","datavalue":{"value":"encoding of \\(\\lambda\\)-calculus in \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094164$B0103325-1398-4102-8716-B0CA03D3F943","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":"Q3094164$5C6F0140-8FFD-4CC9-994B-BFFF65EF949F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db190668a33e10fd7ad9de1c45951ca622381f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$9B1D6B6D-7BEF-4C43-A747-B710E6C837F7","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":"Q3094164$51968ED4-CBAD-45DE-B686-22B2073D61AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84a34f7ed2a4c6a1f340d4b5ffdb2124876a3c1","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$1DFD7DE0-72FF-4C97-9AE3-624745DA813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$668E1833-9487-4967-931B-4776A61497CC","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":"Q3094164$58D6C450-0C5B-4E64-B432-38BEC81A317B","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":"Q3094164$DA6AB9A4-CF33-4A61-BC9E-00491B8F9590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff61b4356c6431b9bc982a430a5c07be0766a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4653019,"id":"Q4653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$3F647EFC-26DE-4D96-9246-AAE5AFF7141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2b69b673372da9a4630e03aecd124942a7f30","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$B16D5C57-B300-4109-A3BD-F24AAC403C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86c412fee22d1eaa66c73f4924733307bfe0d4d","datavalue":{"value":{"entity-type":"item","numeric-id":4571964,"id":"Q4571964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$BF07E2B8-55A8-4EAB-AAB7-F2DB52FBAD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282922bda9a2e5c294fd460fb0c5cc22815348b4","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$499DA6D4-A808-4B85-82DC-308AF988A957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$DFE693ED-2290-4922-8C03-A511329F9D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$274716FC-3D69-4A76-8BD4-0EFEE1E37475","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":"Q3094164$F05EFE33-268A-4B3B-876E-03472A5BDAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$A3E8CA87-4ECC-4B04-AECE-869520642375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094164$79539702-DC79-4762-AE43-A5C14206F536","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":"Q3094164$35960070-E9E1-4068-ACA9-C3AA5931BA6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8376a9b693fe02a6200b18de9ede56ae80f4083","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2f18454767b681099f5fc8a68391a22a5c6775","datavalue":{"value":{"amount":"+0.8537840247154236","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":"Q3094164$D911B718-1E9D-485A-94CF-55050861D75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf7995dcb381a32907eddc4e83371315d2daaf5","datavalue":{"value":{"entity-type":"item","numeric-id":1290334,"id":"Q1290334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de65ecc4e34d56c170eaa6017a3ebda633d6e108","datavalue":{"value":{"amount":"+0.8537499904632568","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":"Q3094164$D9981EF9-9EFA-4943-BE84-EA27E430CDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65ea998ace52911d34b481caad7842a800f8957","datavalue":{"value":{"entity-type":"item","numeric-id":4704762,"id":"Q4704762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b144db90291ebffc02de904078004d88a9dc0e7","datavalue":{"value":{"amount":"+0.8389303684234619","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":"Q3094164$436740DF-37D5-482E-9B91-AC2AD2AF3745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f70ee956e6c3dd83b4a3f81be7e5279e6ac637b","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc5a64d1cad4ce93acfb34d847eab9b87af3413","datavalue":{"value":{"amount":"+0.8316919803619385","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":"Q3094164$1EE7E664-672D-4C0B-879A-C32D55162A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7030e328490d8008eddfe3425194eac1cf5add98","datavalue":{"value":{"entity-type":"item","numeric-id":3184667,"id":"Q3184667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcae8eeec8e23592263a92e062a06840ec41505","datavalue":{"value":{"amount":"+0.8307073712348938","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":"Q3094164$F602A1D7-4E5C-490A-8F36-62A6F47A3F9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\lambda \\)-calculus in the \\(\\pi \\)-calculus","badges":[]}}}}}