{"entities":{"Q1589650":{"pageid":1600390,"ns":120,"title":"Item:Q1589650","lastrevid":74067825,"modified":"2026-04-14T18:14:53Z","type":"item","id":"Q1589650","labels":{"en":{"language":"en","value":"Proof nets, garbage, and computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542390"}},"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":"Q1589650$4F735175-D0AE-489C-88B9-A82B20F6573B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced0ce531ffce58dff0c7563fae5acc2460071f0","datavalue":{"value":{"text":"Proof nets, garbage, and computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589650$67AE9F87-C7B6-4C32-AEE1-2A5E934D73EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73e0c7c3e0d640a6f65409735dce7a961f391cd4","datavalue":{"value":"0956.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589650$405AFBF4-7176-4DCE-98E7-C17688721914","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea4090b7611d3875fad9829fc9558b30ff1d469c","datavalue":{"value":"10.1016/S0304-3975(00)00094-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589650$E502016B-EA8B-491C-9793-544A9C9D29FE","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":"Q1589650$191F8417-ED0A-4555-992A-C115F52F04CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1589650$03904DA4-94C3-477A-A3E4-F1F4EE8B24FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589650$2757A6CD-E8FB-4F0F-A869-28E246926EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589650$6005AF10-4731-4E50-B1AF-4CBEA2EC6547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8543f90cee4e25e12fed2a16f481c0de61a1ce1","datavalue":{"value":"1542390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589650$283FE2F7-B80D-4E85-B4B4-C13D1BBACEC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589650$2A42B61D-43C1-4FA4-8B04-C23DEA35E49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589650$D389CF86-85E4-4382-96FC-B74A3097F4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589650$949BA6E9-76AB-45DA-8223-593F090784FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117eb370679e5f6fa8c0baf376ecf934defd08ff","datavalue":{"value":"sharing graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589650$DC7A28B7-0CAD-40DC-B0F0-D53AB9ACD7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589650$90983F98-5AFB-4C7C-9168-19AF4B1B0169","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":"Q1589650$D8490FAA-5598-478B-8CE0-D42CF163C940","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":"Q1589650$7DE719FE-1455-45C6-A75A-A4A07CE5399B","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":"Q1589650$B70B5FD2-0FB7-499C-9136-41C14DC4BC26","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":"Q1589650$ED1F9854-E8F5-47F8-9C20-AB311E7D5D5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$7A2A4A04-168F-46FC-9E6E-C15EC1AD57A2","rank":"normal"},{"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":"Q1589650$D8B937EB-8ACC-4376-83BD-BFF613968229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$2D0E9E82-D1E4-4DE0-B79E-4B76F43D9B3A","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":"Q1589650$85D9DD82-5818-4870-9D72-169647B6D249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf02a35a649edb67a9fd19dce373a029ce21e1cb","datavalue":{"value":{"entity-type":"item","numeric-id":1892938,"id":"Q1892938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$CB4C65D8-5D96-419B-B514-0D6B69955019","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":"Q1589650$341C3137-4293-4EBE-895F-F6EECC25349E","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":"Q1589650$66439D3B-A970-4BBC-9A03-FE8CF45B9F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2e18d1df9fdf7c997855f23fd7e29219c01e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5940925,"id":"Q5940925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$3950062F-D2C1-4A2E-9D1D-6C6B553C894E","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":"Q1589650$A0EEDB7A-1EBD-41F4-B51C-D9C715D11A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3ee9e009cc5e40a143d8e1afc1f0a8c6c8a2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3024907,"id":"Q3024907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$B95AFEDB-80B6-4991-A33F-DB07E0B46056","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":"Q1589650$A3B70859-2CCD-4A20-9F1D-4BDD025C8B1F","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":"Q1589650$CEC6349F-717C-4B6F-B574-9F708DDAD9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a6ea545e109fc12ce69510ac13457f59129ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4953356,"id":"Q4953356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$43E47B98-2A60-45F5-8AF0-320C64F2C6BE","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":"Q1589650$D06670F8-9B05-44DA-B970-3BD12B612747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$95091A13-DB75-4DB5-9AF1-7AD7824690FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$B9741180-87F2-4B0C-94BE-CF7B1CEDCBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$C927EBA1-EA43-44FB-86FE-F773458ABED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589650$7F6FCFBF-FEBC-4E56-902C-C0729936930B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64c2485ab32f01553e72edd2789ad6df85699cc","datavalue":{"value":{"entity-type":"item","numeric-id":3024907,"id":"Q3024907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de66aadbcb968efff8fc0d46270ccc949d887b1b","datavalue":{"value":{"amount":"+0.9916948676109314","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":"Q1589650$FE897A2A-18ED-4F88-911A-392090755FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58053b0f9c9591bccf7dd8e76a3ac6b3398e13c2","datavalue":{"value":{"entity-type":"item","numeric-id":4304131,"id":"Q4304131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bf3d127be57f014e47b7df39890d3d7a648087","datavalue":{"value":{"amount":"+0.823698103427887","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":"Q1589650$CF60B694-DD15-4C27-B487-696F93C7D475","rank":"normal"},{"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":"62d5ff694c599b260f9f274ab7c6b924f0b0ad4c","datavalue":{"value":{"amount":"+0.8227502703666687","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":"Q1589650$BFB86D73-AC05-4A55-AE48-1282BD911A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e00492223d8a74fdffca3bd01a0982fa7c35cf","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6b766a8ee8efe077a5f7cbd0d9a60191e7579e","datavalue":{"value":{"amount":"+0.8206831216812134","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":"Q1589650$2CB5CE2F-FF12-464F-8CBF-FFBE770BF4C2","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":"2ee93a235fc1c2c65eaf242ffb2a4ea062eeb505","datavalue":{"value":{"amount":"+0.8184430599212646","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":"Q1589650$9BE8FA30-7FE0-4F08-BFCC-41D9F5DF331B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof nets, garbage, and computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_nets,_garbage,_and_computations"}}}}}