{"entities":{"Q1344853":{"pageid":1355592,"ns":120,"title":"Item:Q1344853","lastrevid":68515512,"modified":"2026-04-13T00:13:52Z","type":"item","id":"Q1344853","labels":{"en":{"language":"en","value":"Reflections on ``difficult'' embeddings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724113"}},"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":"Q1344853$C6C2D5AB-4327-4653-9B6C-857FD8163119","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cced29f7fb43ea959e536d56e7fca1458d6c131f","datavalue":{"value":{"text":"Reflections on ``difficult'' embeddings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344853$D715B8FF-2646-4C5E-9A39-50708DFAC8CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34951e439fcfcc14d5516c7a59c768c67e675b23","datavalue":{"value":"0816.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344853$E6CF2FCF-3C82-4277-871A-15883E725F01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17b133f9a3fa387f5a6e0b4e33adaec4a4f412fa","datavalue":{"value":"10.1007/BF01052731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344853$CF5FD597-A653-4897-9113-C070641C1B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a2fdf30fd0859fdd73fd10608e915ae2ad1854","datavalue":{"value":{"entity-type":"item","numeric-id":1194111,"id":"Q1194111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344853$AE7E513C-BC2D-44A5-B609-98C236A647DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344853$FA7047FF-BD1C-4B75-853D-D9DFF8EE7833","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344853$121E98FF-78C0-436D-9B0B-D74A1A5D4B86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2f2725efe93379247b758808a8a3d751cd5710d","datavalue":{"value":"An embedding of predicate minimal logic into classical linear logic CLL, called ``difficult'' here, is easily proved to be faithful by an analysis of sequent derivations. Extension to intuitionistic first-order logic is obtained by an adjustment of the definition for negation, and turns out to be equivalent to Girard's translation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344853$2CE054FE-4502-4250-86D3-5FCA3E7F16D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344853$6E9F7578-6F36-436A-8697-F517A64EEC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344853$D1CB7E62-543C-45C2-9402-F60C781D4BBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d608b41b9f2f4904848589d8a18f0da6930f49f8","datavalue":{"value":"724113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344853$1AD0854E-5F09-4D1D-9B37-8F15EC9254E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344853$E5FBC88C-F6B5-4AB5-A345-5FC33F0E3124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c70a5a28c0ba522fed2fed9366a8d619df2dd731","datavalue":{"value":"embedding of predicate minimal logic into classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344853$278E969E-856A-41A2-9EBB-1630B5757089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aedfacb435c940a0873ec9fb2ee33f7c1efabd8","datavalue":{"value":"analysis of sequent derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344853$BA2BC78F-B605-430A-9317-595354290BAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344853$C094A964-AA65-42E5-A12D-09BF938CFB92","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":"Q1344853$AFA97989-FB10-4D56-BB1A-C5B85985CC5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10a94af4633ae234c933fe2911be3db8bd5f89b","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344853$335A2D0D-E4D4-478A-B2CD-D3EF678D0CC8","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":"Q1344853$9ADAEA6A-FF8E-4739-856A-610729D24ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344853$F78940D3-B14B-43D5-BD93-A6A604A16E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344853$51A7BFFC-5DA8-4D38-9F17-A0E1B9E24E82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aeac446a7b1016578221e2f66dc7ccd8530794f","datavalue":{"value":{"entity-type":"item","numeric-id":5473622,"id":"Q5473622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcb07f1fa995111073113021beeaf21ae93d787","datavalue":{"value":{"amount":"+0.8428036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$930D5938-CD0B-448D-9173-CAE90D5C2FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4185db8180a1c3fb096664435c2c763e057ecfae","datavalue":{"value":{"entity-type":"item","numeric-id":3797892,"id":"Q3797892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4331a98d9f5f76e2d279579d83ccf1410b2749d5","datavalue":{"value":{"amount":"+0.83389604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$62EB40B9-40D5-4091-9ECF-F699F611AB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9572a9ff6e28ffb39aae1ba7e040fda055065d7c","datavalue":{"value":{"entity-type":"item","numeric-id":495879,"id":"Q495879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcca0947210c5a6609ec2c5bb32b86d3c2d7e755","datavalue":{"value":{"amount":"+0.832983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$FA77D376-CD1D-48D7-8782-14A0890A6835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217ff1da8fb2e9d4f992a90fdff868007b89c34e","datavalue":{"value":{"entity-type":"item","numeric-id":5690018,"id":"Q5690018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98c569ae7d7bdef4b2f79baa36850edc986edc1","datavalue":{"value":{"amount":"+0.83259004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$D592F74C-3684-4DA4-B7D5-EE2F763A7FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cc5bfded1575de823dc465dc930093e4988e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1078313,"id":"Q1078313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4733a35b4f1ffac1e46d42e2b323bd8f2109b878","datavalue":{"value":{"amount":"+0.8264171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$F1277432-F1F6-42CC-893C-F3ABD0A645AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1deab9229acbab831e12e275db7f994e029dfbc0","datavalue":{"value":{"entity-type":"item","numeric-id":1964244,"id":"Q1964244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7220e3ef8f8045b8f9d0ef165bf3228f08cd2c98","datavalue":{"value":{"amount":"+0.8168466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$6657FC55-35F7-4A69-A1F7-C9F6C96CEFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78506e048a9a87afe436f7924932d3354da98ddd","datavalue":{"value":{"entity-type":"item","numeric-id":1887386,"id":"Q1887386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2a17d70dd94fa0bf18d8759c3ad0e7a0f97301","datavalue":{"value":{"amount":"+0.8156471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$3314A23E-43B8-4B96-A0D0-4CD558DBEE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e6424b3228e19d7b1d4b1c44583f7192365a24","datavalue":{"value":{"entity-type":"item","numeric-id":1866702,"id":"Q1866702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"351bd7895438ad4a3f394305633db3524825f23e","datavalue":{"value":{"amount":"+0.81519514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$7328627D-F9EA-4D87-A1A7-9E12FF8756D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa0b5c721ea6bec5a86f83e66382bd763b181f8","datavalue":{"value":{"entity-type":"item","numeric-id":4387381,"id":"Q4387381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc03451487e6e0a99f969628832b0290f2dacf9","datavalue":{"value":{"amount":"+0.8145775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1344853$CB49117F-C6D9-4634-B79F-4F1E0689A272","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflections on ``difficult'' embeddings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflections_on_%60%60difficult%27%27_embeddings"}}}}}