{"entities":{"Q627123":{"pageid":628971,"ns":120,"title":"Item:Q627123","lastrevid":63174717,"modified":"2026-04-11T11:05:53Z","type":"item","id":"Q627123","labels":{"en":{"language":"en","value":"Light logics and optimal reduction: completeness and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5853774"}},"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":"Q627123$8AFD51BD-8E08-47AC-877B-267CD3B1E996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0823ccb302276ec92f1702be35f2d6aa19a6cb0","datavalue":{"value":{"text":"Light logics and optimal reduction: completeness and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q627123$EA76BC6E-2E75-4EAE-B6FC-51300CC3FC3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7899c878dc770b822d5d6ca14f8bd2ee4a27d77d","datavalue":{"value":"1233.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627123$7B3EFDA7-9C4B-444E-9557-DFF90E31B914","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$1CE8C1B4-FFCB-4444-854C-9AC82652C73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c76e0605b4afa2691eae0cc23c39e672b8dcf1","datavalue":{"value":{"entity-type":"item","numeric-id":627122,"id":"Q627122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$DE23B723-CCEE-4F50-9C85-34C26C834A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$9F5A8993-EE00-446A-841C-83D8A14B0F31","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":"Q627123$FCF689E6-6BA6-4D64-8798-C6EFD63E5D89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a57a1d265a3ee40f730aaa4d5af28fb13b1a54e5","datavalue":{"value":{"time":"+2011-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q627123$ED36E85F-F3D9-4BDD-873C-F3AFC52B124A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627123$6197674B-444B-47D2-A288-900A3FDBF6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627123$F64CEA1E-68C8-41B0-A9F6-F732A18792FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bcfaae6d4f97cad040e263eba2e2c74f2ed2bba","datavalue":{"value":"5853774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627123$27083A16-CB2F-445B-8F6A-E36DDADA1056","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q627123$EB4825A8-4143-4A3E-9ADB-9968F9989BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q627123$EDE16E8D-AF9B-41F0-BC76-EC58E1ED66E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397f0fcfe559cfe37f2292b68dfe99c79c811e52","datavalue":{"value":"optimal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q627123$D2EFF5E6-A0F9-471C-A284-647F102C85F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q627123$4C5ED0F7-00EE-4EF1-AC38-62ACDAACA907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q627123$38472E9A-2F0E-4E67-A26A-347265788E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7128e2eaf7386cf31ea996a19d88ad8a8e3e60b3","datavalue":{"value":"light linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q627123$A9681A17-5B58-4FA1-8CFF-B032769E580E","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":"Q627123$9D3F6622-D77C-48CF-8B23-2F8EB15A4F16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6582b6b9711a3fc98a60edfde7f5cf68af361db","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q627123$364C65D2-72FD-4507-96F8-507D378DEE2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30980c195d909ce9d175241ce21d8fc935e359fd","datavalue":{"value":"W2158015668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627123$5DFD2FC6-7D78-4455-AD68-77F22AED231E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$F454C654-A333-4A93-9DDC-558B2B2806AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$0531DA1D-AE73-4CEC-81A6-E51B9928ACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c5f7f41023c17a654a9c115ffa0acebf3cea74","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$8437E0CA-2723-4043-AEBF-20E010A9C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da66629df81f40a22ede8bec7f190bc3b5423cf","datavalue":{"value":{"entity-type":"item","numeric-id":5277747,"id":"Q5277747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$B8D9DE7E-A421-466E-B574-D8DE09C4CBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6196648b4b2fde565ea37ea968744242eb0edb61","datavalue":{"value":{"entity-type":"item","numeric-id":4681363,"id":"Q4681363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$F4F5CA27-542B-407F-83B5-A23E75DA7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9200967c0da1580bcfe64dcd4424710a63bb0874","datavalue":{"value":{"entity-type":"item","numeric-id":5453503,"id":"Q5453503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$AC33FA71-0147-46A8-8DE4-4F777CD22426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d45a752190299df78fd797b5ebe48d984c1ba42","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$6B472BF2-3E3D-4314-BA15-1B0677F9F9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2580e5c70fad1182d58ac2860ff95e08840ca62","datavalue":{"value":{"entity-type":"item","numeric-id":5704005,"id":"Q5704005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$D0429573-A541-4C44-80B3-BA6397912A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693bf5d49b2dc1c71923779a46d08e2176174e00","datavalue":{"value":{"entity-type":"item","numeric-id":2753690,"id":"Q2753690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$9E930670-DF14-4E6C-89D9-8ED9C4798D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1621b9ed49fbaf7b5b203bdb96207b475780b546","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$1FD66643-07ED-4C1E-8A79-DD3A5A2331F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc43b520e3e4f861b732ce9a2228da6e9fcfff47","datavalue":{"value":{"entity-type":"item","numeric-id":5277779,"id":"Q5277779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$C3FFD516-97C6-4727-8BCC-A7CC5188BEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a5a8927f019cbf5949048eaa2ee47d0dcb76ce","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$8A28F9C2-7490-4DDA-94CA-509B0CFF4573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e64e7f5fe92efa0481f27c6c5b93daeafac49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854460,"id":"Q1854460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$DFADAC0D-C083-4B2A-A86C-5147586028CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5904899e7c578b11a6ff6b671b85fea94b76d7","datavalue":{"value":{"entity-type":"item","numeric-id":1881231,"id":"Q1881231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$C56F9537-0D58-4DEE-A447-573F76D0489C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$5D9FF8DC-2B80-4A58-B155-49B71670AA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$81503D9F-D7D4-4364-9CFC-B5603126AE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153e1c3fffb715aeb3bf1cf0bd6d05da7b7efe6","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$CB4753AE-3170-46A7-B3E7-FF676D9A686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678d27438f2ab1d6dbc02ed3ab7802d04444633f","datavalue":{"value":{"entity-type":"item","numeric-id":4415239,"id":"Q4415239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$3D9E6017-DBA2-43F0-B7DE-C0AD1EB88946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b4338ddd4e9c9fe0874a674ac06c31c8fbd22aa","datavalue":{"value":{"entity-type":"item","numeric-id":1575875,"id":"Q1575875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$8BC58F1B-4480-4B04-96AE-F67388F40FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4369396e7b238d804ee0b38858b9a8e4e865b170","datavalue":{"value":{"entity-type":"item","numeric-id":1398472,"id":"Q1398472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$F4139AFA-D088-43AB-8007-F0E23750FEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46547e73c4384ee7abaa2b5b9f48db501cfa8b62","datavalue":{"value":{"entity-type":"item","numeric-id":1368381,"id":"Q1368381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$802B8674-3978-4304-AE5A-B8E2EFD83611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4aaba4dcdcd7b3e225c2c4a52ec30b4cd373af","datavalue":{"value":{"entity-type":"item","numeric-id":5482265,"id":"Q5482265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$8B285190-DBBA-4D63-AA1C-383EEF3F8CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19939e28c6ddb613b13b5478a0d5678daa9b876","datavalue":{"value":{"entity-type":"item","numeric-id":5704029,"id":"Q5704029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$EE457DF9-94CB-4AA4-B3AB-F479A27BB164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$67B30879-EFC5-4512-A8BB-CBA3BB21A878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeee92425b79f3aa5205156f131903f418c02c38","datavalue":{"value":{"entity-type":"item","numeric-id":2708316,"id":"Q2708316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627123$D2230E27-F7FD-4130-85D3-FF7A80BA739E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3967600b08edfb87e113a103de511adbde3066e","datavalue":{"value":"10.1016/J.IC.2010.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627123$AFB3F666-255E-4C2C-9897-275D9D445497","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f963e910e15e80100044ebe85291c7908c68954","datavalue":{"value":{"entity-type":"item","numeric-id":5704029,"id":"Q5704029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f36f2940875d9202692c977de219f900825799a","datavalue":{"value":{"amount":"+0.8107377290725708","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":"Q627123$38928378-4DC3-4529-AB54-93BF9C144DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ad01d8e4bc3088938a4329f868f0c3f054dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":5277747,"id":"Q5277747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3979ac4ee6739f55d7697d55262a1c1c10f844a","datavalue":{"value":{"amount":"+0.8074670433998108","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":"Q627123$7BFC0DE6-A609-4D04-BB8F-5517AD4DCA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3f35ea59237d1fa968a514d62ab6fd9d3703a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681363,"id":"Q4681363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12acde702d7ad4f428337ebe251c12f4770b8316","datavalue":{"value":{"amount":"+0.8055911660194397","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":"Q627123$845E18A7-09C2-4FFB-BD9D-84A9A811794C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ead40b726cdc4e69a5e1d35cecc6127c908133","datavalue":{"value":{"entity-type":"item","numeric-id":3623002,"id":"Q3623002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41049a0b16b5893a914f565fb5362544e9464d31","datavalue":{"value":{"amount":"+0.7875450253486633","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":"Q627123$28D90B18-1209-4ED7-BC3C-BD1F77957FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879ebcac6fe38e8637392e033eccae48acbdffdb","datavalue":{"value":{"entity-type":"item","numeric-id":5704005,"id":"Q5704005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c58143695e3b2b81c5f50e300a92d2ddbdcb15","datavalue":{"value":{"amount":"+0.7864702939987183","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":"Q627123$821F502E-30B0-431E-8DF8-6E0772966B38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Light logics and optimal reduction: completeness and complexity","badges":[]}}}}}