{"entities":{"Q6831471":{"pageid":15517644,"ns":120,"title":"Item:Q6831471","lastrevid":74401593,"modified":"2026-04-14T20:39:36Z","type":"item","id":"Q6831471","labels":{"en":{"language":"en","value":"Fixpoint constructions in focused orthogonality models of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183018"}},"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":"Q6831471$5D3A20AA-81E3-4314-9B8D-0FFA38DBB5C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64f3cc2e4d4675719225706a1430448a0cf488c2","datavalue":{"value":{"text":"Fixpoint constructions in focused orthogonality models of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831471$503803C3-EF8A-48B8-9F73-567625ACD312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a0dcc8d9c86db8ff80aab2170f2930e51c7e5af","datavalue":{"value":"10.46298/ENTICS.12302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831471$A3615024-E36A-4C9F-B381-7B8C4634BEAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$75846CB6-1375-4E18-9F6E-4E2BECC826DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a30742dd4a47212a07407dd9280466866fd78c2","datavalue":{"value":{"entity-type":"item","numeric-id":2173709,"id":"Q2173709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$9B1B36C2-BB31-4E10-AAE7-C2D0E73E53D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53971f6a0d8942c5e031cda3553799b338ae627c","datavalue":{"value":{"entity-type":"item","numeric-id":6320444,"id":"Q6320444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$A9E6CB1D-211C-4EDA-85BE-80DB2079E47E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831471$89D5B3FC-B1C7-41A9-815F-9B33AD5EE64D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831471$B2F7066D-043D-4BFD-A28F-A39B23A5EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831471$7AE15CC4-66E5-43AF-A531-34ED9293B937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e07b89d1b6ca4b6ea59f3660934d5909bcfd5c","datavalue":{"value":"8183018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831471$4B1F2CB4-B467-4D9A-9FCC-3050FDA66E82","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$3274577C-7575-4B0E-80FA-4B0F1594DD72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc52107eae4f3a883bdb60996233b6da7c80365","datavalue":{"value":"orthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831471$95AA5B52-7529-4540-8BFC-3EDEC5166450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831471$10BA4834-83E9-48A0-AD99-7B9576E13EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831471$FF6B896F-F340-4C15-AD24-77DB0A5D3BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17fd7e9e3fc4220d7e77647009fee5a6692e8cc","datavalue":{"value":"fixpoint constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831471$646B6D1E-D7E2-4E82-8F51-CB16ACB5AFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02d794c5fb130e714d3b74181ef52d309881f0c","datavalue":{"value":"inductive, coinductive, and recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831471$88BD3687-3921-4A1D-98A0-5CE8D9880317","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":"Q6831471$43AFB0BC-FA85-423E-B8A1-D4C16A828221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixpoint constructions in focused orthogonality models of linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixpoint_constructions_in_focused_orthogonality_models_of_linear_logic"}}}}}