{"entities":{"Q6116183":{"pageid":13250490,"ns":120,"title":"Item:Q6116183","lastrevid":102550682,"modified":"2026-06-06T04:44:39Z","type":"item","id":"Q6116183","labels":{"en":{"language":"en","value":"The bang calculus revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7713419"}},"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":"Q6116183$539B8F11-99A7-4712-806E-F4ACCD60862E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cd459250679af3354dbf7be78400b099c3c8792","datavalue":{"value":{"text":"The bang calculus revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6116183$5EE6E474-90FC-4447-B533-4F2F3F06C713","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$1E9E5A8B-2BEF-4EF7-85EC-1133A842F3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$3B0F3A4A-5306-4A6A-A01D-B9F23FA4B10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$12D301F4-B770-4AD6-903A-829CA6CCC2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b2106c60d9794103faba19f8cba05fb6a81293","datavalue":{"value":{"entity-type":"item","numeric-id":1652985,"id":"Q1652985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$800055DC-D4CE-4F51-98AA-91E364676033","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$3D3ADB82-4200-4AE5-9F66-DF74AEF58459","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b44f566c40f33836f162deecc1e355c878bce09","datavalue":{"value":{"time":"+2023-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6116183$A75DE90A-8C29-4BD7-B024-0893D7258C5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116183$6E959FFC-72C2-4E5D-8A73-45642E85BD05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e12fbef7cda01f73ff6b46e74a17a60bd7808aa","datavalue":{"value":"7713419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116183$98F382A9-EEE5-4C2A-B04B-3B749F7EA1C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116183$11D9DD38-BBB0-4103-9C73-CF56071C1D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80569a59a8848b8e69b368b4fee1d2893e0e6e5","datavalue":{"value":"bang calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116183$8D79679F-17F5-4225-BDC3-46DE68311AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116183$818EEF44-F00F-4D30-A91B-FD6E8B0C6F79","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":"Q6116183$A833BE30-DE74-405E-BB7B-D5C0F9AD2648","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35dda7e60f1a9ba6768b378f822d8d3aa18f7d10","datavalue":{"value":"https://doi.org/10.1016/j.ic.2023.105047","type":"string"},"datatype":"url"},"type":"statement","id":"Q6116183$0CF1713F-1507-4E2B-9DB8-ED4FAE7B730A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9420db155dada4c24cc2560039429fdc5492d69e","datavalue":{"value":"W3005276799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116183$BDE71C43-9B3E-48B6-92D4-4150638117EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84e9c16bd8f4b2d2751db91ba0f2270e2fe090","datavalue":{"value":{"entity-type":"item","numeric-id":3179293,"id":"Q3179293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$0978D53D-8025-4469-BE55-2561967B589B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8d6adf4603d386e03746d070a88c88fdfcac88","datavalue":{"value":{"entity-type":"item","numeric-id":6166135,"id":"Q6166135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$476CA396-D3BF-4C29-856A-4A62F01CF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36cc44b9102625eb334a136f424df325e05567e6","datavalue":{"value":{"entity-type":"item","numeric-id":2633623,"id":"Q2633623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$840EEC11-2556-4BE6-959C-06721C7A8D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62652dd62ec51af26d1f57df547887590f807f50","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$0C311020-2DB3-47B6-B2A3-8219CA5D58C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc59eca403e6d7ac2b4d4f9d044a3b60310a392","datavalue":{"value":{"entity-type":"item","numeric-id":2900255,"id":"Q2900255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$92246F17-058E-4C5A-B7B1-8286C3849E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$59C0EC97-5F35-40C2-9088-A5FED10D3423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b222a424bb714e7fec6d617d11df0d61280348fd","datavalue":{"value":{"entity-type":"item","numeric-id":276268,"id":"Q276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$A400C617-0D5F-4241-B7E3-ED88A37E33F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d3a18112634d945f57a45436f6c38b7d9c07d1","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$CCAB60F9-519E-45BC-AF61-9414C2CBCFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c65688837f3fe5e8a2a04338ec66a6a3861e52d","datavalue":{"value":{"entity-type":"item","numeric-id":5939845,"id":"Q5939845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$F12EB2C9-15DC-467F-85CE-8D90827EFEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80924992e977a34ed08b91a099ddc6533c8be909","datavalue":{"value":{"entity-type":"item","numeric-id":2039931,"id":"Q2039931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$BD460909-217D-48EA-9B71-FBE006C87200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806d61e380bbc012359f6b589f95e7cbddfc81f6","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$AFF44783-825B-4719-AA81-4AAE0A3E1E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843a825634e9bc89e3e7a2c65a06b1bf072573c7","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$C3786175-343C-4F39-B787-584C48085D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e524e66b876fcd86cb54f7e26b9bda7992a4","datavalue":{"value":{"entity-type":"item","numeric-id":5874202,"id":"Q5874202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$4643390E-46FC-4219-B165-6635352E761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$82723A4A-E503-4CDF-A48D-A779E31FA919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$FAF0FFE6-5288-475B-8FC1-5D3DD4B257A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8074052239bebe7f1daac4df3d727319b24d7fe","datavalue":{"value":{"entity-type":"item","numeric-id":5278430,"id":"Q5278430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$5C921D8B-A73A-49FE-9B50-20D61A42C756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fad36f552f6c9f003614420eedba916456aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$E480F75D-099E-42F8-A067-563262C97EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ceaeddd59258ef5cf026665e461ad2525fc5a4","datavalue":{"value":{"entity-type":"item","numeric-id":276260,"id":"Q276260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$AE8D9876-6484-413E-8D5D-1C226513E266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1245adc65c7a6a43c03977a394ea4c343893ad84","datavalue":{"value":{"entity-type":"item","numeric-id":534698,"id":"Q534698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$1DC3A743-7FD5-4FB0-B35B-51455E75C033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$C07C353C-4F8D-4425-BFC2-9A9B03F53257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195411bbc5a6bc9faed88aed5348f8ab519b12cc","datavalue":{"value":{"entity-type":"item","numeric-id":2802478,"id":"Q2802478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$23A8A13F-DB17-4ECA-8C77-036CD01FB44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$86209A4E-4AD4-4A13-851C-771504320DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe655fe601c833ccc2e6ab28bbe353022bd1c954","datavalue":{"value":{"entity-type":"item","numeric-id":4490749,"id":"Q4490749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$10AB2E62-AA37-40F1-AD05-2379696F3173","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":"Q6116183$7B086370-9CB7-43E8-A469-DAAF42B570AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$320BF0F7-CE50-4890-8F3A-D11C89B910DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701758e612cf953936be8a04720dd50d81b97e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5076060,"id":"Q5076060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$BCDF613B-86A1-4B1D-9B19-3EB719BF5BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175797b530add3a18bbf88e44493213ce2d2fc4a","datavalue":{"value":{"entity-type":"item","numeric-id":5018484,"id":"Q5018484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$17B698BC-8C3F-404C-ACAE-08F55E4D2E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02bb2ef2212805ba3d6ddbe7c18feb44722ac49","datavalue":{"value":{"entity-type":"item","numeric-id":5369485,"id":"Q5369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$B1A11EFA-D82F-414F-97C9-476CD1C3882B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a80d1e65c61c7146b7cc0db8785b867f59c04","datavalue":{"value":{"entity-type":"item","numeric-id":4168908,"id":"Q4168908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$0DBB7279-2E43-41AC-BCCE-576FCC26178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74c41ea929505ef6f565669a4cb2bb3fd37a959","datavalue":{"value":{"entity-type":"item","numeric-id":2811356,"id":"Q2811356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$2ECCDE96-7D98-4644-B116-F1B5F819162D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994627a6700eea8d4646ee5db509d59197663511","datavalue":{"value":{"entity-type":"item","numeric-id":3190169,"id":"Q3190169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$89CF4DEF-4BBD-4BA0-8EF7-10501923540E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b785c0bb451256d53294bc267f11e79faff1dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":5111320,"id":"Q5111320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$E11D0341-6A0E-4289-A17B-88D7479795B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca9c43812e4c0c8c47ae1e36498b4f59d89492f","datavalue":{"value":{"entity-type":"item","numeric-id":5145668,"id":"Q5145668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$F1962B22-5BB0-4168-B343-4C4373842DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$A64A5B9A-D420-442A-8CA9-0DEECCDFAB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$A52C3747-E4E1-4AEF-A325-E23B79800B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$FDC62D57-B9A9-41DA-8587-8B927D814F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95545290a2160bb1d3baa35d5b02b90316272","datavalue":{"value":{"entity-type":"item","numeric-id":3557862,"id":"Q3557862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$ACC86F28-7F37-4A6D-BD31-5C3F9BDA5453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$25BA60F5-AAB1-4C13-9289-500D4F4228D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d502c3cafe07e9cee36e9b47d57d584e04885081","datavalue":{"value":{"entity-type":"item","numeric-id":5089020,"id":"Q5089020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$2762CF92-CAFA-402D-8873-3D954BC5A242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$FC950BCF-1508-49C3-9FD3-D9C5E23DDB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666e18f5bd3d70bad938d3547748f9bc9d31b864","datavalue":{"value":{"entity-type":"item","numeric-id":6159940,"id":"Q6159940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116183$F60F9AD7-C3FB-4DFB-8254-268285608C1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"923774fe0b2b2f45347db2c605ad32d538cb55f3","datavalue":{"value":"10.1016/J.IC.2023.105047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116183$A030D251-72B4-449B-8944-D026CEA93CC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The bang calculus revisited (scientific article; zbMATH DE number 7713419)","badges":[]}}}}}