{"entities":{"Q3558218":{"pageid":5588122,"ns":120,"title":"Item:Q3558218","lastrevid":88373354,"modified":"2026-06-04T14:21:23Z","type":"item","id":"Q3558218","labels":{"en":{"language":"en","value":"A polytime functional language from light linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703401"}},"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":"Q3558218$A2C6C177-F565-4C1B-9C68-0D6193AE61C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb00e6e2e8759e7fec1e4c95c6221b865613dabb","datavalue":{"value":{"text":"A PolyTime Functional Language from Light Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558218$D1BAA3CB-620D-467F-AB35-72370C4E5A7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5fae8d41bd074e07b577b503254533a3c6b92c7","datavalue":{"value":"1260.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558218$B34AD8FD-A6EA-42A9-AA70-2B69727F720B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc239708cd1b3720306596eb846f5f00f66ba23e","datavalue":{"value":"10.1007/978-3-642-11957-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558218$5AC3410D-5EA9-40E9-B16E-56EABE165222","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":"Q3558218$0C9EEEEB-651B-4B3A-832C-CC5E7DEAFEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558218$F7925A40-ACE7-415F-A10D-7D8B49FA1D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aa8aa348b70dd1f1e673f0f3d530db08b0ea8dd","datavalue":{"value":{"entity-type":"item","numeric-id":236817,"id":"Q236817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558218$5BA911B7-5966-4DFB-9717-4B3B71542CC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558218$8F38A742-7DAC-4BAB-BE10-8804569CC241","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558218$6A8FCFF6-A2BE-4B42-97C0-D0A9C7EEF393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558218$E45CA660-DAA7-48D1-8CEF-4DF7E9BE7C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558218$CB0574A6-19DD-4EC3-8A78-0435D0E87655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558218$16B229CB-D392-40C5-9FC0-C6B637C6301C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c175805b748c1d7a0e89a10df4518da967d491fb","datavalue":{"value":"5703401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558218$C2FBCB85-2633-41D4-9AD7-EF9CD4092D9E","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":"Q3558218$680F6C2A-A859-4792-9746-F5FB6859038C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0190eacac7e1c39ea0fa62182bded62f293ff0f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558218$4FC9AA0E-778A-47EB-9FFC-80E9C7865887","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0aa512fcfbf5e828b5182ca1b2606b49c75f62f1","datavalue":{"value":"W1545415328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558218$C57718BE-7BE3-4D1A-AC70-B4B2298DCF62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e328899703c25684e9591fe454b9327dd1cd274","datavalue":{"value":{"entity-type":"item","numeric-id":5249032,"id":"Q5249032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f869e922a51eed8f0202ff903d5b6701dd702073","datavalue":{"value":{"amount":"+0.8342939615249634","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":"Q3558218$60471988-3974-4DB3-A8E1-09AABAFE25B0","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":"bb4afbcd7b73f521a44479b5071367121b565932","datavalue":{"value":{"amount":"+0.8231425881385803","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":"Q3558218$A847017B-9D68-4411-B9C3-DFB994D200B9","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":"ef239c05fae87085b52644e2b90c2daff6c4f027","datavalue":{"value":{"amount":"+0.822361946105957","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":"Q3558218$B1B0D007-5F1B-4562-8911-ADA20D210478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823182e9d06672cf4a373828a50f9d8176585fc1","datavalue":{"value":{"entity-type":"item","numeric-id":4249177,"id":"Q4249177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496e6822ca531dd1f5816ee3417fe5d0efa6e771","datavalue":{"value":{"amount":"+0.8023763298988342","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":"Q3558218$DCC15C88-431A-46C7-9FD5-0C1FF8178BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24038ea68fd5d99a595393d7e5350ce065a3561d","datavalue":{"value":{"entity-type":"item","numeric-id":4764609,"id":"Q4764609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc292b5132c4c62e41d2465b294105511d81df53","datavalue":{"value":{"amount":"+0.7987786531448364","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":"Q3558218$DCD95D9A-F07B-4D50-A188-7E96D260793A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polytime functional language from light linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polytime_functional_language_from_light_linear_logic"}}}}}