{"entities":{"Q5079760":{"pageid":7109336,"ns":120,"title":"Item:Q5079760","lastrevid":55971316,"modified":"2026-02-21T15:34:48Z","type":"item","id":"Q5079760","labels":{"en":{"language":"en","value":"Local validity for circular proofs in linear logic with fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533360"}},"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":"Q5079760$DC87443C-7B40-41E6-A45A-90C38137DE78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f71600b0570d41143d2c0a03a9eac04c0f79db8","datavalue":{"value":{"entity-type":"item","numeric-id":2180525,"id":"Q2180525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$7A71078F-CCE3-49E4-A220-CEE5318B5B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$137752D0-5540-4AC9-A63E-074EC8168A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7061f0dc89ea4c9e92e579c2d5bbcbdff493dc","datavalue":{"value":{"entity-type":"item","numeric-id":891920,"id":"Q891920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$5CB7A883-D911-4844-BFA1-CC3C6CFD5D70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079760$57774220-747E-4ADB-800B-BD5AA9C241F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079760$B9211C54-242E-4482-9AD5-C13C1B1A48F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af639f014d82a07f88f6badf6a0da3bdfaec9d7d","datavalue":{"value":"7533360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079760$93B3622D-D397-4DBE-8795-230125FF2AB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$A55EEB9A-E9AF-4697-B6EA-F43F843228EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"babb9e7247d75757dbe42d2501975e79c8db80cf","datavalue":{"value":"non-wellfounded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$178E1937-DA79-464A-BD0D-1A7702B7D15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7dbc9c45eeeebda94a7a1591d5ed6936b62077b","datavalue":{"value":"circular proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$CCB3E95F-3EDA-4B1B-82FE-3F613A01CE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$19994A65-9F5A-40BE-927C-BE64A560442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$9FDC2BD2-834E-49F8-A7E7-E29528BD72EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$4CA2E0D9-5543-4F6D-8E5E-8E36CC8E2813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$EFDC060C-4FB4-42AC-96F5-C9B3EE0BA40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$7FF01C83-B35A-4C6D-A09C-C747D69CA71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f5b6071bef5d182c75ac67fca1f93100199b4ef","datavalue":{"value":"muMALL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$20B46544-BF27-4567-8E13-91AFAB675AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df295a03a26a085e64e0b16acebc1e8bd58f6f57","datavalue":{"value":"finitization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$A06DDDA2-4404-4C9B-A500-3531F6C207DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f849e8fb40e2860ae310db4ff8fd6182b197c7ca","datavalue":{"value":"inf","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079760$7CA2F277-2321-4A9E-A659-9335BE329B49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$DA81C191-9D22-435C-AF3B-74A94A7919F5","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":"Q5079760$24A629DF-3741-4A51-BBE6-E91052F52B9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$F012B58A-3EF8-4C5D-8B14-BC96BF971F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90cfd1e48c8cf1f9d7079747a2b5df68fc967ba","datavalue":{"value":{"entity-type":"item","numeric-id":3648723,"id":"Q3648723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$A429BF04-E150-473C-9117-20FE6AC45129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$D2D2C43E-8742-4CD8-9AD4-28BC6C47D339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f972e3641c3a0ae702912ca836cccd8294c221","datavalue":{"value":{"entity-type":"item","numeric-id":2988375,"id":"Q2988375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$E6A4BDAC-FDF4-4667-A16D-A90706D143CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a4af602b522c2682b2c35cb1b488e8e6a412b3","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$B87FD2DF-7F98-4F80-B5AF-DAF98EED027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$9E8F8DC7-8F0D-4B47-899B-7403BE89319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdc535713bd2a1bea0ebcab85559eb258068f92","datavalue":{"value":{"entity-type":"item","numeric-id":3617718,"id":"Q3617718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$FD9D13A0-7ECD-4F86-8653-3B16F96A44E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$381C6625-0BF3-475D-BC53-25C7D4BF195F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$1D865D69-108E-48D3-ABC8-A6D0A9789ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$DDFD4D6D-6E0B-4AD3-8811-4A9BB8DD2B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5df66124e831eb1b033739098c05387eb83cb","datavalue":{"value":{"entity-type":"item","numeric-id":4635894,"id":"Q4635894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$C967F54B-C72D-4ADE-B2F8-620E7DE067F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$83A28E26-3A15-440F-B5B7-D350507FF1A9","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":"Q5079760$E1FCBDC9-6F46-472D-AC73-F5E81EF705F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fed9cf15ee0945976ffaf4ac5d5f4bc0454fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1349728,"id":"Q1349728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$56AB6047-F64D-4F14-9A25-E8EA938914E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$43A10D7C-C83D-4649-B7F2-80F77C9F2C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$35D14637-F6A3-4588-9C63-5944BEAF7F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$680A0E6E-60F1-48CB-814B-488BFFB06D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$EF9CD14A-9A86-49B1-AC89-B7D92E496CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079760$7F3D7338-ED21-4C52-80F5-C9138CEAEE73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"588c6a42bd84af1f9282642c98cca5a4f7bf8fee","datavalue":{"value":"10.4230/LIPICS.CSL.2018.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079760$F4696EA8-8A31-4069-AD02-5D352BEB61D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee198f92a677c2980dbcd0aadc163e3e30b9901","datavalue":{"value":{"entity-type":"item","numeric-id":6649500,"id":"Q6649500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a92b2b5638509aaf666c1a179fba67aecc2d334","datavalue":{"value":{"amount":"+0.8524225950241089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079760$D037C7F8-730E-4B64-BCBC-DF64E29E30B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0201347102d4f446ecd8d53fd39146a89eef04b3","datavalue":{"value":{"entity-type":"item","numeric-id":2180526,"id":"Q2180526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d094dd157f98f9c43912ff1d0f95981bb625122b","datavalue":{"value":{"amount":"+0.8237698078155518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079760$333A5280-D696-4164-B9BB-DB89E935FD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5f827503b5aa389a0bfd883a5aa6a58c73f99a","datavalue":{"value":{"entity-type":"item","numeric-id":6544115,"id":"Q6544115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85977b8f8dc0575399a2f1e1beb957255f4bd090","datavalue":{"value":{"amount":"+0.7888336181640625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079760$FFE64D4D-5550-4A30-9806-0E62791E867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"175c14217be219a8f909edc75bc503cfe9588c83","datavalue":{"value":{"entity-type":"item","numeric-id":5094136,"id":"Q5094136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5107e4f1f7e5d2979c2c7220f694dd086ee5f463","datavalue":{"value":{"amount":"+0.7821270823478699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079760$1F94D84C-99C3-42DF-84E0-B993B4EDAB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dd24b13e86e8b7f507e9b28623e3cbe6b6e803","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496a1e01fd48cafc35592e78511fd498e610f967","datavalue":{"value":{"amount":"+0.7722889184951782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079760$77E05CAE-3A32-4D8A-B676-5F6A715836E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079760"}}}}}