{"entities":{"Q1398472":{"pageid":1409212,"ns":120,"title":"Item:Q1398472","lastrevid":71094843,"modified":"2026-04-13T19:26:40Z","type":"item","id":"Q1398472","labels":{"en":{"language":"en","value":"Coherence for sharing proof-nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956197"}},"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":"Q1398472$B620A645-B79B-406F-BA2C-45E913BB24FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"902d147615b026392d4139b02a1ee9f556a852db","datavalue":{"value":{"text":"Coherence for sharing proof-nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398472$107E066F-21AC-43B8-8592-D34E6290B080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"015322ea5c01ba1523507540bf9ace51273a8f7c","datavalue":{"value":"1019.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398472$21D2C9DD-0C4E-4AA7-8C4B-1761E2D31716","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e59a8fddf9ab2b231ad5789d1189b6ed15f009f","datavalue":{"value":"10.1016/S0304-3975(01)00162-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398472$D7DD6BC1-37E3-4CE9-A629-1CE7E7FBC3E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$60B4DF6E-2E7C-4706-B99D-D6DF4B08F33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$8A4C10BC-2392-4E0F-A0E1-266B51AA6CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$20FD0D03-4DF4-4D0D-BF67-7FFE23819B26","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":"Q1398472$9E8B0416-5A68-4946-B99E-43F3AD7F6298","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398472$8CB1397B-FDCB-46F2-B636-3BA158A3C4A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398472$9604ED85-3A70-4236-9347-7781E96E3FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398472$3907A08F-1FCE-435E-9E4D-FD7C89E3254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398472$511C4BBE-16CE-47B0-AC00-04589DC8A2B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbdb9281ee501de86ffdb5be0a9b1b1599f74029","datavalue":{"value":"1956197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398472$14CADEB3-3C3C-4AED-BE15-2BFE712C4CDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398472$A609AECB-CE83-4B7F-9A56-413D06D17B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398472$A2D35E3D-2CCC-43D4-AFAA-5A0F951E028D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398472$63C1BA9F-4C55-41D7-A27E-1EA6769EC068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e7dee3eb8cb7cfd80a29946736729f27b1f019","datavalue":{"value":"lambda-calculus optimal reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398472$A107CC63-FDE4-4CB7-8F1D-BF8EEB6B6151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117eb370679e5f6fa8c0baf376ecf934defd08ff","datavalue":{"value":"sharing graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398472$09FBAB0C-1F67-4078-97A9-6C7BF6CF987A","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":"Q1398472$AAFC0F7D-9EBE-4865-BD10-3BA572D6ACBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a43b56ab219637b1e31e6b9f821a826a27e187c","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$4E4E8953-3DFC-4B86-9885-9F0D6AD11B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8bd072d0853e26dabee91c2bdfc6fb34fdd0a5","datavalue":{"value":{"entity-type":"item","numeric-id":5178845,"id":"Q5178845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$3B98466E-63E6-47EE-8CC9-FE8238AA43CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ec3cfc46976e38fcb4d04fa4c6ffa0627484c4","datavalue":{"value":{"entity-type":"item","numeric-id":4327409,"id":"Q4327409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$7C0B7236-842A-4C6B-9AD5-A7AE627D6B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2420953e9516d3b1153c7716f5bdd76812925af6","datavalue":{"value":{"entity-type":"item","numeric-id":1350498,"id":"Q1350498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$6A49FAFC-7C74-4A7A-8B9F-7C051A074BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e64e7f5fe92efa0481f27c6c5b93daeafac49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854460,"id":"Q1854460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$3B926F68-3D56-4449-B123-569B145A5062","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":"Q1398472$3B6FC8B0-5EDD-41A6-A591-AC11E7D223EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2964e7395247bd438db1a26e4c1e828236f8399","datavalue":{"value":{"entity-type":"item","numeric-id":4511323,"id":"Q4511323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$3B407915-1F88-4101-B582-EEF90F7CB16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b4338ddd4e9c9fe0874a674ac06c31c8fbd22aa","datavalue":{"value":{"entity-type":"item","numeric-id":1575875,"id":"Q1575875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$2B564A4B-4744-4963-B43C-96E1AF55A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4369396e7b238d804ee0b38858b9a8e4e865b170","datavalue":{"value":{"entity-type":"item","numeric-id":1398472,"id":"Q1398472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$E743B17A-10B3-455E-B726-7E28442EF5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2071d006289cf46c6c1936f7be79bce5c9fb86c","datavalue":{"value":{"entity-type":"item","numeric-id":1589650,"id":"Q1589650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$45F62A4E-4B88-48A7-8551-DA439E9AAF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a5a8927f019cbf5949048eaa2ee47d0dcb76ce","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$6C0C0063-285D-4259-A2E5-845F8A97FC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$9C134CC7-D13F-4F1C-BE66-8CC62545AE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d45b900e02fff384611ba003c187022d914323","datavalue":{"value":{"entity-type":"item","numeric-id":4842974,"id":"Q4842974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$E4DE64DA-DE4D-40CD-A4AF-39B66DB02780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$EBA5EFDC-6DA5-45C8-A9D2-F9BA2C0D114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398472$5202906B-1744-41E5-AE46-B96F733CF9D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96cc368b7593514a42db642b004742719b4bcd54","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00162-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398472$397F59E2-AB9E-4900-BD46-E8D7EE47B7B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ed3751497c8f0294c4371327fad61ea921a1ee6","datavalue":{"value":"W1982545996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398472$73A0E0DA-089A-4045-92B9-BB602DB329BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b49bdbb4f0b194b53a916923e48e4d6c9496ef","datavalue":{"value":{"entity-type":"item","numeric-id":5055862,"id":"Q5055862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df6d7cd8f6525840efafc172d39f86df8d12876","datavalue":{"value":{"amount":"+0.9867387413978576","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":"Q1398472$2E5094D0-4DE1-410D-8B0C-201BB08AA076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f54781337591b5083a1d2a3ac156773821e0616","datavalue":{"value":{"entity-type":"item","numeric-id":1575875,"id":"Q1575875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f7e300e87a190e530240ca9bf609e0369cf0b0","datavalue":{"value":{"amount":"+0.8102527260780334","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":"Q1398472$AA0A557E-7597-4F7D-B3C7-B453AE8EE0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7254c70d5edb0c87e8a56c929375f69578ccbd95","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4db44083aec1b1b54c15a2b7d9ffc32939dfc9d","datavalue":{"value":{"amount":"+0.8020616769790649","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":"Q1398472$F8965EE6-DE0B-4631-83D3-D8E99B8DE357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb2f23e834b6f91496bb6d5cada461691355913","datavalue":{"value":{"amount":"+0.7973604202270508","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":"Q1398472$5F21751E-1D5A-4878-9B84-53F100AB3552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bc92fe9ec86073d7420e0578740e9dd61f5de2","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8741e649c62ac409bd08301ca0c2c047e62e1dd8","datavalue":{"value":{"amount":"+0.7912485599517822","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":"Q1398472$7C6BE515-D36E-48DC-8B3A-A5F3FDD2677D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence for sharing proof-nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_for_sharing_proof-nets"}}}}}