{"entities":{"Q703485":{"pageid":705334,"ns":120,"title":"Item:Q703485","lastrevid":63746202,"modified":"2026-04-11T15:16:13Z","type":"item","id":"Q703485","labels":{"en":{"language":"en","value":"Type inference for light affine logic via constraints on words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126078"}},"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":"Q703485$313A575C-B033-47A8-9EE8-598FEF56C82D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2627603a9ee561e4e18218d39d46067cea5e7b30","datavalue":{"value":{"text":"Type inference for light affine logic via constraints on words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703485$9431FDCA-9E74-4DE5-82B1-B4CC851EF4CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85ee80e084b931d17ad5bdbc7f304ed540f838e","datavalue":{"value":"1071.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$CEDC8EA2-71BB-4BE2-95F6-CA1BCCEE31D4","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":"Q703485$9713D9AB-8056-4C41-A44C-348DB107488B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$7180B73D-C5EC-4FFA-B8C0-067DE94D25C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703485$D82CE353-ACAB-4D8F-A027-FA783164820C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$CD78BECC-F605-44AA-B459-3A9B37F01E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$FFEDBD9E-689F-4E22-AB7C-08BB2FBC14F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$4AB2358B-E080-40B8-B510-8BCEC132B443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$7B21E07A-C4E9-4CC7-9DC5-555222B41766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b11deca69bf36759aa2453e4a10030747744e1b7","datavalue":{"value":"2126078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$904E705E-65D6-4487-82D6-2031BBB91B90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a885d05669d87ec1ede4b40ddd17261924f20f","datavalue":{"value":"Implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q703485$5DEB540C-2F8A-46C0-97A0-9A8DF18E36B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703485$6475673D-DE50-4AE2-9D3C-B842019DD117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"512b208e7a3008328a75d114ecb629fb1871e66a","datavalue":{"value":"Light affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703485$EFAA98A1-F591-456A-BA24-AAD485384C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b6f999d95ff8c21d42c74db6f102df64501e26","datavalue":{"value":"Lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q703485$7EEA21CA-C26C-4682-BC6A-3B628DD89617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633e7569ba4f54592fed7a09f2422ceed10fa5b3","datavalue":{"value":"Type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q703485$F783D91C-D19C-4449-A50A-0F15AFB77218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6a5cacec3008d740fa68f7c245982200d1f129","datavalue":{"value":"Polynomial time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q703485$D66F2AC7-0944-417F-A760-044681A41012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09829a34a69f2cc09c76b0ab3f45265da0c8514","datavalue":{"value":"Constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q703485$DA842A9F-2E95-4535-BDE8-591F6E97D34B","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":"Q703485$663E2DEB-7DB1-477E-8E8D-CD4274534FDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dc5eb67fbed310e7176d3b0a6fa97282fe6a295","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.08.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q703485$17669832-8FF3-4B63-B342-E5FDF2C998A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57f817c5af4e0ed5b09fe0398958a65fd3048cec","datavalue":{"value":"W2155879600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$2DC792B7-55A0-4139-B691-DC94C522D9B4","rank":"normal"}],"P223":[{"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":"Q703485$1DD8335E-BF00-4032-BAD9-097F8BB7185B","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":"Q703485$E7A088BA-B4EC-4DAD-B5BB-1F63D64CF0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a553fedd51b2b7ac5a3e7474152ecb075ea6aed","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$6598CF1B-A7CB-4662-A568-FBA166967553","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":"Q703485$70948424-EABC-4996-829F-3D97638758D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$16AC0E25-E93A-4F62-A570-E173C0F74245","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":"Q703485$B16B753F-B13D-45A1-AE3E-7CD57902400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e654b3e3c8b19d9eca557b359bca03bb0eca8e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4457451,"id":"Q4457451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$5A75F1BF-927A-442B-86E6-BC5345023FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b2380b35de576e2f3b9aec23341ed5906f3105","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$ABA75E4C-259F-433A-9E2C-DD26C26850E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$5943A2AC-DE03-48B1-92CF-7C14328E8595","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":"Q703485$40DB97B3-5A28-4A26-8CED-4941C1305E7E","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":"Q703485$595B5163-8B42-4F81-8CA0-DF4EBB4670CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cefcd52617bfea9a40369ded027e984d4ea542f","datavalue":{"value":{"entity-type":"item","numeric-id":1398478,"id":"Q1398478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$EDBBC512-18EA-4F41-A2F9-7FC7FBF2F3A5","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":"Q703485$5C84D9B7-1A04-4B0F-92F6-CD866893EB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$616EA779-6124-436C-8DEA-CFF972386D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4fa8e3ae3163e882c5813fdcd6c48f5ad81ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4457461,"id":"Q4457461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$44021EEF-1A0C-4504-8C4E-ED3444AB79B8","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":"Q703485$08A80724-2B37-4853-B695-F28FBBB26225","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":"Q703485$A8B88B93-39AB-4D1E-95E3-479C8B01634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f579a1eff41f70abaa2adf98b1939988ff8b1a","datavalue":{"value":{"entity-type":"item","numeric-id":877259,"id":"Q877259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$22592FEF-7206-49B5-A5BF-C97D326110B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bf808c34edd92c2b99b788129bd6db0f113c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1876088,"id":"Q1876088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$EC0282E9-3924-4842-979A-730E33691024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703485$10EC8CD7-358F-4B4B-BBD0-6469F6BE63E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d15fc468582bad03dcecb1760e955e955a26b333","datavalue":{"value":"10.1016/J.TCS.2004.08.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703485$41DFD813-B063-488A-A384-B084CE4511EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7e9e1a47b818fcc80648d8e05171a82f487f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4457451,"id":"Q4457451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5563a87c99ee5ea7d7199f7339e64046b5e715a6","datavalue":{"value":{"amount":"+0.8447186350822449","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":"Q703485$5D403FDB-BFF9-470D-9EEE-71FFF46FFD2B","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":"5de49d65ef8f89f98ccfa9f54214050c78e3d436","datavalue":{"value":{"amount":"+0.8301677703857422","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":"Q703485$052E6362-23C7-468D-B16F-DED65AA8D5DA","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":"8bc29ee4376bc0c75cf9ae5d95087956aa6cfe6d","datavalue":{"value":{"amount":"+0.8240308165550232","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":"Q703485$EB4759E0-E060-4B37-B0D0-BEFB71346498","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":"1932d11db37d2e29b7374e7f9a419547ee1a2220","datavalue":{"value":{"amount":"+0.8207997679710388","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":"Q703485$06F24BEA-D14F-4798-8D9D-538B40723D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83236883cf0d0ae66f75cfdd07db76567d701ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3638250,"id":"Q3638250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7d844fae5fd282465f4e974252196cb16152d2","datavalue":{"value":{"amount":"+0.80335932970047","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":"Q703485$B46DE34D-8FAD-43C3-A744-3E96842E2774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference for light affine logic via constraints on words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_inference_for_light_affine_logic_via_constraints_on_words"}}}}}