{"entities":{"Q7034656":{"pageid":21710820,"ns":120,"title":"Item:Q7034656","lastrevid":77522897,"modified":"2026-05-04T15:43:18Z","type":"item","id":"Q7034656","labels":{"en":{"language":"en","value":"A linear proof language for second-order intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977457"}},"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":"Q7034656$BDEADDB9-2AAE-4E0E-BC95-E501F952EE21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"636e2fc9c80bc2699acab4351ae79969eae8776e","datavalue":{"value":{"text":"A linear proof language for second-order intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034656$01E69553-E035-46C3-81C4-199812E39DA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"158e0b322e8083474eae6f7f637ec36417a05e9a","datavalue":{"value":"10.1007/978-3-031-62687-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034656$AA1629F3-5D14-4E25-AA0A-78E44BD6D9D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$490AA36A-7B6D-41E9-83BA-2242A33803C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$68C05E87-B2F5-41C4-9837-D50E3960DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"510a1c7dbc54d7793ee113a9f0762d874ea941f9","datavalue":{"value":{"entity-type":"item","numeric-id":6513602,"id":"Q6513602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$4E0033E9-3736-4887-9B7E-7C47779E2699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c6ebe705900b0945c1fa06056c76a7b551e84f","datavalue":{"value":{"entity-type":"item","numeric-id":1940190,"id":"Q1940190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$7AE30F76-D0A7-472E-9BEC-9AAA4800F0AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034656$97113576-E7F0-4377-8D45-FF124CB0756F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034656$A54BC49B-5C24-484C-9657-EED14BE48595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034656$0040DF3E-A839-4808-BF9E-1848FFC58A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034656$A3AE5F33-DADE-4786-9129-9470F1942A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034656$CA344214-D46C-4825-8186-5B0B84673FC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c354244cc6e5e87aec51ad703f2d6bb371b668a3","datavalue":{"value":"7977457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034656$2DA5CF73-41B5-4029-88FD-F0B886A42C4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034656$1A6A58B1-BC93-4495-AD67-66E3D35ACFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034656$9DC5B388-AC3C-4283-8E21-36734F46A56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034656$9681F9AA-16A8-4DB9-8AA7-2136701BD7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034656$D22A6F7D-A5F7-4837-8DA3-0E93F12A514A","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":"Q7034656$E377B852-0B0F-476F-B7CF-F57223140730","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8fe2097d6a43ae9325a34d980fac0b22e147c2","datavalue":{"value":{"entity-type":"item","numeric-id":2881078,"id":"Q2881078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$505F8BA3-4B63-4583-BC6E-37ADCB5B16BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d954d0bd9f4f0e8641f1df7607608bbeec9d34ac","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$4F58D7B6-898B-448E-8E6C-A37BE6CD623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa641d9bd95d099beb13e931a65ef0f86bf7dfcd","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$ACA0104A-1082-42CA-9D59-63BC4DEC66EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74db8a831e95996eb99c0e9b219812d0b0317aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$9FBDBC4C-46C6-4778-AFF0-11795D241E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2266224524b59688f3f5f36049c5d735368d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3848220,"id":"Q3848220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$1810EAEE-1ACB-42AF-A017-3815E26AA5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$2764127A-4595-4FB4-A860-64E5E1316E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79437c79144327c3d252da8e681f6f81d9c985","datavalue":{"value":{"entity-type":"item","numeric-id":2970049,"id":"Q2970049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$732DDC4D-8E17-4EF0-98D0-177329698AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$2B0ACD63-6647-4E27-90A1-9E8CFA19A4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16478fc4a2c02f5a7583c31c2b52acfb623d184","datavalue":{"value":{"entity-type":"item","numeric-id":5925711,"id":"Q5925711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$2505D834-943A-4EA3-855E-566CAF906526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a78ff59202aa2fd3a7dd3a07c3a71da20d3b91f","datavalue":{"value":{"entity-type":"item","numeric-id":7020354,"id":"Q7020354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$ED8229F4-CD49-4C10-96F2-B87EDF578B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34350c0d085576347a572dab88ddb9b358f432f","datavalue":{"value":{"entity-type":"item","numeric-id":6654521,"id":"Q6654521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$5FE3526A-77C1-4F6F-B553-083DF67D6F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d274fd939869bd955ebc1c14db907af76cff4a9","datavalue":{"value":{"entity-type":"item","numeric-id":2915029,"id":"Q2915029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$F811FDA0-14EA-4E96-B60D-FEFCE1204511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3736318b4a44ec75afd79735ec0e093187f10999","datavalue":{"value":{"entity-type":"item","numeric-id":5567766,"id":"Q5567766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$C51560AD-7AD7-495A-A350-2903E3128C19","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":"Q7034656$3E63FD3F-B323-4B90-9896-E0664EB03ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$1ACF82A9-5DB7-4EC0-939E-A975A9593AD5","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":"Q7034656$C4C09B31-6F57-4929-B020-B96727C48761","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":"Q7034656$685A2D85-F112-445D-A47E-468666973F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034656$8F397C60-4183-453D-8B7C-3BAEBABB0EFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear proof language for second-order intuitionistic linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear_proof_language_for_second-order_intuitionistic_linear_logic"}}}}}