{"entities":{"Q1400718":{"pageid":1411458,"ns":120,"title":"Item:Q1400718","lastrevid":68623458,"modified":"2026-04-13T00:59:49Z","type":"item","id":"Q1400718","labels":{"en":{"language":"en","value":"A linear logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964180"}},"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":"Q1400718$1BE1465E-0F29-4E6A-9B22-A58A7BD5E45F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b76aff4f10abda5a030f938f3129311a02a623","datavalue":{"value":{"text":"A linear logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400718$6E1A3310-6A53-4590-917F-4DE266104B87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c947d72414d8ac08287ad3b29ed9dda32968932e","datavalue":{"value":"1031.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400718$0E65604A-98E3-4840-AC80-72FF60D3B2DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$9F187C83-3B46-4280-A192-E8BF92401370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$7E6CAC29-F7F8-49DF-AA9D-46B31DE9BD3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$442EA70C-D77B-4FEC-B03F-C92C6387F8D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f24f25d0e9771f70373d70ba49826f182a7fce9","datavalue":{"value":{"time":"+2004-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400718$B51AFA22-4C53-46AA-8CE8-7C945AEC2D0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400718$0DAEB209-8A5A-48B9-88CE-E88527BD0947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400718$A10394BC-36E6-4EEE-9D62-D2C5BB806A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400718$BB42E35B-BC6E-4E87-BF8D-40C6CF3F8E85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd948890dde1748dcdacf3ee51018d8197ed6e68","datavalue":{"value":"1964180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400718$C06D12B8-6446-4357-BCB2-64D15418DFA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f7f998690cb4873533b09e076d30b45370f48f","datavalue":{"value":"linear type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400718$60ECEA7F-3498-4320-9A72-4F592C9DF065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400718$80E48EAB-F9DE-4306-B912-F2FDC0673EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400718$98920D79-3B2A-4AEA-8FF3-ED76EFAEB3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400718$B86C9B70-4957-4EEB-9687-36C6E0F18C93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$1EDA7247-98F3-4ACF-9404-D8FAD4E53DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$0458FAC5-1B2E-4250-ADFD-5A0FA24EA93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$192195C9-5F19-49EB-BC25-3ADD28E0A0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$B4C17CCB-E179-43F8-96E6-473CD49D1099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$85F56186-522D-45AE-A7AB-FACA68C90E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$DC338C47-D250-4911-A7C9-64D27C62DD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$E73CFA58-A48A-4491-8BF3-D2CB54BE7E31","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":"Q1400718$BE5593F1-4960-4532-8C1B-7804592E4AEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"674798f3b7a2ed4c6b2c88208fc894038a6f9b41","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2951","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400718$E68D5B8C-A31D-4153-BD9B-E4B53B8FD8D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a0c228c9c38b96e924809b87ed773b8702daafa","datavalue":{"value":"W3181070739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400718$25BFDF86-1344-479C-8F88-F11DFC0B649C","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":"Q1400718$73BAF2C5-6012-4D67-941E-8A7D1BA3309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$85D7A3D4-7ED5-4FD5-B010-4F0F496F9741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$3271E226-073F-4BB6-B564-280F79095CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$C5C71CC8-788C-4729-9D54-2C5E56967118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517308a4ce02a2093e8f3db9b7ee622c4ceb35dc","datavalue":{"value":{"entity-type":"item","numeric-id":4944869,"id":"Q4944869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$CC6A5498-3A6B-4110-83AA-2B9C20F1A31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850e6d661a6ce8bca3c194e5215ee87b6975e561","datavalue":{"value":{"entity-type":"item","numeric-id":1575929,"id":"Q1575929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$4DD84BA0-CFE0-4F83-8E70-57E47F518CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$3A157021-DBC4-4215-9242-7FBAF892A33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$5B387340-27CC-4E3E-936E-E511DF1674BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$D4B4322E-0839-40C1-9954-BB686B7F482F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$A6FE1219-79DA-441F-B945-DC076B921B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$283091E6-2D15-4838-A467-7F063E1DB798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139e4113d7490e2010efb5b9ed721787bfac85fa","datavalue":{"value":{"entity-type":"item","numeric-id":4012881,"id":"Q4012881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$457E6218-C064-4B7B-8C4C-F919E250876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$04DE3252-A426-47DB-8C4D-2F60370861F1","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":"Q1400718$712F7F6A-9E14-47F3-8123-FA472EDF3DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$2826441F-187A-424F-8D62-0BE037E4890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$C2C333CF-A59E-4C95-A1FB-66BC61095051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$18CF883F-9A3E-4D58-A8F4-96FDCA42EE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72a7b0d993ee9e19852c35d9e1327c2f5072bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1334643,"id":"Q1334643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$16ABFA2A-A732-48CE-A95C-0AFE3D4FBE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$7F683F7D-8232-4429-ABF5-089CF29865F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$23D1486A-DA44-4A56-BE00-90AF71D9DF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66408ed34b82c234df713b8aa6315011a631e7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4228076,"id":"Q4228076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$BA9D93F2-AD85-499D-95F8-803976C47F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$DCBE38D8-95F2-41E0-8BF4-D33CA6D9502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$723973EA-0DEB-4A82-B12F-E6B4BC7D8C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$A2AA72F7-8127-43C3-8A57-2A18B7353E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ac79800dce37cf467ac64d04aa31f90a31f403","datavalue":{"value":{"entity-type":"item","numeric-id":4249901,"id":"Q4249901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$F0580BBE-7A84-4578-B9E8-1D47096A4595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ace9385f5e19244160232de5aab0108b07038e","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$9013F219-F8A2-4321-B44C-7688FC4A5AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1971f0a5aef4d2d81e705aaa7589e687d7ce05a3","datavalue":{"value":{"entity-type":"item","numeric-id":1092042,"id":"Q1092042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$D3872EB3-CCD7-430D-B9FB-53DB213CE803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400718$D020B376-FEF5-4788-B43A-5937B859DC4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83f16cf930a5356ee7582e11525474486dc58c0c","datavalue":{"value":"10.1006/INCO.2001.2951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400718$A45EC2CF-8C37-4BCE-ACBD-7EE24A3956BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3246e880570cc8d3b53f9dbc1a60dacb4bd34c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2844807,"id":"Q2844807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561bdb060c1c877827bbc8d3463c953e1eff077c","datavalue":{"value":{"amount":"+0.8035316467285156","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":"Q1400718$B7445646-7323-4E70-97A2-17B7C8D625D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c906d6ea96f2de0343d3de6007ed4dc3002c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2871843,"id":"Q2871843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ab9a54b2f85e1ed8d728e9b6104f0c4a0133ac","datavalue":{"value":{"amount":"+0.8026878237724304","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":"Q1400718$4AF66022-486E-4C4E-91EB-DFA2E721B842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6df812f101d50248e64cf825acb65921120fd07","datavalue":{"value":{"entity-type":"item","numeric-id":2988658,"id":"Q2988658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cf84d48428e694f502d1520f685a5670140d67","datavalue":{"value":{"amount":"+0.7810441255569458","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":"Q1400718$0385F919-DC68-402F-8C7F-1BAF89F9A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1dc790a40771c9ea32d3ce034db18a42bb5143","datavalue":{"value":{"amount":"+0.7791097164154053","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":"Q1400718$6A0884E4-0F85-4A0E-A078-7F1C8751366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d86293d3d88b5f15556992aeb91be7c88bc084d","datavalue":{"value":{"entity-type":"item","numeric-id":2867954,"id":"Q2867954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1dc790a40771c9ea32d3ce034db18a42bb5143","datavalue":{"value":{"amount":"+0.7791097164154053","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":"Q1400718$94826128-7608-449F-9F6D-25BACE544EEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear logical framework","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear_logical_framework"}}}}}