{"entities":{"Q2958507":{"pageid":2969226,"ns":120,"title":"Item:Q2958507","lastrevid":79804673,"modified":"2026-05-06T14:44:47Z","type":"item","id":"Q2958507","labels":{"en":{"language":"en","value":"Three lightings of logic (Invited Talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680124"}},"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":"Q2958507$CB33AD1C-997B-4069-93C0-CD6990F57D8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1325b00e03efb0fc28b3fdaa408477e368e230c","datavalue":{"value":"1356.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958507$0CC1E9EA-6F4F-4F65-8D39-A0D5B25720C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958507$D95F21EA-5107-4F5E-9913-0AD88D53C588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-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":"Q2958507$7865B09A-35E4-42D5-A969-37B10474FE12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958507$2B549C2E-CD5F-4E50-BC55-04957FBF7F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958507$33F7CB7A-9AAC-4E14-916D-BE352875C383","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c552025f60b8388702805227ffc92c2c03509a8","datavalue":{"value":"6680124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958507$8454F1ED-C3AA-4AE5-8D29-0393800881C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958507$7E3129AE-DA7F-40C3-ABE9-FCAF73DFF96C","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":"Q2958507$3E554AB5-776E-4387-8295-2C8A7F9E41F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3933b5183371ae6b9acc8b06ff00ab298b1eb4a","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2013/4185/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958507$5C130CAD-52B9-49BF-A9FD-8BD4A8D829FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfe81fe6a9253315685fd0860b06e2b480581777","datavalue":{"value":"W2241595269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958507$E3BFE94A-9A54-4D49-8527-114EE84274F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3630629080ce5cac48cf072d64adc5ef2a6f4acb","datavalue":{"value":{"text":"Three lightings of logic (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958507$882C2D3A-A747-4B87-B049-84A16D6A36EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"884fc6d86a3a4f9103c18c69ee38942811383a0a","datavalue":{"value":"10.4230/LIPICS.CSL.2013.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958507$686971CC-C508-4580-81E9-3CCCFF9D1146","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d47231e0b8baae9341157d396bbb701bdf4cc7","datavalue":{"value":{"entity-type":"item","numeric-id":5397083,"id":"Q5397083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13d1d3c024633a9fef2399e007e44d3c44652d6","datavalue":{"value":{"amount":"+0.83823055","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":"Q2958507$F83C5774-1212-4CC1-A5B4-8366DA2B4087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45221ff3818bf9cf94a78b517fae53f040d0afbd","datavalue":{"value":{"entity-type":"item","numeric-id":1123187,"id":"Q1123187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2204b9198347f99588558a4a54446750bb4e96","datavalue":{"value":{"amount":"+0.829232","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":"Q2958507$5CA21A93-C140-41BE-B4C4-523120222202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bc5523a770361237962c8bd1131fd064d7fa19","datavalue":{"value":{"entity-type":"item","numeric-id":4237309,"id":"Q4237309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fa6985c41b9bf9f7918b6f9bcac0bac77bb1b1","datavalue":{"value":{"amount":"+0.82889944","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":"Q2958507$673C52DF-754A-49FD-B98A-393109E24C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286edb425bc4ea38ec9e2401567c9175574c595d","datavalue":{"value":{"entity-type":"item","numeric-id":5249688,"id":"Q5249688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20502a802bb06da5db0628a7040543c0db71a88","datavalue":{"value":{"amount":"+0.8288672","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":"Q2958507$6A8660C1-0C5E-4B1D-9B54-0737D243F7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb38f61f0afcf847d6219d638de20e7d7a1b63d3","datavalue":{"value":{"entity-type":"item","numeric-id":2856073,"id":"Q2856073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c53c2a9e06cc8f21b79c76a47e04c3ca4a3f151","datavalue":{"value":{"amount":"+0.8200209","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":"Q2958507$44C0237D-3E8A-4EEC-8BFD-1E0AF5AE1A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143ddee9cdd87941c3e8dad1a31d51d36ab9f72b","datavalue":{"value":{"entity-type":"item","numeric-id":5937844,"id":"Q5937844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e0627450cb0b304e34e85995ea876df3d7b5e2","datavalue":{"value":{"amount":"+0.8198507","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":"Q2958507$B5940E09-7944-447E-B103-521981C91CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bead124ab4c625d47c8802f1d57d086d1fa75356","datavalue":{"value":{"entity-type":"item","numeric-id":2837232,"id":"Q2837232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffa30081d30a249c15d3b80ac239ca3b0af461c","datavalue":{"value":{"amount":"+0.8190718","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":"Q2958507$81CB3754-4607-45FB-BC34-A274FD444B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccffada24981e1fd16dc02f373d8d64b030d252e","datavalue":{"value":{"entity-type":"item","numeric-id":3320345,"id":"Q3320345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559849f5576f3d32599f9d5fa96fe27bace0a219","datavalue":{"value":{"amount":"+0.8182865","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":"Q2958507$E47B45BA-CCF7-4CDB-A9B8-3A7E9EB7745E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three lightings of logic (Invited Talk)","badges":[]}}}}}