{"entities":{"Q6636617":{"pageid":14247769,"ns":120,"title":"Item:Q6636617","lastrevid":40606291,"modified":"2025-03-10T09:36:13Z","type":"item","id":"Q6636617","labels":{"en":{"language":"en","value":"Interpolation in linear logic and related systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7942535"}},"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":"Q6636617$E83BE769-416D-4234-89B5-3135D4EF702A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"675dcf7b4a76933f27af5553c233128dd9fcc8d1","datavalue":{"value":{"text":"Interpolation in linear logic and related systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6636617$B62EEDAC-22E4-489A-835C-6CE6B5E8F54A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ac098dd644f5be5ebd10fa7c75c05807d2f1ca","datavalue":{"value":"10.1145/3680284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636617$93A23B70-FBD3-4C45-B470-DBA0E101D2C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b29e098fa3b08718a2b685d4dd9bd3a2e22fea9","datavalue":{"value":{"entity-type":"item","numeric-id":2007987,"id":"Q2007987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$6DE7F9B4-A492-4D45-9CC8-B807C142B7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbde116b2e6e9796ce780dc7e634400afd5aa215","datavalue":{"value":{"entity-type":"item","numeric-id":2122218,"id":"Q2122218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$6384CDD6-7CFE-418A-868F-6F0EBF134799","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$521236D3-9790-4FF4-BCBD-DB7635D62897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6636617$02307500-43EC-4647-8F52-BF6DEADDB434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636617$7DBAA59F-385A-43F3-A97E-9E7E221911FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636617$DE9E49E9-CBBB-4CC7-B2E7-83B76F518E6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"956a81e0678aec7033754ab42bb7f0c51d234cda","datavalue":{"value":"7942535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636617$F9A498D0-0124-467A-9777-06404F4247F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636617$3EE36E04-B63D-4F46-8BF5-76A5F302AF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636617$27E76216-FB09-4C5C-86A1-11653C9572AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636617$9C0D86C8-30E8-4765-83B3-4CF1F2450139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636617$48F4794B-7CD2-4CA9-8144-40831234B575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636617$F76E689B-ED3F-4AFC-9F39-BBC1D20493B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aecf7b61177233f47dfd994d39641b25b0d9850e","datavalue":{"value":"substructural modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636617$60819B21-6FBF-480C-AA96-B9D36667A23B","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":"Q6636617$24FC1583-2E02-4F32-94A6-7E7C283F1A27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acab18b74f6fefe729503590b8fff7e17f08e2c4","datavalue":{"value":{"entity-type":"item","numeric-id":2695340,"id":"Q2695340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$ECE33BC6-1162-4F83-944F-6A45294C7D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd42f91ae5c155755657f2045b21b4c136e7119","datavalue":{"value":{"entity-type":"item","numeric-id":6174409,"id":"Q6174409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$A9658C8D-4F54-4E8F-9341-AD73F72570C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$890FC323-3780-4AD5-8FE1-2E7635B038FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$49E0ADDA-0350-4D3A-A394-2DDC9CB52671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$0844C50C-DE97-4605-AEA8-733C86EB538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b446099905b56cfa9e33fe33268817567c38830","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$673C352C-0581-425D-906D-5FC429C67DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$6C1D2E2A-75A6-43CC-AC31-74E94746CCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bb7dbf8abdef8d4f87c20cbbfb5e95fc2d02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3583096,"id":"Q3583096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$6591DB0B-D14E-43D8-9B9B-286A6C547651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ab98e3d59d7b6ec5eceb4efdff1c76e8fb0d26","datavalue":{"value":{"entity-type":"item","numeric-id":909692,"id":"Q909692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$43736E8F-9043-4B2F-BCF3-AB8B5D6E5F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$07601A50-43C7-4EF4-A7E8-396920B57609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d868e287255af6f99a2795636871f71d2da1ca1b","datavalue":{"value":{"entity-type":"item","numeric-id":1972417,"id":"Q1972417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$DFCE42BA-3C19-4FF7-A6C5-26E2B74251B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6fab2c6a32f604db30378d3777b8bc03cd82d9","datavalue":{"value":{"entity-type":"item","numeric-id":2650854,"id":"Q2650854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$166B9A60-CD97-4725-919A-5EAD4B0B5243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cc4f82c18d864dcb2bee65932bb039b961c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$8BAF4796-D02F-407B-B29F-0CAF40D6D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$0CB05D10-2045-4DB7-B02C-AEAA7DC7FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d7f6722148f162fcf555ce572b0de0af9afa92","datavalue":{"value":{"entity-type":"item","numeric-id":2115284,"id":"Q2115284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$455EF9F5-DA97-460B-9277-C8C1CC4DE936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b228b5dd993e07b382dedeac2066ef83bc8251","datavalue":{"value":{"entity-type":"item","numeric-id":2695352,"id":"Q2695352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$66F702E8-BA52-48B0-9532-3FBF429D1B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e270f29bd969368bc4a4f5b9467648e2c539c3","datavalue":{"value":{"entity-type":"item","numeric-id":2311212,"id":"Q2311212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$292C213B-C38B-48C6-97F5-68A6BB2D39CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8739ce55813edce29dcb6a0f62da3d0c4f6bde7c","datavalue":{"value":{"entity-type":"item","numeric-id":6539430,"id":"Q6539430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$07E7796E-1077-4F4D-86D0-4F897031513C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d39f208588ca4f41ff00b6ffc4b45f0dc35549","datavalue":{"value":{"entity-type":"item","numeric-id":6183569,"id":"Q6183569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$EDCE95EA-2116-4C34-94E4-CD7F892B17B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774098d03c9c19ef6a0e48ebaddaa496e2314c94","datavalue":{"value":{"entity-type":"item","numeric-id":2324842,"id":"Q2324842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$F8D49D2D-70F0-4A51-8081-C43D5E0039BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$9C1FA555-95F8-4D7F-85A2-DCDEC6EC0B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$67122442-CD7D-4E6E-9323-5E54A7EA8E98","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":"Q6636617$EA4CEAA9-61E6-41AE-BA54-B19533376C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5735d831c81aea8c61f4823676a62cd80146da","datavalue":{"value":{"entity-type":"item","numeric-id":5886520,"id":"Q5886520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$448FEDD8-E072-40AE-BA4C-DDE60323F370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$E876B29B-ECBF-43CB-B85B-9F6826A6DBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c6bb141b10da65974947e3f9bd68fbd336bc45","datavalue":{"value":{"entity-type":"item","numeric-id":5387303,"id":"Q5387303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$B863E9D4-C1E0-4F61-843E-A9A5C81108E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5d8e7d2e005c2139c79102adfdd3c296d42af4","datavalue":{"value":{"entity-type":"item","numeric-id":3583099,"id":"Q3583099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$CEF2940B-E746-45A1-A4CE-1154680695D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3221cfecf27431bfd177fbf7a60f6a4c84e579c","datavalue":{"value":{"entity-type":"item","numeric-id":3342632,"id":"Q3342632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$70423ED2-B11B-4005-8743-B3A14B3CD9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$4D38379E-2EC2-498E-8A17-2F34D258C65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$D79CA868-A151-4F04-8FCC-E39518E64602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2148f50f0a03a5c567ae2ae43602409775e953e8","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$FBE27F69-2C4F-4D79-9516-F7A7A23B4D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$CA1915F0-0267-4DA3-9BA1-804A11DA7069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252b5ac009cdcdbbc971631c7d7c5005a4a39f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4302342,"id":"Q4302342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$8C5B917D-DAE9-4F0A-98BF-0B65A37690DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ea391b40383a90b131a418ce786a45da6ee431","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$4A081B00-EA82-4434-8F1E-A6A843A1B351","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":"Q6636617$8A3E381B-D9F8-4911-99B5-7E7F0EA82090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708033ebff960d4013a675d983e5c0cba9b5e92","datavalue":{"value":{"entity-type":"item","numeric-id":1922124,"id":"Q1922124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636617$CA023DDE-A1E9-48E2-8C58-60CF131FEAFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6636617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6636617"}}}}}