{"entities":{"Q5487879":{"pageid":7517439,"ns":120,"title":"Item:Q5487879","lastrevid":49914172,"modified":"2026-01-12T00:15:21Z","type":"item","id":"Q5487879","labels":{"en":{"language":"en","value":"Behavioral equivalence in the polymorphic pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5053221"}},"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":"Q5487879$7C7534B7-4E6C-4172-8ECC-5F18BDB4CB49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f52ec3b02b644bd1801a07397f7715204c2729c1","datavalue":{"value":{"text":"Behavioral equivalence in the polymorphic pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5487879$F30246A7-684B-4415-8147-69D646A1DC3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2edbaa3b1075f069986eae6b2acc8000219990c3","datavalue":{"value":"1094.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5487879$301ADF88-9E1F-48B0-AFDB-99AD6A637782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9faa30381b49173ecb04fec78b971cad25b61a9f","datavalue":{"value":"10.1145/337244.337261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5487879$F3822DCB-010D-4BCC-B0BC-A31EC9365A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5487879$2169494E-9870-4FF0-9C5D-8140BE69911A","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":"Q5487879$1E2AC3A2-7651-493D-B75F-B52A02404A41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5487879$CDA96B2E-1EFB-4CE7-82E1-2DE4532EF92B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fd47b58f27435239dc8447da9ea0a760e50b459","datavalue":{"value":{"time":"+2006-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5487879$F3343BD6-2D83-4C1C-A799-AFCF22876075","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"517b3e6485654b17ad6a69dcf6563e2d038696aa","datavalue":{"value":"https://repository.upenn.edu/cis_reports/95","type":"string"},"datatype":"url"},"type":"statement","id":"Q5487879$A71520F3-311B-4616-A060-C0195C82070C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5487879$5C182C4B-5719-4828-84C1-5E41D1EA3E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5487879$6F22693B-A5F5-4FE9-AAF6-008CCC016566","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"288dec440e8f974863fdb301354e1878e7f3f31c","datavalue":{"value":"5053221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5487879$0053DA45-0F4E-455E-A24F-33A617879EF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5657cdcb904841f5eb371ca3cc9e2f7c6883899c","datavalue":{"value":"parametric polymorphism in message-based concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5487879$38C11E9B-F9E3-4145-8962-1133014557B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"530eb471449c092403ef82fcef8249c03fb2c62f","datavalue":{"value":"polymorphic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5487879$EC9371F7-D2A9-4FDC-B680-17C4A152E64E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5487879$E62486AF-768D-4DD4-85B3-B6757B1B319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5487879$D293F7CC-6C6A-49D4-8659-410F728385FA","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":"Q5487879$3E0A6235-CA2F-403F-819F-04BE6A62377D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"681824410d7c7e79c7d688cf9b5af3adad93e811","datavalue":{"value":"W2011491369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5487879$8E5D35D9-E3CC-4C3E-8B64-83258E3E510F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69797eac3527bc8f56863b7bbccc66eec6c3c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2576663,"id":"Q2576663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caaba8c60049c33550d399258e058e8626b87141","datavalue":{"value":{"amount":"+0.8012415170669556","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":"Q5487879$0264B39E-AA3C-4FE8-8F4E-34A340DB3836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fcf3eb24c2f30d7712cf2a227043e4258bbae2","datavalue":{"value":{"entity-type":"item","numeric-id":5326294,"id":"Q5326294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f1c5e0aadff10f089aa2df08f486faa5315577","datavalue":{"value":{"amount":"+0.790829598903656","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":"Q5487879$AAD3CAC7-AB5D-485A-87A2-3877BA10BDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06dd66c58c78ed327d09e45d5cd0391d84785183","datavalue":{"value":{"entity-type":"item","numeric-id":2841263,"id":"Q2841263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fa3bb1aa4d92ff301b5b0de8f00bba0203546c","datavalue":{"value":{"amount":"+0.7825628519058228","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":"Q5487879$3DAFA6C1-03CC-4621-B0F5-16B3EB749AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bd2f43132a5f1ab0f0e197df2dc0ca77153098","datavalue":{"value":{"entity-type":"item","numeric-id":4417854,"id":"Q4417854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a91226b814f2e051ea686eb0c4aef9fd0a07156","datavalue":{"value":{"amount":"+0.7812238931655884","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":"Q5487879$2D439BD2-3122-4686-ADE9-CC697FF6C064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9b89fd4b69b2724e5833e85b4eaf1bc3a79a7f","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bc06e70b37111d7bc125ec99d58a67fe10d800","datavalue":{"value":{"amount":"+0.7809094190597534","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":"Q5487879$20853319-6969-4D89-AA95-E33CE3BE034F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5487879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5487879"}}}}}