{"entities":{"Q2864146":{"pageid":2874866,"ns":120,"title":"Item:Q2864146","lastrevid":79500674,"modified":"2026-05-06T14:03:26Z","type":"item","id":"Q2864146","labels":{"en":{"language":"en","value":"Event domains, stable functions and proof-nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236102"}},"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":"Q2864146$8A92C6D3-981A-407F-A93E-F33DD69C776B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cc9383830d1c34b1a2ba6273cecd73564bd451e","datavalue":{"value":"1277.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864146$E2B163DD-1FC5-4A13-A641-896034AA9E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$4923FF2D-D04D-463B-B22F-1233D3415344","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$12F296E5-B7CF-438E-958C-28A23A88B137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864146$7FA4660F-6674-4F83-BBC3-714F92F414DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864146$AAFA5B8D-116E-4297-B054-5F9F81B40D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864146$9A34D295-0D20-4C10-BAC0-3FA571CB1B7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd06f80213dd6f434194f6520f478ce8d0d5a8ca","datavalue":{"value":"6236102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864146$A8B163B2-16F5-47E1-9C94-F4DD39A7FC9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864146$6EA86907-68B0-4557-9EE5-FA80AAC83124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864146$4C75F741-5C10-495F-B8EB-BBC8C58BB517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864146$96041CDC-D0D9-4BE8-9794-177EC21D277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864146$2302BB9C-9BE2-4DB1-A5BC-8F96D0BDC101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f428e4978c7f1d479c209658fcc971d9731b28b5","datavalue":{"value":"stable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864146$D6545206-5F36-4911-9BBE-DB956192313E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a510ab5dddca5ca28dcc6d1f7fb34c7dd7d3d44","datavalue":{"value":"Q57006631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864146$0F17D445-015B-4C66-A060-09236D2DC9A1","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":"Q2864146$81A820EF-471E-48C3-B8B1-395E86C0B0AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"114891c6a71ff52ce3c6c28679b89e088316cfa0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864146$A4E19D7C-2C46-497F-B624-CA987DD588A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ea3505582a43d26dbb105509e6d5b9a22315c8d","datavalue":{"value":"W2009804064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864146$444F823B-6A7F-4353-B1E7-7462F4AD45C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f9a411bcaa82f68e52092d79e5583055ef896","datavalue":{"value":{"entity-type":"item","numeric-id":6104362,"id":"Q6104362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$154E8E9F-F080-4BC2-ADA2-152EB40A09FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb681da4f1409f8499d4e6a37a0928b1463ed47e","datavalue":{"value":{"entity-type":"item","numeric-id":4461213,"id":"Q4461213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$6B5B9C7A-2775-4331-A39B-A7A708E6E2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b678264d2d2d9e0f9750b5f2983826108b789e68","datavalue":{"value":{"entity-type":"item","numeric-id":1327394,"id":"Q1327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$F2730397-9FBA-44FA-9664-183A917604FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$079C7A38-8EAF-4580-8BCD-7962B6BFE6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$F246DAD4-DFD4-42D9-BAB1-D31050AF26AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$7329925F-31E8-48A3-867F-9C88AE1FA13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b098ecb891499554ffb76b3254fe3ef5ec8f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4254690,"id":"Q4254690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$D16B6D91-1823-4899-BEB4-02FE1500768B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c22639056cd296f13b201208d22065ed087c3a","datavalue":{"value":{"entity-type":"item","numeric-id":705530,"id":"Q705530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$1691B965-8C3C-4D69-852E-41E86BB9B7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$27758E4B-327B-4226-8D05-00D14956CEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e92dd05c13a971bb768dddec151dfe6cff2f451","datavalue":{"value":{"entity-type":"item","numeric-id":5394576,"id":"Q5394576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$B1FB4A46-54C6-4C8F-8660-B1A0C874783A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$8C751C7D-F57B-4213-B84A-96536D7BE84B","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":"Q2864146$A3AF62CB-D5A6-49B5-9A68-76D741376504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$EDCB7630-7F30-4C30-BFAB-A52E53363A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$C80F7B55-7C8D-4F23-A377-D5D95136D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9a13a12f6ead53d5e4eb13f6bc48e3490bb07","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$A0F58440-E497-47D8-AB91-B8D94B2E2087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$5CD892B3-1758-44C9-AA2B-7E7D99A18C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$7F90D505-5575-4EA4-B5FB-87FC7AE5093D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864146$C5BBE84E-BBF3-48B6-89C2-32960CE45132","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":"Q2864146$16625A66-E30D-4D42-AB77-F46EA69D1AD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9be53832762f13a41ae436b900eb74fc1e18cd61","datavalue":{"value":"10.1016/J.ENTCS.2007.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864146$CE093CE2-9B87-4D9F-8A28-2829CDEC256D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1adeff74b9741ca03bdc3306b2e888bf209f55b","datavalue":{"value":{"entity-type":"item","numeric-id":2860573,"id":"Q2860573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b2e2f8743cae81bcec1a025fd0abbfc0cc1bdb","datavalue":{"value":{"amount":"+0.89236253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$2758B570-C1D6-493B-9B62-F79A85F99B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b0070732133ea7ef32d51a53aa38a2b37e2ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4659506,"id":"Q4659506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49ab3b72f7aa70021ea563aa26ede0070b834b8","datavalue":{"value":{"amount":"+0.8736795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$D0134EA5-40AB-4625-B73C-B8976B02855E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1086c2817f97037e1a74fb23f77d9dbd95ff1a23","datavalue":{"value":{"entity-type":"item","numeric-id":3356298,"id":"Q3356298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f780846264ef21c2d900a379ebd22eac7c3987d","datavalue":{"value":{"amount":"+0.86907846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$92CF40C1-008E-4729-9DDA-F9946E6B7B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a67e363680c02d17936ed37d33b2bef54e39bf","datavalue":{"value":{"entity-type":"item","numeric-id":5190784,"id":"Q5190784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e7074288e3f32669c9cb35f0d03c7575f101c4","datavalue":{"value":{"amount":"+0.8677154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$3FF13C68-FADC-4E17-9671-F86D2BFDB903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd20376c9bb9562d663036aad9bd86610c406d6","datavalue":{"value":{"entity-type":"item","numeric-id":2672268,"id":"Q2672268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd46067ecaa6dc6d993f45f992ee4b9be6e292c","datavalue":{"value":{"amount":"+0.85535276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$B80A3F0F-05C7-4D5C-A000-87FAA35F58A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b902d84bf47de6fbaee7f90a314d200a204894","datavalue":{"value":{"entity-type":"item","numeric-id":5430140,"id":"Q5430140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfa8a45d1a211f03473e18f8f20b8809ec57b9b","datavalue":{"value":{"amount":"+0.8540692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$41F92F2D-0569-4C85-A56F-A24EC9B6201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53dc6acf625c506a2bb559473b0d7a864a1101df","datavalue":{"value":{"entity-type":"item","numeric-id":2401924,"id":"Q2401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fffeb1efcb6c29341c19ddcb06442b93e2c6d9","datavalue":{"value":{"amount":"+0.8520552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$4F637EE8-57E3-450A-98FA-0BD01457D6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e8a1d7be5e629ea9bbc316a3c17c5ab78a486d","datavalue":{"value":{"entity-type":"item","numeric-id":5703804,"id":"Q5703804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb67b4efbb31eb38eec178f054fb89498b7abd74","datavalue":{"value":{"amount":"+0.8494079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864146$A640F8BC-90BA-4B66-AEE4-6CDD13A9EA6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06441a542716e6f8e3d77d66365761d53032bc09","datavalue":{"value":{"text":"Event domains, stable functions and proof-nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864146$F11EC1A2-CD16-41BC-988A-B0CA2115D4DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Event domains, stable functions and proof-nets","badges":[]}}}}}