{"entities":{"Q5044732":{"pageid":7074309,"ns":120,"title":"Item:Q5044732","lastrevid":54433598,"modified":"2026-01-26T19:44:48Z","type":"item","id":"Q5044732","labels":{"en":{"language":"en","value":"From \\(\\pi \\)-calculus to higher-order \\(\\pi \\)-calculus -- and back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611261"}},"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":"Q5044732$BED76C6A-13D8-4DE8-8868-4F125006CE7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06b2a4553d74fd820c80517045b1a030fa62d9e3","datavalue":{"value":{"text":"From \u03c0-calculus to higher-order \u03c0-calculus \u2014 and back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044732$3365F35E-6C69-4716-BE65-6F87C0E404FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"507c4dabaf2ebf4ba9214bceb147502c91c95d55","datavalue":{"value":"1497.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044732$2DDDF085-9522-45CC-B35C-E45F63C089AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbdd598d80a8d2980bb88aefb07458a5709c8090","datavalue":{"value":"10.1007/3-540-56610-4_62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044732$062AFE25-BAC2-4A77-A7B3-F8EFE74919E0","rank":"normal"}],"P16":[{"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":"Q5044732$C622D65A-A936-45F6-A527-DD0D7947D9CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$F4ECDC41-8F25-4AD5-817D-CC0B3E81EC17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-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":"Q5044732$26EC9F87-64EF-4950-9D09-CD4CE8013725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044732$AFE4B400-5088-4822-8DA8-E4997CA3C149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044732$D6F0D7D1-7F18-4058-8BF7-E952AF8FDC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044732$18F1CDB6-0FD8-4A55-ADFB-C7682FAB5481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd8de60696c5790fb5641d4e1a846e027cdb0a44","datavalue":{"value":"7611261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044732$6BEF50ED-1196-4102-8E7C-8253735AA33D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$5BF94B8D-4969-4981-BE49-9A081DEC1989","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":"Q5044732$13C6A0AC-27D7-49C4-BED0-2B71E0CB7EB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dce84dc6c34f098825437761d4e4280ae793b95b","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_62","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044732$E6BA0F58-5015-400D-8498-413943251505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"934135205f1c664c7f2a7eed44578c22c33e851d","datavalue":{"value":"W2201760732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044732$833CF084-5EBA-4B18-8D71-FFE1BF64414D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da9d892738f38040ee4c5d7ca36e0e15e08c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":910250,"id":"Q910250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$21BAA189-ACFE-4DEF-A2F2-D88E3E6FAB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69aa9e100c0e3e2f63d67ab0234724f0c2f66211","datavalue":{"value":{"entity-type":"item","numeric-id":909434,"id":"Q909434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$F2F5468A-26C2-4563-9D0F-5CED65A9328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d937c8107c03a4cbda18f8e83f04d436d46ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3829081,"id":"Q3829081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$CA2F1A4E-2EFD-42FC-A6C0-97F2C830A37A","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":"Q5044732$1E365420-478A-4750-BD43-14A12378C9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$FFA035F3-98A4-4701-A250-434EAAB9B6A5","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":"Q5044732$3E6C579E-DF0A-4F11-8A65-220A82235EA8","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":"Q5044732$4919CBD7-DB70-4FA6-A2A1-31AEC3998FC8","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":"Q5044732$D9D66D97-8A8E-4671-BE3E-9FC214162445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$D814AC8A-AF00-4A99-BDC5-2DF2D176468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044732$FF9A2C6B-3FF7-4F02-A10B-DF57E2F5A688","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9153efb5d7bd99c9745ce74360b2ddc52223085d","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffbc8f5e3da37b2786605fdd6038078c9afd077","datavalue":{"value":{"amount":"+0.8754420280456543","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":"Q5044732$EAB3C510-11F0-4227-9E31-B7C651B05A65","rank":"normal"},{"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":"e789ed8d3546549ba2c14bd72adce95afbe28d20","datavalue":{"value":{"amount":"+0.8461707234382629","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":"Q5044732$1667E536-1CA6-44E1-B3DF-696620AB938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c87f8c6a7801de949b503313715a26c74e7614","datavalue":{"value":{"entity-type":"item","numeric-id":2994477,"id":"Q2994477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae319fc64deebd93da274f76da13c9baa9fe53cf","datavalue":{"value":{"amount":"+0.844883382320404","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":"Q5044732$0FE04099-BDDD-4A75-A012-5A2DB2EF8669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c6a1927558a8c3a0d88cfe0cfdb959b5d550ed","datavalue":{"value":{"entity-type":"item","numeric-id":1935453,"id":"Q1935453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02430a9be88254a212f96797d80dca2aa6efeed5","datavalue":{"value":{"amount":"+0.8343300223350525","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":"Q5044732$E23B0DFC-FD90-4586-86D6-C3AAB468C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c435853a0d126487f4a90ae7df530ece00b80596","datavalue":{"value":{"entity-type":"item","numeric-id":456466,"id":"Q456466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a359cedef590efdffebb2e062279d3c037b0c3","datavalue":{"value":{"amount":"+0.8147596716880798","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":"Q5044732$19B8B495-F647-4F37-ADCD-52E084A88E85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044732"}}}}}