{"entities":{"Q6661154":{"pageid":14272311,"ns":120,"title":"Item:Q6661154","lastrevid":42412775,"modified":"2025-06-15T15:51:41Z","type":"item","id":"Q6661154","labels":{"en":{"language":"en","value":"A subexponential view of domains in session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965470"}},"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":"Q6661154$FD5C5918-F596-425E-9DAE-8C11ECD64D55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6a2671eb03b71be24da02bac39303f82f272f29","datavalue":{"value":{"text":"A subexponential view of domains in session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661154$AA166360-E519-4A67-BB17-3ED6EF57AAE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23dfc821eae4cdee8193ede229720382af0c22e0","datavalue":{"value":{"entity-type":"item","numeric-id":5881534,"id":"Q5881534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$3900ED5F-ADD4-4F0F-9DC7-EDB85496AB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$4A1704F8-7759-4C4F-8787-27263AA7757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0039c5621955bbc74d242640f4d66a8ecad290b3","datavalue":{"value":{"entity-type":"item","numeric-id":1643144,"id":"Q1643144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$0A101EE1-1713-4FC8-8B81-573AC6BE9BE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661154$85AA0CB2-AE3A-4C26-B634-84A239C9C3A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661154$C56BBF24-EA6E-412A-A83F-CEF331742E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661154$0764C7CE-991F-4B1F-A113-28F622AA5ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23a1dfb649d11804d404149b611a9e9cde553167","datavalue":{"value":"7965470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661154$CE9FB977-8EAB-4321-B775-38A8B2C70CAD","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":"Q6661154$4F06B63D-3523-4D69-A084-C3EC2EFBC486","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$A97EBB5E-F97A-4124-9FD6-1B005C229F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e8aeac9c61540d3ed061b1062da63d321b55a3","datavalue":{"value":{"entity-type":"item","numeric-id":1342245,"id":"Q1342245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$9E011F5D-41EF-4A4D-AE72-73F4A3265C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$61407AA2-18B9-4285-8595-042DE5C4C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$5FF003CE-9017-4CD6-BF2B-94C2FD266191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$1F779B01-384F-4B7B-A3DC-EA917DE8CFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1911521cad5886b192dfffc9287972a138294385","datavalue":{"value":{"entity-type":"item","numeric-id":2988641,"id":"Q2988641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$3914F9FD-B75D-4CAF-B2CF-07643ABC8702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f8c426634c3f1c901b15df6ee61ce19d41a2a2","datavalue":{"value":{"entity-type":"item","numeric-id":5875401,"id":"Q5875401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$FF69F8D3-D144-4914-8D54-C895B0C0B18A","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":"Q6661154$840699B0-D0BE-43A2-AC85-8D7D46A9F1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$47AD0D88-43A4-49D5-9566-947BA2B64D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5148c641bbc6b73864df713ea27598b9da9aaaa9","datavalue":{"value":{"entity-type":"item","numeric-id":2971077,"id":"Q2971077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$1033A2FE-345B-46AC-A952-31105EAB7222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cc45a7575c19383326c61d784ce78b6dd9f0ae","datavalue":{"value":{"entity-type":"item","numeric-id":5236552,"id":"Q5236552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$8C93B1DF-C114-404D-B739-170C78436F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7ec33da9a073e80166392ebe6e10629ee04da2","datavalue":{"value":{"entity-type":"item","numeric-id":2822666,"id":"Q2822666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$EC05B189-D995-4382-9754-68E4A0A0CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$78BCF210-A461-45B9-A6F3-FA65D770B848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$C783CAA0-7308-4930-92EA-D4909D3EC724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c3fb1b0448e6867f200dae7b2797dd0e524450","datavalue":{"value":{"entity-type":"item","numeric-id":2968415,"id":"Q2968415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$96DBDA22-46CF-497B-8F48-1109612B63F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac95a97664ee433af6430c2c176331df8f4ba1b","datavalue":{"value":{"entity-type":"item","numeric-id":4649549,"id":"Q4649549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$6F01BDC7-24E8-4EA3-825C-9182476EB3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$698D0ED1-9B0A-48CB-8A6D-B79DAEB83070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac0f94fdb86997640885c63eb13063f6418998c","datavalue":{"value":{"entity-type":"item","numeric-id":5208874,"id":"Q5208874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$9CC9A167-65BA-4404-B05E-9DA00A72FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fb865faffe8a3607353efb5c9e7573acb7f0d0","datavalue":{"value":{"entity-type":"item","numeric-id":4645752,"id":"Q4645752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$B5374ABF-9910-4E20-AE10-8125DC64028E","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":"Q6661154$89B6F80B-109C-4324-8ABE-080AB39E3B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$DA90042E-10D2-4BEB-B383-EE24D76909CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bbe944a1f3d95894f881b403c1c36a04939ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5881535,"id":"Q5881535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$D96DE60E-937F-490F-AEED-80C43ACAB26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1236002207aec13d21ca2fd963b63d1651488540","datavalue":{"value":{"entity-type":"item","numeric-id":2404074,"id":"Q2404074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$82064D1C-3AE7-4E28-9F6B-472542B5D848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5489b5a21e6a1d194eff456c59674a50c3ae17","datavalue":{"value":{"entity-type":"item","numeric-id":897936,"id":"Q897936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$E312C61A-E755-42E3-ABF3-B9FCA2137F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$D566D4D6-AD0D-42D9-8635-057BEE51DE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4990a5fc78292deb84300c8204b44beb400a4da","datavalue":{"value":{"entity-type":"item","numeric-id":2931271,"id":"Q2931271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$DA3F824C-8492-4EF2-AB81-C4B7C169B222","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":"Q6661154$E7C9CE01-4D50-4A0E-A0B1-B8889C05EB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$AF2567F6-7471-4EF7-8564-1781DF82584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca05b48f8b1431d999461bc6e4a963806d86b167","datavalue":{"value":{"entity-type":"item","numeric-id":2892782,"id":"Q2892782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$566E1E85-090B-4889-97DE-04548D132317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661154$9DAC9589-EC32-4A49-88F5-6F42B6E5B58F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c5f97de8f9c695beed54d2fd605222c31b4147a","datavalue":{"value":"10.4204/EPTCS.357.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661154$31BC73C8-217D-4BFB-B329-AD7F28CD33D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6661154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6661154"}}}}}