{"entities":{"Q5089277":{"pageid":7118853,"ns":120,"title":"Item:Q5089277","lastrevid":39528284,"modified":"2024-12-30T14:53:14Z","type":"item","id":"Q5089277","labels":{"en":{"language":"en","value":"Session Types with Arithmetic Refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559469"}},"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":"Q5089277$8D07D9BC-F020-4112-979B-21426185E26D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb6fec8e8be7aef9744c6cab8c4ecb8b67169ed","datavalue":{"value":{"entity-type":"item","numeric-id":2233454,"id":"Q2233454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$81F5ACBE-B4B5-4A5E-BC92-FF5F86E282AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$ECC4CC30-E41E-488B-AD9C-90EB37FB0513","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089277$E87B21C3-89DB-4F65-B533-A3FA7FAB6F66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b37b3602e999828ca1c4bc7e7417979af10fd161","datavalue":{"value":"https://arxiv.org/abs/2005.05970","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089277$1AFAF734-BEAA-41F8-B1B7-E23E47CCFCB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089277$71998531-51F0-4E54-847D-15C9EF73FBFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3c47230505722afdede3f1e49c3f0186996f587","datavalue":{"value":"7559469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089277$9CC58543-D124-46D3-8E98-04818FF14C2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089277$008A1E45-5442-4E46-98C7-B8BB00534A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089277$327D517B-B42D-4B1B-BBD4-2461414B20FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd72324b7273a3b400e0c4814d8da38c0bcf778","datavalue":{"value":"type equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089277$1CBB2F30-B966-4F7B-9310-19B3D8263D43","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":"Q5089277$CDE9C128-7ECC-465C-ADF1-F24A4347D227","rank":"normal"}],"P223":[{"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":"Q5089277$DEC43274-D472-4C75-8D41-6887727BF09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30456fbff3fab9b7db51bf2eb451861fd4063750","datavalue":{"value":{"entity-type":"item","numeric-id":4986741,"id":"Q4986741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$F2A16804-9080-4736-8270-F7F47AE7D445","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":"Q5089277$DFC794EF-173F-491E-B953-306F92200577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7498fd20b5bc1173c2b277cb9f3b2bb961953bb","datavalue":{"value":{"entity-type":"item","numeric-id":3584928,"id":"Q3584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$1BF6ADF8-AF12-4BEF-B82B-9E0242D89331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3d3f46df6998b74a90db3f7d4960b38f8ddbd9","datavalue":{"value":{"entity-type":"item","numeric-id":5875400,"id":"Q5875400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$BEF7E9A6-D5A9-4636-A05F-7A6D867147B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7936b855b4220cfa21daf320e88f2d4410a7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2407107,"id":"Q2407107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$7CADE6BB-6A28-49D3-8670-2E83FDA44095","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":"Q5089277$B2F0472A-FA8C-412B-9171-B2AD0ECB0023","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":"Q5089277$81FF0B93-0693-4025-ABD9-802BDD7EE979","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":"Q5089277$17A29BDB-1E75-40D2-875B-17C36CA31D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$7B7E9648-2622-4212-ACF0-B8452E898458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348bec4658083bdfef92d458459d305fea8d86d","datavalue":{"value":{"entity-type":"item","numeric-id":5145303,"id":"Q5145303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$BC804D8C-9ABF-4E96-9E16-5C4C2E39B189","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":"Q5089277$616E4096-C1BC-468C-B9E7-05ED8DEC5A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e8e29d8772f6e638866432d4891bb06c3eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$498BCC19-05ED-4303-ADC3-CAA9188C78C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ead62c573d45ef64e44c106273e4f693a53e05","datavalue":{"value":{"entity-type":"item","numeric-id":5919613,"id":"Q5919613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$96C1E290-5E63-48A7-BBD6-3479D12D959D","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":"Q5089277$0CA10D6F-260C-4E42-A2E8-BB82C64DBE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$F2497A57-E986-4961-8E8F-0AAD7305DDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277a4096ddaed12bd51e78a0b2eda53e3b646500","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$9C43DD80-B4B6-4BB8-A266-3653C47CD741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066fe12e44dee0d16dd44d69d94302fb7ebb8fd","datavalue":{"value":{"entity-type":"item","numeric-id":2985793,"id":"Q2985793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$DA14E158-FBEA-4031-89EA-4F39977B5F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$2C864549-26E1-4DBC-8FEB-72C363748BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cfb261abf4927c037a8cca169f54ff4ce8b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":2343135,"id":"Q2343135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$204687CE-C0C8-4C21-A193-5675CE31B7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e1b57f934a5ea607e669ba21b3d69c7da2cfc1","datavalue":{"value":{"entity-type":"item","numeric-id":3100198,"id":"Q3100198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$9322C39A-66BF-4B23-9C1C-E4FBC68F891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a974f70fdf30a806f290add5387a2e33b647fd","datavalue":{"value":{"entity-type":"item","numeric-id":2948548,"id":"Q2948548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$347B3412-454C-48B9-A83C-161AD09A14BD","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":"Q5089277$C1B3125F-6CAE-44F7-9449-6500889DD5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e1f39302fdfda0f86f3b06fe7c3d1ee3c07c81","datavalue":{"value":{"entity-type":"item","numeric-id":1652972,"id":"Q1652972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$59AA6461-B36D-4B51-9614-4A39B7893852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4d76cbfe7fbf4d6b09b329ce6cf6e0cc0fb6","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$252D7F96-4AD3-48D7-8D9B-3573D65B1130","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":"Q5089277$AB6ABD0D-6F10-4C46-AF37-661685CEE757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a202c15d6f0203e77f6eb394d88152eebfc809d5","datavalue":{"value":{"entity-type":"item","numeric-id":5712319,"id":"Q5712319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$8DC5B447-C1E9-4F54-9349-75197E36B0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3c9740dc87f0aba4702af08773fe882498acd2","datavalue":{"value":{"entity-type":"item","numeric-id":1389626,"id":"Q1389626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089277$68202B89-AE6E-4DD4-B4E3-1AD065731B82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aba1d5287094cf48f1c0091898ddc746acee2c8e","datavalue":{"value":"W3081625510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089277$FDB8DEB4-BA80-4CE5-9E1A-053C9C671D72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09087928b439eee8013bd4a9c7ed698629b9d177","datavalue":{"value":{"text":"Session Types with Arithmetic Refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089277$C8C9E531-D35E-41B8-A549-AE7723F6B7B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ca511e09d6be74b4613afb28bac090389c0ff3e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089277$C9ED4EFE-EE48-41FE-B52B-CA26C0BEFC5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089277"}}}}}