{"entities":{"Q1840461":{"pageid":1851203,"ns":120,"title":"Item:Q1840461","lastrevid":69318891,"modified":"2026-04-13T06:12:23Z","type":"item","id":"Q1840461","labels":{"en":{"language":"en","value":"Focussing and proof construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1562994"}},"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":"Q1840461$38659062-4895-4C48-A9CE-0C7A5A68D493","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ee46b477756cd87b2979f3aa3674e2cec6eec6","datavalue":{"value":{"text":"Focussing and proof construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840461$F72E3F7E-E478-43A5-BAD6-CF4D10849A50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c85539ffcd8c81f452c0a2313caf48d4e067468","datavalue":{"value":"0966.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$948FDFE2-1BB3-4528-811A-897ABC83672F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c96198e0fe8bf0f0eba64b1c7a2a462fc2335339","datavalue":{"value":"10.1016/S0168-0072(00)00032-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$7CC8C665-5B4E-4029-9998-057C94E82251","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc6b08afc1b2eff2d555228deeeb1c4cf07164e","datavalue":{"value":{"entity-type":"item","numeric-id":1818357,"id":"Q1818357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$43CE58EB-B5E6-4E20-8973-86DB7788A0BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$7679C75D-C898-472C-AD00-A0D49892DCBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01025e4e0db5ed45cddb918946199fe4c9ef64ac","datavalue":{"value":{"time":"+2001-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840461$B29023C0-6C01-4707-A50A-C3FD94ADD339","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75925a0fbbfed6e8da90f5d888389fd49c918b40","datavalue":{"value":"The foundation of the proof-construction paradigm and its central feature: non-determinism and partial information in logic programming, are discussed. A new presentation of the focussing proof system for linear logic is given. A new presentation of the ``normal form'' for linear logic, and in particular the notions of bipolarisation and universal program are introduced. A new, constraint-based approach to the proof-construction paradigm, illustrating another of its essential features: the capacity to deal with partial information, is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840461$D507E309-B0E7-446C-A917-AC9A11810D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$985CE78D-42BD-4C0F-972B-B234C60661B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$0B3BB2F3-3C07-420A-909C-D99452167A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$BC2F4AF1-DDD4-4043-9129-51A223BB5814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$5376A8A4-0A00-4CB1-8CD2-5ECA46652306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$E0C66DFC-0C06-4669-98F2-5710BF331829","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1bf1998e711af4b0887bfd0bf26510f99520fea","datavalue":{"value":"1562994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840461$23C22C1E-88A0-4C26-B42E-4D28A192B937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840461$85B92EDD-7C4E-4D8A-A9A7-6308257316B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebcb3e967d7f344660d4e6719070e8abab46ff77","datavalue":{"value":"proof construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840461$EC3DB0B9-A806-4D12-BD31-36701EC61444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7fe97b75bc3aee7034a8536c48def79de765be","datavalue":{"value":"focusing proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840461$A48B79C3-6E1C-4713-8C79-22D5AF64077F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05a7831e531e75b31a4af9070b239d7abd43620","datavalue":{"value":"constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840461$225D5FD7-B838-4ADC-870A-EE8FAB7F2D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ac5f87c2452a4bb9221668c72755935919ba5b","datavalue":{"value":"tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840461$495DB373-DD90-47B3-9622-1495601AB90F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$21C8305F-DE9B-4410-B61B-125AFBBD0DBF","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":"Q1840461$80119CBC-C7BB-4406-B886-4CBFBC163DF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$EA8234E6-10B8-413E-AB54-B011605F0BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ebe71e93c98a08eeff1c18dfa82644f85364be2","datavalue":{"value":{"entity-type":"item","numeric-id":5044735,"id":"Q5044735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$9DABDCAA-681C-4604-9A13-CB39542B5285","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":"Q1840461$2A231AD8-D5B7-4CE0-BC79-1E2639A7F7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$564E8360-8194-41A2-8CA2-629D4D20BAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b6ceaa44ad201997e25fe63406164519c2ebd1","datavalue":{"value":{"entity-type":"item","numeric-id":5267424,"id":"Q5267424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$75679EFC-77FC-45CA-B3DC-D71AC4F55ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$3B40ABE3-0CAC-47C2-997D-BECF3E12A121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840461$ACEC3735-4526-4000-BDC2-F52D9E0081C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37dfc7944da119a54488e99a233f9aaf0ba508ad","datavalue":{"value":{"amount":"+0.8432876467704773","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":"Q1840461$83BACD21-0791-49D5-9B48-75D8D7F67760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43428870c4ae3d8c2d093b32e798d8bae7540a66","datavalue":{"value":{"entity-type":"item","numeric-id":3178251,"id":"Q3178251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37dfc7944da119a54488e99a233f9aaf0ba508ad","datavalue":{"value":{"amount":"+0.8432876467704773","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":"Q1840461$8C48F262-FED8-4DD2-B3A3-87FCDF1667A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e913448f7895eff5d1c7ad5335d1109d020ef3c8","datavalue":{"value":{"amount":"+0.8291957974433899","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":"Q1840461$7D56795C-C5FC-4B28-B581-80A52118D454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889231deb57232aad79d4a8364d607ebf1a58209","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa82d0b9ecaea3727d9f6ab66030eed571c825b2","datavalue":{"value":{"amount":"+0.8233164548873901","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":"Q1840461$47C13E9F-A02E-4604-A287-CEBD6B6A551E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c2ce8c9e939346afb527f68e8461d9ede336de","datavalue":{"value":{"entity-type":"item","numeric-id":2503402,"id":"Q2503402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137cb6b1aaf539479b929eefbc39a6104f340a1a","datavalue":{"value":{"amount":"+0.8085117936134338","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":"Q1840461$C3302D50-CF65-4FA2-96FF-2ABDC2194D10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focussing and proof construction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Focussing_and_proof_construction"}}}}}