{"entities":{"Q987375":{"pageid":989223,"ns":120,"title":"Item:Q987375","lastrevid":51055862,"modified":"2026-01-16T10:20:18Z","type":"item","id":"Q987375","labels":{"en":{"language":"en","value":"A semantic proof of polytime soundness of light affine logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770221"}},"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":"Q987375$F3CB905F-45E8-4C6B-A303-910DA0F1A9AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da28657b91637adde55886130dfde0ab40a082b5","datavalue":{"value":{"text":"A semantic proof of polytime soundness of light affine logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987375$A22840B2-261B-467F-A765-ADAB316C7747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2df5be36d40b34eb62d8ac230f2a8fec9c94f23","datavalue":{"value":"1205.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987375$814B3228-DC53-46AC-B9F1-13445BAB3536","rank":"normal"}],"P16":[{"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":"Q987375$8CF1BFCD-97DE-4E96-98F3-64D2FC5835E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$68BBD3BC-FD55-4022-BD3F-5F63ABA676B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$A0EC7818-446B-4A0E-AC09-ED47D313BCC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987375$3D5523BB-30BA-4420-A3E8-8DDFBFBC7FB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987375$D5AEE9A1-386D-4082-B65F-1466AD3ED5B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"446248ae68ca4998d4a451f2eecf9c2577955a70","datavalue":{"value":"5770221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987375$052F626C-210B-4779-A004-7F0D537EED41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q987375$DEC32358-34B6-49AC-AD45-AC593A5F27D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q987375$F4153E3F-BC3D-4CB1-BD6E-4DDBBD4BE67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q987375$A680B9CF-71B8-4F47-8012-7344D4A923D8","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":"Q987375$E69E1C56-99D6-4A3E-AB04-B345EAFA88F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6df7caef23d92b68544b906ffe654d7fd881bb6","datavalue":{"value":"https://doi.org/10.1007/s00224-009-9210-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q987375$E85F6A5B-5C67-46DF-B493-09059C2199D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c72514a75e94b8911cc914f23d17ab13cb159325","datavalue":{"value":"W1967535898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987375$3D3DC825-ED32-4EFD-9E53-ED8F58FC8F48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00e2d0bdf806d089c4c4b270e3b24e4cb7bcbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4457446,"id":"Q4457446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$CFAF802D-9105-49A3-BADA-5E1E7BC94213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$90F868BC-BE0B-45FA-9009-FB9F3B0EC5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31f2c064dbb4fcdff1fc3118ad6dfb9b36c8ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$E7203361-7346-476E-8C3E-B938EC3A4480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$FE62199D-8C3D-46E1-A72C-6DE1F0FDF82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01692cdfc5dea3cf3a75f2723a38a21a79d40ab","datavalue":{"value":{"entity-type":"item","numeric-id":2778817,"id":"Q2778817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$C5D9F90A-CB7C-4777-9BAF-F008C5E26CF8","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":"Q987375$EC30D8BD-CB2A-4D07-95B2-865B971B5379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c258d830cddbea327ae43e78d061b558cf377b","datavalue":{"value":{"entity-type":"item","numeric-id":596037,"id":"Q596037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$0B32CD6B-A506-4FB1-92CA-5B2F289939A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efc294bd534ffad39d76f38f517e60db941a390","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$FCD7066D-E059-4107-BD4D-3CB38C9633E8","rank":"normal"},{"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":"Q987375$2916E654-8FC3-43F3-8F90-330325733CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$988EFE26-7DFD-4EBC-BD52-A806349A60B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$C7F5C14F-FFFD-4896-A600-376512D6DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998e5a2d437a0ab5e5dc5d27be5b655cf47cdd9a","datavalue":{"value":{"entity-type":"item","numeric-id":1827395,"id":"Q1827395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$F1C816FF-EDCB-46D0-B8EA-3B18A9A84384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$0778FE10-3628-4E0C-A6C4-712EADD54424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$E69700B3-93AE-4003-AADF-2182F6FAE59A","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":"Q987375$98959F22-DBCB-4528-AC34-E4AF5CC27028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909451299d6025f7fc9557521737c4bcb71a660","datavalue":{"value":{"entity-type":"item","numeric-id":4945245,"id":"Q4945245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$123E8A27-B1B1-484E-9BD1-D879E48A6820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7435100e3d690d36fad3b0237a6b1d48437e9556","datavalue":{"value":{"entity-type":"item","numeric-id":4385524,"id":"Q4385524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987375$AE46D45C-3049-4E16-BBB9-ABEA19BAE9BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65b5b5d0445378e4dc65d17fb17ce1a5bda805fe","datavalue":{"value":"10.1007/S00224-009-9210-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987375$82C4004D-FAAD-40FA-B5A2-BF81BC8961CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b585410b3b1104a1a83f528900b8240241533a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3503632,"id":"Q3503632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafd379538980255f86d9a482b4edce9d4d58cdd","datavalue":{"value":{"amount":"+0.9711819291114808","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":"Q987375$F1F3D465-F8C3-41A7-91F3-C5B82B439AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67c2d6b0aa517769691b859ea33797d9eae71a9","datavalue":{"value":{"entity-type":"item","numeric-id":5897362,"id":"Q5897362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a9ffafb36c3ffdda383084d14196f6a96ad00d","datavalue":{"value":{"amount":"+0.8367370963096619","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":"Q987375$EFFCB7A3-3B7A-4668-A345-26928B5C871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76182377442106b02e1d56bad5ef7978bc948450","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc399d96e7b0fceb1b0be42f5467cdc5378abd96","datavalue":{"value":{"amount":"+0.8334634304046631","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":"Q987375$222C3DE5-E5E5-44A9-B07F-FBB1DA6A64A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08290a903d4bd3bb1601220d42d7a1bd8945f880","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7483c98c0404449bf6b0dc9c7501a0cb9259ab57","datavalue":{"value":{"amount":"+0.8219489455223083","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":"Q987375$722D91CB-A77F-4C65-897B-D867F8A5450B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed018bde0820e0282d669634662904daf49aab02","datavalue":{"value":{"entity-type":"item","numeric-id":5482265,"id":"Q5482265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66aaeedfe41d5b814736296a24f55338413f3d4a","datavalue":{"value":{"amount":"+0.811400830745697","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":"Q987375$74AB4B15-CEDC-4C7A-A955-6CAFF947963A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:987375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:987375"}}}}}