{"entities":{"Q6829930":{"pageid":15119467,"ns":120,"title":"Item:Q6829930","lastrevid":56022604,"modified":"2026-02-26T16:10:31Z","type":"item","id":"Q6829930","labels":{"en":{"language":"en","value":"Least and greatest fixed points in linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483156"}},"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":"Q6829930$3AE8A831-02E1-447B-A8CB-F41A93DFF86F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e47e3acf6dd49b0a7f154ca287f7095e871d2921","datavalue":{"value":{"text":"Least and greatest fixed points in linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829930$66FBA995-9CCF-4975-98E9-F488F90D48E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d338dc3f47e2d132307c41e85d7724149127fe06","datavalue":{"value":"1352.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829930$FE9D4DA3-2164-48E7-9AA6-A162E1C38992","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"438a8f64184a9d431396de10e24d9295c55d4b24","datavalue":{"value":"10.1145/2071368.2071370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829930$1272166B-95A3-4E97-9C6E-9BDAA36DD7E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829930$6E850173-5DA3-4EE0-8C97-ED609C51E2BC","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":"Q6829930$52A80991-34FF-4166-B50F-AC7ED3B3CF6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q6829930$B135B9D5-056B-4F58-AA0D-28FEF61B34A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829930$B12884A7-6A3D-4048-87A3-1068EC568395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829930$407B1431-018A-4687-8E4A-E8286A9C314E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829930$495389C2-4C97-4DF4-8BFC-1B0870F1C6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829930$8994C935-00B8-4458-8B64-770CE906BE92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caf695c9ea376adcfd5c9cf740e96a1c6b81cd56","datavalue":{"value":"6483156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829930$1CA0BF92-EEB2-4761-9CE1-34080A3E576E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78be44484fc953af35848568eae91dd99140194","datavalue":{"value":"(co)induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$704595B4-97E5-4347-8A16-832AB441AEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$04233025-8F71-4B92-BE3C-27BB877F8845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$3D123E39-2D6B-42FA-8DBC-ADC6FD711FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$273D7100-F412-4070-B5F3-7A988734DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$96CDB372-C1D5-4C12-8E4E-98ADFB61E640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$6433C1B1-CC1D-4581-AB58-03823DCD247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$A5366EBE-F66A-402E-953B-ACC84AA82DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829930$EB80D86D-8E58-4F4D-9EFE-0A5D88CC2CDF","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":"Q6829930$E7BCDA10-FEF6-44DA-A6D3-B7B115DD7745","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Least and greatest fixed points in linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Least_and_greatest_fixed_points_in_linear_logic"}}}}}