{"entities":{"Q5453503":{"pageid":7483062,"ns":120,"title":"Item:Q5453503","lastrevid":50321906,"modified":"2026-01-13T19:56:53Z","type":"item","id":"Q5453503","labels":{"en":{"language":"en","value":"Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256518"}},"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":"Q5453503$57BD5871-C1AB-4662-92A1-C3B24ECED824","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35d211c456e4999eefe447ab589c2cf173d92bd6","datavalue":{"value":{"text":"Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453503$B9373B1A-ED78-47C9-8015-FE15E4CB756D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"490563245a804b80b75c2d83184b34316ad21ffe","datavalue":{"value":"1131.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453503$8E345B2E-8F5D-4102-8CDD-195C39A95C52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f84b4681b6253097ce65b00d654f89730ce50fb1","datavalue":{"value":"10.2168/LMCS-3(4:10)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453503$9A844C8E-46A5-431E-8945-866C32E3346D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd7aeaf9b322b4e79c2c46a3bd2378e935a43655","datavalue":{"value":{"entity-type":"item","numeric-id":3613334,"id":"Q3613334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453503$B39464B2-C0A8-4B7A-811C-8C28FABDE891","rank":"normal"},{"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":"Q5453503$F1DEED66-1ED7-4A75-9AA3-9DE9D1412261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453503$7D7D072E-AE31-43A9-ACA0-AF48DFD127F1","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":"Q5453503$731303E1-85A5-4375-8E7D-440853A950B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453503$1BDAD745-6456-48D6-967D-45E7E6A0D0B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453503$087C4426-8CCB-4362-93CA-2CCFD2159D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453503$B0FA1210-BA63-4B95-B4D0-D3C65C13ABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453503$E5180748-0795-403F-8B00-920BFB4770F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42a47827fb7bf8f05e231edad5f99ddb7818666d","datavalue":{"value":"5256518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453503$02534469-B860-49F8-B267-BA02028732CD","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":"Q5453503$8A236016-B8DB-4537-B2BE-059C608C66D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d812dcf8e321586952e575aaa6f86e2f5619525a","datavalue":{"value":{"entity-type":"item","numeric-id":3613335,"id":"Q3613335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15d43559d193b91385f68477049df081c2115cf","datavalue":{"value":{"amount":"+0.9757679104804992","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":"Q5453503$09503817-AE55-4E6C-AA4C-1E0BCCDEF605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91b08cc869afadd64502b6ae6945c389f4cc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":3612618,"id":"Q3612618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4d343149f83dc42b70dd9f05a0a427b7153ddd","datavalue":{"value":{"amount":"+0.8296279907226562","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":"Q5453503$8BBB411D-963C-43FB-8502-BD3FF94E7D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ea36f0a0484e249d413f552df81af38e818779","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbeec58ca2a94d0244c557794d1d52fa311d17a","datavalue":{"value":{"amount":"+0.8120066523551941","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":"Q5453503$623E48D7-9A69-4F6D-B0AA-1C00264DB88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a880211431630c1e4fa01e58f27717526eeb02","datavalue":{"value":{"entity-type":"item","numeric-id":703485,"id":"Q703485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3262b51aacde9d76e610986ef1cf107c7ae389d3","datavalue":{"value":{"amount":"+0.7992704510688782","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":"Q5453503$74239E62-6B07-47B6-889B-87EDBCBEAD80","rank":"normal"},{"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":"f29c4c2ade1455727a91e2316184875cdcd8afb5","datavalue":{"value":{"amount":"+0.7682591080665588","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":"Q5453503$6A132C21-FD23-4D05-AA8F-BD939F50A850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453503"}}}}}