{"entities":{"Q5892514":{"pageid":7930442,"ns":120,"title":"Item:Q5892514","lastrevid":51254162,"modified":"2026-01-17T11:33:09Z","type":"item","id":"Q5892514","labels":{"en":{"language":"en","value":"Functional interpretations of intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900063"}},"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":"Q5892514$C79F07BB-E1CF-4A98-AACC-8D6A00E27D19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ae48670f6e6edc11e7e6026506585da10a42671","datavalue":{"value":{"text":"Functional Interpretations of Intuitionistic Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892514$5916829B-0C1B-497B-83CE-74E54E52CAA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"585d2fc650d5cb01daa52cfa6a321bd60879d6d2","datavalue":{"value":"1227.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892514$213C2FD8-299F-427E-829B-D3D789763269","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb0eb5384cdc6a8f19b204b950b3e0852805fed0","datavalue":{"value":"10.2168/LMCS-7(1:9)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892514$0F24F4E9-479A-488E-92ED-DB8DFDF9E9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892514$47166AFE-5559-4FAF-A9E6-F8564A5FD203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892514$C015C708-13EE-44B3-AB57-E54DFD2DA4AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892514$B2AA51C4-0A36-417E-8555-CD43D8613254","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892514$B8314EA8-24C7-42B4-8B7E-61C9E5B7D0DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892514$4A66F40A-294C-49D9-99C6-0582689FC782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892514$130C1B8B-B695-479B-91A8-1424D6307C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892514$815F91C8-D573-40C3-A64B-E8ADCE6B7CF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb804227931480ac5fccd4abe17e3cb7400b8e06","datavalue":{"value":"5900063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892514$6C8CC0F0-755A-442E-A2ED-0837CAB7C9C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892514$26CCFDDB-B122-4755-A829-5F6524112800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892514$A3662342-8E70-4FF1-A883-6650160A957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892514$0966594C-8EC3-471E-AC4D-BDFC6A52AD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892514$E8555890-265F-4996-83EB-CC95D8E0A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892514$54C0F078-064F-4D23-9894-87E9EEDD756C","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":"Q5892514$C21479D4-2C56-41C2-9B67-FF8C6023614F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9717f47c582a39eeb1829ae6667f765c31439ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5902221,"id":"Q5902221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5323454974b7cb97c9ec1cca9ea04af8367a2d40","datavalue":{"value":{"amount":"+0.9731066226959229","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":"Q5892514$301305C2-D943-49BF-A173-C7A9C337CEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78060097943999012c70895f22edd7724bc6dd1e","datavalue":{"value":{"entity-type":"item","numeric-id":964504,"id":"Q964504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ef3577a5da0ce44e78cec95bde8fdb934856f1","datavalue":{"value":{"amount":"+0.8541369438171387","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":"Q5892514$0BCB8C22-AF40-4764-A9FD-0616176FF301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfec6923d877a66364e1c8dd13f763f23c875e3","datavalue":{"value":{"entity-type":"item","numeric-id":3612668,"id":"Q3612668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62eb41382869929338b8dc5c8c7b407eba924dd","datavalue":{"value":{"amount":"+0.8257309794425964","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":"Q5892514$D1F49DC4-465C-48E5-B157-2C0F07C4FC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c46ad00f1cee12a6f63e5cad0267900c88bf3f6","datavalue":{"value":{"entity-type":"item","numeric-id":2882562,"id":"Q2882562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f330f746d52f4c4df031f860d09c7801b96fe8","datavalue":{"value":{"amount":"+0.8207182288169861","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":"Q5892514$E22B00CC-9430-4B46-B6ED-EE4FFA667718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4bf820b5280350b619d349b0ca113a1837231b","datavalue":{"value":{"amount":"+0.8125841021537781","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":"Q5892514$467B2CB3-3B72-4CDE-A88F-424383330A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892514"}}}}}