{"entities":{"Q2133474":{"pageid":2144217,"ns":120,"title":"Item:Q2133474","lastrevid":43593646,"modified":"2025-10-28T02:26:07Z","type":"item","id":"Q2133474","labels":{"en":{"language":"en","value":"Parametrized fixed points and their applications to session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516375"}},"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":"Q2133474$760EB0C6-0AEC-4A2B-B475-CBF6274F380B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"950c85cbbe83a805d5a9ce55a296f7ae8b6765d8","datavalue":{"value":{"text":"Parametrized fixed points and their applications to session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133474$D220B21C-3820-492A-A917-817D253F163A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7efab2234a49c2f151ea1b715974962564a31737","datavalue":{"value":{"entity-type":"item","numeric-id":2130594,"id":"Q2130594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$C643D636-66F4-40BA-BBA2-040E25CEACEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133474$BCE6699F-C0A0-4734-84DC-6B9796F48FBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133474$F2E0F0D8-1169-4405-96E5-D3EA05E5A150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133474$0C5EFDCA-962F-461E-9ECA-D1CC25FBE1E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d26d71a1e8a2f3b5a2e394dd099764f55fef74cd","datavalue":{"value":"7516375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133474$1F063CBE-A5F4-49BB-B639-301361620DC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b19097cdd9e123c3090cbefb42d351deafe7f73","datavalue":{"value":"\\textbf{O}-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133474$815E01B2-087C-4161-815E-2257FA1331D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79eef0b77a4edf2235cae3559ece59266d499a1b","datavalue":{"value":"\\(\\omega\\)-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133474$97668122-574B-4A58-9597-AED916A9FABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133474$141A9684-97F5-4721-A3AB-994134D0B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5da1622a9c3c04443a3eeb18dc41f9e5a1305706","datavalue":{"value":"dagger operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133474$0DC22882-7CB3-417C-B22F-B3C3FD11A297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c4ef6cb2b2029f72e6e577e2d63ae1d31fde84","datavalue":{"value":"Conway identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133474$C9C9A2F9-6E2D-456B-9F1C-DDD25803EB83","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":"Q2133474$43DA4935-E900-4318-A4C0-83843B32C031","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb0e0781360663700fcf7c3180757eae3627a293","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133474$476AC736-0288-42D8-8C94-0A3CCF98CCB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3948915ad05f6874346a453f11dfa23c754d6501","datavalue":{"value":"W3094515843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133474$49B83727-0312-4C3C-A5E6-F867137C93AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bd03d320418b5138449954cd0bc28d691285017f","datavalue":{"value":"Q113317300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133474$6BFABD46-3FA1-4518-8857-B1B8082E4028","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$E19D7D84-18F1-4DB3-BE44-9E4BB866524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb584f97cbb6993bab94d58182a69cf78269c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":2988633,"id":"Q2988633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$C4CC7E85-1B87-4F81-937D-7E12A28D2D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$0B48CF3A-5FBE-4E09-A517-486055B9654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812577b8a4a27ec58181e24bc8b0317028f976a8","datavalue":{"value":{"entity-type":"item","numeric-id":4460686,"id":"Q4460686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$9C35C265-7427-406F-BC03-22533B83E320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$71B890F3-1662-45E0-9A72-AA12BC032EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d53ec596017a36983e3e8a836f9f5e306712cd","datavalue":{"value":{"entity-type":"item","numeric-id":672122,"id":"Q672122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$2762D76C-E6C4-4534-9602-F160B496D70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$0BD6C38F-C70E-4D22-A777-34C8D758A6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764bd90beede562984ef82320d5442cfc57c9532","datavalue":{"value":{"entity-type":"item","numeric-id":4853332,"id":"Q4853332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$51D827F0-7FD6-4509-AB5C-7EB94017B71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$FE727962-78CA-4F2A-AD1A-BBE228711A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$326C0B4B-38E2-4A8D-9DC6-D091F81F96DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$45E97D45-26E5-4866-9AAB-A996467C698A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$1B7B9AA0-29C8-49D3-88E3-2C4100B5BE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$9645F7D1-ACFB-4698-8DD5-4EB7FC90F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03d4accff006fa49cc723478a662123fdd2f4","datavalue":{"value":{"entity-type":"item","numeric-id":4936346,"id":"Q4936346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$6DCEE5C4-305F-4279-ACB8-7B71083A6F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$69FA0A55-E9FD-4200-ADCE-D6F6B8DD4065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$36A39203-A3C8-4D81-A6FE-2B5BD1E669C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$1A3E19E0-1ABE-45D0-8E64-E856C6EC99EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$9ADCFD4F-C9BE-455B-9E5C-F065F588300C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$CF0847F8-E17E-4505-9E38-DFB8C0E0090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$60DE5441-194F-4F5A-AFF2-A39C011C5CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9433b77fd67c96fab7c401e42c7a40799c3264d","datavalue":{"value":{"entity-type":"item","numeric-id":2829627,"id":"Q2829627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$12C6CEFA-9548-4313-B801-7859A593B75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c167d86da991deb3b84bf3df5e92f5d0e8b01113","datavalue":{"value":{"entity-type":"item","numeric-id":5666704,"id":"Q5666704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$92F66235-5C6A-4D64-98EB-AC42FE88265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$69E15192-4299-4D2C-A1A7-9FBD189133B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$7190B2D0-DE15-4338-BB85-4DD963862244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133474$CD40CB95-9E81-4695-B336-442D7E2B3CCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186a44c5be3f1a7eb0c77410573706b45b7d7c8e","datavalue":{"value":"10.1016/J.ENTCS.2020.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133474$89B2EA6B-8E75-4E78-9489-D49919ADDEE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133474"}}}}}