{"entities":{"Q4989404":{"pageid":7018981,"ns":120,"title":"Item:Q4989404","lastrevid":55385641,"modified":"2026-02-17T15:15:56Z","type":"item","id":"Q4989404","labels":{"en":{"language":"en","value":"LNL-FPC: the linear/non-linear fixpoint calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350775"}},"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":"Q4989404$A6A1F26D-545A-4FEB-B064-DD91A7002353","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24f5ba5d748f81640fc166415b6f8552a86086e7","datavalue":{"value":{"entity-type":"item","numeric-id":2088112,"id":"Q2088112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$7E4D0DF6-5395-4397-AF4D-A3DF38CCA9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c53ee96c25258a099adffdda89c42403a08a832","datavalue":{"value":{"entity-type":"item","numeric-id":2200847,"id":"Q2200847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$32E1CFBC-D0EA-45B5-8F84-78F7B8389F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$9153599F-7B62-4B02-B4BB-92E80D5C549E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989404$B03F3057-0BB4-4D5D-9D03-8B1CEAC2F6C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32f89cbf98a38b5bda8d8fea2012ecfd32743cf6","datavalue":{"value":"https://arxiv.org/abs/1906.09503","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989404$88F2211D-4A8D-4068-82E9-2B15F8C59C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc03a8a6401280f5b99417a51bcd714178e3b18","datavalue":{"value":"https://lmcs.episciences.org/7390","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989404$358377AE-222B-47A9-B839-B69DA7A009AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989404$432FF64B-F87B-49F8-A7E9-F5AFB388FB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989404$D7F639B5-4D96-4A43-BA9D-2B380198405B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34856dd976683f17a85908f6b8e65d20feea22c2","datavalue":{"value":"7350775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989404$AFE2C814-65B5-46C7-A962-2AD3C350EE19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989404$03E4A49F-ECAF-4A7F-BED2-1531999E41CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989404$E30A4967-0E32-4BC8-BA1F-BFAF56FA64D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989404$FA805E9B-2A1F-449E-81D4-7768BD37FFB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"659e5bc024c4b1f9d14df55055d0ec91ae309b77","datavalue":{"value":{"entity-type":"item","numeric-id":34511,"id":"Q34511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$BB0165D2-26CB-42A9-BB8A-9E4E645092AA","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":"Q4989404$CAC2F6F2-4714-4E19-92FC-DC3C9FC21CDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$1C96301B-77EC-4236-90AA-3EA4DAC64D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$5E5903BE-37E0-4C43-93C6-36CC12470005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$7E4C928A-C0A9-4842-81B8-87F93837EF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1971bf5605fae3a9a65812d53c969d5e693558c2","datavalue":{"value":{"entity-type":"item","numeric-id":2914676,"id":"Q2914676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$0B5035DD-515A-46FD-8678-00198BADAFCF","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":"Q4989404$4343CF5A-8C94-4E4E-928D-7191EDFFEA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$4EB9004B-EECA-4597-8E44-5C29E947F90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dd947d2cd3406080a0c1bde67fc5e828ea2214","datavalue":{"value":{"entity-type":"item","numeric-id":4921510,"id":"Q4921510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$D481506A-3160-4CD5-BCFD-CFF881FD29F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fc8a014cc038f78ff3dc0ff5a0842e8b1ee9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1391860,"id":"Q1391860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$89DEC5C0-CDE5-4B73-B0AD-161E0048CAA1","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":"Q4989404$5B5D9368-8186-458C-8EB7-5630313F135E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44483429c927c744881d16f84e8d1aaeb09e181","datavalue":{"value":{"entity-type":"item","numeric-id":4143491,"id":"Q4143491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$F60CE79D-676B-450C-AB0F-1A6B3B7216DE","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":"Q4989404$73EA429B-3FF2-493F-BA00-6E097615EF7C","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":"Q4989404$A99EFAE7-A276-4ABE-8728-8C4AA61ACDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e0f295381d340077da9e780036a3b798ee921e","datavalue":{"value":{"entity-type":"item","numeric-id":5145342,"id":"Q5145342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$7E6BACE7-55C4-40B7-A117-33581B323D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$88BC895C-8D89-486D-82D6-E546E3215C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e45065b31641d81d76455a6f088b3c9807ddc","datavalue":{"value":{"entity-type":"item","numeric-id":952487,"id":"Q952487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$CA728E14-6187-44BF-AD81-6BDDB20B1D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$27AA33C9-960A-461F-AC6C-F1F616B1B9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10f7366b2524dc76d7f21bee253c90f38947c42","datavalue":{"value":{"entity-type":"item","numeric-id":2985794,"id":"Q2985794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$E4FC7464-8CA1-4193-A094-E06BE262BCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2d512b92ee90bea73fb2081f786beaa9583bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4922081,"id":"Q4922081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$7DF48E24-31A7-4620-9A02-1BC5E83C0560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$90601931-7A69-47F5-BC78-DC71A82055BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbbdac3eae1ef4b981134828ee5f705ff928cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2200848,"id":"Q2200848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$4A564C94-82F0-4005-AA96-CEDB0A0EDE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a122bec8a0c9623d3baa3f6b071dc66632a816","datavalue":{"value":{"entity-type":"item","numeric-id":5408456,"id":"Q5408456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$0BDE2A97-50DE-4ABE-BD36-91A9BE5A7618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9888c3757ab243ad1f0c597eea02a6445700651","datavalue":{"value":{"entity-type":"item","numeric-id":5109520,"id":"Q5109520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$8927B285-2A60-4DC8-9564-B087ADEE6261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$9A10D92A-F8D2-4B5D-8E94-0F49E4C9936E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e7aab2d87140cdee5d59f462d92eb80e3b81c9","datavalue":{"value":{"entity-type":"item","numeric-id":5408563,"id":"Q5408563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989404$4FD18325-6E16-41D0-9AF7-46343351A7C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e889a103608cbecffc9a012e6ee3066b43dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":5145342,"id":"Q5145342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff96b816d57e49ebf7196508304aeabf966849d8","datavalue":{"value":{"amount":"+0.7347187995910645","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":"Q4989404$8B50BF6C-3774-481C-B2CE-2D8AB6AD8630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a1195afb1c3c601a1561a604730c0b6a152933","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd77e532d4e6d73b6ce4e660a948bfda26dd399","datavalue":{"value":{"amount":"+0.7259994745254517","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":"Q4989404$DD56BA05-2C51-4C81-BECC-FE818BE00865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653bbad5c8bbcb07a67998522e0f0f049e7c7737","datavalue":{"value":{"amount":"+0.7219075560569763","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":"Q4989404$2D9F5E94-9B0D-43EB-BF57-415AAA9B3777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6893a8d2cbcbc3432aa10bcd6092820b10888c","datavalue":{"value":{"entity-type":"item","numeric-id":6651948,"id":"Q6651948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb06e34e18e8654ba423c304c4c0d765c87a056a","datavalue":{"value":{"amount":"+0.7174491286277771","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":"Q4989404$3462BCD4-5E51-4F12-ADA5-1F726186D92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fb54e76eb00f207e292536e83081afa8547818","datavalue":{"value":{"entity-type":"item","numeric-id":2985794,"id":"Q2985794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6b9e0f61c8152b0a71da30cfc35a75388afa35","datavalue":{"value":{"amount":"+0.7138213515281677","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":"Q4989404$FE5422DD-8578-421C-B280-BBE5E98049F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989404"}}}}}