{"entities":{"Q4318165":{"pageid":6347766,"ns":120,"title":"Item:Q4318165","lastrevid":47288269,"modified":"2026-01-01T06:05:48Z","type":"item","id":"Q4318165","labels":{"en":{"language":"en","value":"Applications of Linear Logic to Computation: An Overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 706782"}},"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":"Q4318165$343518BF-24BE-441E-BBDE-2E29457492D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8202c0b842147170c68bcdc23091296aa32e557","datavalue":{"value":{"text":"Applications of Linear Logic to Computation: An Overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4318165$444C9AD0-D556-4C63-A212-2579BF05440D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"297881814f4c3e31b939ab620137ff5a7503ad16","datavalue":{"value":"0810.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$28EAF6F7-9713-4B5A-AB95-A3D507A39280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c64bc3d8d6a38da9673e874fdc1fbf61af3b4469","datavalue":{"value":{"entity-type":"item","numeric-id":4318164,"id":"Q4318164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318165$323389FB-0483-4C23-803B-EAF26271ABFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fec002a86967a3d68ab1d50269b51e2d2e883c0","datavalue":{"value":{"time":"+1995-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4318165$0DF4BC10-3C35-4619-9897-3F2B4645B2BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55fcfb018de86e1ea1f8d9b0abae99b24f8d8cab","datavalue":{"value":"https://semanticscholar.org/paper/4d79859842b88c6d1cf69c24c0f0c5a53063eb3c","type":"string"},"datatype":"url"},"type":"statement","id":"Q4318165$E007DE28-600B-49BE-938B-8CCE6C8CC1F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$DAEF9A14-B8B8-4056-8F85-98FE63C6D5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$BDD3828E-C371-447F-81EE-BABDEE2CA52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$9EECA440-4DFB-4C94-89A7-CDC629E82433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$2C8AFBD2-8DD9-4401-B3D5-A9854339ECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$02481C85-6707-4BAC-9525-6BF552EA501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$7646427E-A736-4395-9258-D7E91C159F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$07851811-D0E2-4D03-9C3E-7D29F9D45502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$C2193E0D-7661-4DBA-AC53-4F8CAA184B04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71b85a71e4a0d3d8bb5d75fdc02d9de028746713","datavalue":{"value":"706782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$421BE05A-3880-45B4-9C67-59AE9D6924F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318165$084BFE00-0D35-49BA-9B74-CB3178872D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11754179a3130550906c38adf9e1c43fa09b3f66","datavalue":{"value":"applications of linear logic to computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318165$7EF40AE6-72DB-41AC-8B50-82CB592E4C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318165$A01D232E-C369-4233-ADC0-89A1AD285BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318165$8A25A197-4CC1-4EC9-9107-1DD4DF10A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c69e610ebf9fd256c01afe5610238c7005bc31","datavalue":{"value":"concurrent and object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318165$E5CE2F25-DD26-4211-96A3-9503D8D5F0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71218fbc25121a7784266173a9639d12de962dce","datavalue":{"value":"semantics of negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318165$B393D82A-1302-4F00-ADF8-1CEC8C84F05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2576c269859e66fd33d0865ed60a41ffad1b38e","datavalue":{"value":"non-monotonic issues in AI planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318165$47C767FE-BAA9-4C67-AF8A-4D3FA317890F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff2695ab19db57581f80f0e1020b127c93484d4f","datavalue":{"value":"Q57338854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$0D89D96A-5801-465B-9534-94AC32C2221D","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":"Q4318165$E1389090-8193-46E0-A709-EE63F748485C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e729e640c4193deb7e278c63f4561de72a4fee7b","datavalue":{"value":"W1989713129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$26082495-83C4-404B-884D-0977C3FB9A0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74b082c803035298f15d42656fbef70e3676d3f3","datavalue":{"value":"10.1093/JIGPAL/2.1.77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318165$94C4E41E-D3D9-42E7-8B63-45DB7143936E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318165$1DCEF7EE-6558-47D0-A3FE-57AC1B25602E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d84250e9a3b5e54b930bab1a17e028fa5d0820","datavalue":{"value":{"amount":"+0.7881315350532532","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":"Q4318165$9F1B5718-8585-41C5-B51E-3E36FF39B5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292ad76aa02ebb53aa5338dde14f5d018ec8ebd2","datavalue":{"value":{"entity-type":"item","numeric-id":4650578,"id":"Q4650578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86ccf7704f43ed1ba9bb911f28ad996fef4298f","datavalue":{"value":{"amount":"+0.7872645854949951","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":"Q4318165$93394BF1-DF35-437A-9599-BC605977EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b12b143a39779e1c2fda9f09b346904066459b8","datavalue":{"value":{"entity-type":"item","numeric-id":3765770,"id":"Q3765770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a262191c4f16227d7b62f81ec16c102fbfc33aae","datavalue":{"value":{"amount":"+0.7869058847427368","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":"Q4318165$44CE2387-686A-44B5-BDDA-069245B8A580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dad4d114e3b83299f0b632fba11b4530bd920ca","datavalue":{"value":{"entity-type":"item","numeric-id":4712651,"id":"Q4712651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa30d271c4d0862d8029e9294ea73f28b7ae6cb7","datavalue":{"value":{"amount":"+0.7842838764190674","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":"Q4318165$7A399471-1712-423B-B68E-E1753736F0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da502d82fa96f14f7dbea0b148081cc1d8f7050","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecebef1485c66bb2b495d529938d476450c1ef33","datavalue":{"value":{"amount":"+0.7809491753578186","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":"Q4318165$6078A75C-2BFF-4BDA-8BEB-4C5F006A7715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4318165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4318165"}}}}}