{"entities":{"Q5482265":{"pageid":7511825,"ns":120,"title":"Item:Q5482265","lastrevid":49904023,"modified":"2026-01-11T21:53:08Z","type":"item","id":"Q5482265","labels":{"en":{"language":"en","value":"On light logics, uniform encodings and polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5049764"}},"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":"Q5482265$1974B696-D803-4DBB-A763-C3686DDF6461","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7c7092387a100a36bf30ea1c04da8fabe18ce34","datavalue":{"value":{"text":"On light logics, uniform encodings and polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5482265$0ED83D7B-AEF9-4C5D-AF06-350D341CB157","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b85f6fb9adf085bbd4e4e7402561c6776a0655a","datavalue":{"value":"1103.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482265$5D7E151F-FD96-4061-B373-462699423CB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1e046b162555bcb571df1be78a38c3b5a217c43","datavalue":{"value":"10.1017/S0960129506005421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482265$CB183A20-A68B-49C4-8D47-56A823F78B99","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":"Q5482265$D8B19928-275E-4433-85B1-61829A818757","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":"Q5482265$ECB2ACC8-F933-4C14-9F20-F2DACC909CFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5482265$DAF92843-6C68-41BF-B76E-63ED6C649C1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63da72b0317302272e80c03c7cc4dfd35a3b574f","datavalue":{"value":{"time":"+2006-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5482265$7859C0F6-008B-4D86-AAE0-BDAFACFAE87C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482265$0E9EA3F7-AF65-4DBE-B264-A6D6C58EFC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482265$3C0DD521-2EEF-4F8E-B0A8-A656DD06CC0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"606d3abe70185dc6fdaffdac8c6c1631c6305ec3","datavalue":{"value":"5049764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482265$CA712913-879E-4DDE-B659-FB11480E4802","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2479f3d863aa5849893f83cb958e753ac8215fd5","datavalue":{"value":"extensional expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482265$5721253E-D10D-4C14-8162-39C6C8F5CAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313d8f48c66671f5127ca8d73b34a54c959c237e","datavalue":{"value":"light affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482265$E187EEDD-2C37-49FD-AB0C-36C92AC61259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482265$09E5A699-3480-4562-A6B9-5E2A5A11FB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec99b7fedbaa9d84e135afb1f2338e7114e814d","datavalue":{"value":"second-order quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482265$30442AE8-93CD-436C-A30D-2FD72DFC0EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4933a6076dcc12c50b73137fc0c7d49c8d680c8d","datavalue":{"value":"polytime soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482265$05A20BBC-B0E8-44CA-BAF2-BB3D95D2147B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3618214b366a079440a09d2cfdcfe3f7363b9741","datavalue":{"value":"polytime completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482265$F3A850CF-D6CE-44EC-9B9F-4515BD581EBC","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":"Q5482265$DD71A677-9C4B-4AD6-9C0B-11C3E36482BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1ffecfb8fb837ce6ea8e169acede1d00d3a7a09","datavalue":{"value":"https://doi.org/10.1017/s0960129506005421","type":"string"},"datatype":"url"},"type":"statement","id":"Q5482265$F3AAB56D-540D-4EEE-A97E-590BC59D4C84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfa448a93e1c6737bbc40e265ef7815ccbc9780e","datavalue":{"value":"W2109174418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482265$FBAD9781-D7A0-4AA4-B3D5-95FC819FF60D","rank":"normal"}],"P1643":[{"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":"07e682cc3c50a53d30c359f49bc65100fb60a3fe","datavalue":{"value":{"amount":"+0.866260826587677","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":"Q5482265$CF39663B-061A-4A4C-AF3E-474D7E6E68E9","rank":"normal"},{"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":"70554b244ebe6c809a981ea1dfae69e9314fec4b","datavalue":{"value":{"amount":"+0.8215686678886414","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":"Q5482265$2B2B6614-286B-4C1D-B80C-920BD9AA3873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3680001a43abf458b285ca1955891b5085425b","datavalue":{"value":{"amount":"+0.8160243034362793","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":"Q5482265$EC852548-304D-4EB9-8969-11BA6BBD8D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc586f957b1e9bab36119f54e0dd714ade3cc0","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"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":"Q5482265$F26CCF2A-7836-4CAE-A3A9-0BB5D87CEFC1","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":"ebaa6697ae94e2eb9ae456351fe4c0325ef8e18b","datavalue":{"value":{"amount":"+0.7850574851036072","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":"Q5482265$4A267899-F4B4-4F0A-9698-AF91D780B3A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5482265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5482265"}}}}}