{"entities":{"Q6831471":{"pageid":15517644,"ns":120,"title":"Item:Q6831471","lastrevid":84297065,"modified":"2026-05-14T19:25:00Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39ec985448c8db12ec3013acd878005445278ec","datavalue":{"value":{"entity-type":"item","numeric-id":2555038,"id":"Q2555038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$0640249D-57FA-4DE2-80EF-26BF4ACCE40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d3b37d61604070c0efbf8dc0f2517b07882eaa","datavalue":{"value":{"entity-type":"item","numeric-id":6829930,"id":"Q6829930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$7E80343B-BDEF-42CA-8CEB-3C424F9367DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8e1b6e029ae7bb1a05e1fe42124368a8102316","datavalue":{"value":{"entity-type":"item","numeric-id":4936144,"id":"Q4936144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$4A3B8093-979E-4083-BE02-0BF9BA9FAFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$CF715CA9-F23E-486D-83B5-BBF74C5A3DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a008ab380104a5f90bdabb3415710a19ec68bc4f","datavalue":{"value":{"entity-type":"item","numeric-id":6604652,"id":"Q6604652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$79FB5EFC-EF84-49D8-B3B1-C302FAE6C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$21470B98-9BCB-4A71-928F-5726AB2E2A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$67F42681-F54D-4E94-B247-66B96590362C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03098e4e1ce88eb9dd426831b61463f3e9e4b55","datavalue":{"value":{"entity-type":"item","numeric-id":418011,"id":"Q418011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$1E18B07B-DA41-457C-8A5E-C45375D6CA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42518df45003f5d1e7401d16135a54be7f0ef959","datavalue":{"value":{"entity-type":"item","numeric-id":6651948,"id":"Q6651948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$0FA89DFE-DEBD-466B-B288-4EEA32D7E898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18575257a2c0f53473e2c8e64ee6959b10c070fd","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$05128281-FE92-4EA8-8512-9AD992D49B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$5AD30C74-1607-43B2-AB3F-E7201AA95767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357ccf03e46aaa39253d03b41c233e835e9de436","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$3E0012C9-9E8B-463F-AA4A-44C39FFE2B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$22532B5B-50AC-4925-9A4B-C975FDB910E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$35FC7F63-D6DC-4AC3-B29A-B0F6BA1003CF","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":"Q6831471$A1D30EE9-09C1-42C6-8943-F7072BAE7D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$4783ED74-A0DC-4197-9371-0C219262BCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$BD4996A2-DB79-415C-83FF-1B5EDF45F57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$B16053EF-9F34-4B2A-AEB4-A3EC6C6F12A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$1D7DA1C3-3FC5-4271-B952-359CE476F282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5128ea1fce41e0cabe1ccf3f99222f6d7ae49f43","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$2B647FE4-BECA-4630-AF97-3C87D3392E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f55ce7a0033f267017eaa754b9f303d49b3795","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$8506828D-221D-44AF-A638-FA8A6C23C05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$59766A8E-6EFF-468D-9E67-E315AFAB984A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$BE806155-670C-4D13-B760-9CA0195FE586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$E0228BE0-64A0-4846-93FA-7A992F2B6201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6959ca380bf9b3940fd57ea8b42325bb11fb045","datavalue":{"value":{"entity-type":"item","numeric-id":1185015,"id":"Q1185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$7737127D-BCE1-487D-A532-F3DF25E98E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$21337BEE-916C-4F80-8120-9652639A1208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$D6101E21-4C48-47CB-9102-A88D78096EB9","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":"Q6831471$D1C26946-7C81-42DC-89E0-195662A59224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$BC55851C-718D-481B-87D6-A893666F1492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$97235E96-0118-4D74-98B9-F0388BEF1912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a8ae024cddaa1f1b5ca1d7f83f9f87daf959cb","datavalue":{"value":{"entity-type":"item","numeric-id":4577981,"id":"Q4577981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$2248FEE1-3A1D-4D44-BE45-D544FF89249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d53b102d2da344af8d7c1c70486e07ab9f5bcf","datavalue":{"value":{"entity-type":"item","numeric-id":6649497,"id":"Q6649497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$D81CFFDA-4B75-4052-AE2C-CCD58347A43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$4BC7F044-5A12-4BDE-9171-907E7AE72C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26834783197c6a881875fa9e4f66880dee84a0fa","datavalue":{"value":{"entity-type":"item","numeric-id":1843491,"id":"Q1843491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831471$B3D9A56A-AB37-49E9-B542-DA5877D929CF","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"}}}}}