{"entities":{"Q6499549":{"pageid":14078322,"ns":120,"title":"Item:Q6499549","lastrevid":99675251,"modified":"2026-06-05T20:29:04Z","type":"item","id":"Q6499549","labels":{"en":{"language":"en","value":"Polymorphic higher-order context-free session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7844903"}},"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":"Q6499549$85D81380-6C15-4096-937A-6EA30D2F19C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd2656065725a17a3b93bdf8ac1268dc24659ccb","datavalue":{"value":{"text":"Polymorphic higher-order context-free session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6499549$7E7F3F53-9E6E-4555-AD57-68CD89C9321E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e2a21dfa438853593e765821fd25fed751582d3","datavalue":{"value":{"entity-type":"item","numeric-id":777884,"id":"Q777884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$66A2F729-41CA-4E2E-9371-63398FCEA61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"313138ce8793b675f301c60a9d0989af3a7ea123","datavalue":{"value":{"entity-type":"item","numeric-id":1744441,"id":"Q1744441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$C7DE78EB-6FBB-4BBB-9CB7-832C7488007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17f221ed90d722752db89317eeda5765cccb7eff","datavalue":{"value":{"entity-type":"item","numeric-id":1634880,"id":"Q1634880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$416F88D6-9954-456A-92E3-80EF86AC058A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$D2CE74F8-51D2-4582-AA98-15D1934EA7B0","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":"Q6499549$9312F930-F7E4-4C13-9521-7EC7C77C4A5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"591d6329015fe1d528aff69c1e1ba256bd049037","datavalue":{"value":{"time":"+2024-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6499549$D193AD2A-972B-4365-BFA4-DE75193AD9CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6499549$B86BAF17-2134-4EC6-9C2F-968BD8698B0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d09949fb422679d9c565f08082641e9f7bf1620","datavalue":{"value":"7844903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6499549$EDFA67A6-4F47-449C-99D5-F2BB6D3BEBF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499549$8CA007C8-4E32-422F-A8A2-B894E2707742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49323b46256876feff1d8d6f2be0b7d51782adf9","datavalue":{"value":"context-free session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499549$037EB919-7C7B-4544-A143-AD5F227B91E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d302663925ea17feb2e0106c9899e56cd432c8","datavalue":{"value":"higher-order session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499549$D09A79C3-FDCC-465E-BBFB-47CDAEA32BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906a6ed8f2831e7a64853455c4a60488042a34d2","datavalue":{"value":"type equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499549$15140C69-56C3-47E5-999B-87522E32DEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499549$DF0DDF63-7A56-4F45-93C0-100CB1F39892","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":"Q6499549$7F4D8D68-5C99-45C3-BD2D-406F0A7AFB6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1072a81b7804156157c99411dfc3ca7d90126","datavalue":{"value":{"entity-type":"item","numeric-id":2105433,"id":"Q2105433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$5F9C6A00-35F2-49A4-8489-925EC95FD23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9616cff731650693b4404d9a990bc545b906db0","datavalue":{"value":{"entity-type":"item","numeric-id":5164167,"id":"Q5164167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$239ED6A2-2168-40B3-B0A1-CB9A412000BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95dab920df6bb4688d107a498b005a8577eead2","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$F86175E9-E6B3-4491-A8F3-D79B201C9D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$EDD4E271-74D5-4C3A-9D51-A07CA0FFADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6711abcc32734b5fa9098c7551fe71202907c48","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$60BAF1CA-4C00-47C3-8FE7-363B93DA5B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbe75b45d8716bb02fefb120b921c780ceaaf45","datavalue":{"value":{"entity-type":"item","numeric-id":2828241,"id":"Q2828241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$205318CB-4744-4CDA-A0B6-CCF684BD8D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b85f642234c28ca69edae9726642ba7a91a18cf","datavalue":{"value":{"entity-type":"item","numeric-id":5326294,"id":"Q5326294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$72051617-68ED-4305-92DD-E208471B2BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541cd2c6d47f681c3453f27d1724427b29545e31","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$47C8E39E-C130-413D-AD41-EC1E01D502F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$CE3351CB-79E7-4C6B-B869-93FA28AFA210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$4487C4CB-0E85-4246-82C3-B7BA7D444CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7801674a23e06a59d417f3e874ab8fcaac0ff8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$14D273D3-AF5E-4948-BFBC-9E0F2A91D88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99367c72587370787edd6e6460de5ae5fe9f559","datavalue":{"value":{"entity-type":"item","numeric-id":2233456,"id":"Q2233456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$60A8C5C4-1A57-464E-A7B8-65F9389EE929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$584FA7EF-4B55-4B0F-B79A-EC0A9F45F61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3220c140faca03554f077989a96ca6deafa83f13","datavalue":{"value":{"entity-type":"item","numeric-id":5178033,"id":"Q5178033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$B3E1EF85-4D44-4D98-A4B6-74B89A88088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2d1c58d718562367f9d60761a6111e2e729717","datavalue":{"value":{"entity-type":"item","numeric-id":3535678,"id":"Q3535678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$FCE29EB9-9755-4BF0-AA9C-0B8F47B7E9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$8B88CD4F-8668-4A3D-8E76-1D3D6406BF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$DC0995B4-EAF4-4CE2-82B8-FD5E693EAEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$6018CAB0-94A1-430A-8302-C264F5CAA361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697fcba366f2988614b3fb869ff875cbd5028ead","datavalue":{"value":{"entity-type":"item","numeric-id":1943623,"id":"Q1943623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$0B3C8260-DF6A-49B3-89A1-B505EDF0D27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca02d51d8bc093004c21374e170db7c4c48069f","datavalue":{"value":{"entity-type":"item","numeric-id":2988669,"id":"Q2988669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$E5D1A60A-2AD1-40EB-8E0C-4957FECD2EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$6490B68F-F81D-441A-ABDC-0F212C464DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb08b5271d661cbac858972b38d04fb50f2b590d","datavalue":{"value":{"entity-type":"item","numeric-id":4536990,"id":"Q4536990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$B3E10F59-CDAF-42E6-8C9C-4D21A7B3D1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f64ad8affd0505ef0a04386ab96543a2366702","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$3C223227-AA87-4B4B-B463-A225C4F61E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499549$B1F42C17-D739-4C8E-928E-576BFE35E938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d66ed2732071d97afb178401f36c97093ff5ada","datavalue":{"value":"10.1016/J.TCS.2024.114582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6499549$402B178E-DB91-450E-A56E-955E636402D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polymorphic higher-order context-free session types","badges":[]}}}}}