{"entities":{"Q3550858":{"pageid":5580762,"ns":120,"title":"Item:Q3550858","lastrevid":50947415,"modified":"2026-01-15T21:35:48Z","type":"item","id":"Q3550858","labels":{"en":{"language":"en","value":"Natural deduction and context as (constructive) modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5689748"}},"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":"Q3550858$9098C6E2-A73B-4EAE-9CF0-4C5E91322D3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dec391648017235488b20f482a68d7a305bc0030","datavalue":{"value":{"text":"Natural Deduction and Context as (Constructive) Modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550858$6B28C405-4126-4004-964E-D49D1B921704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bec145c73cb0a16420256a83c4dd8308914a88d","datavalue":{"value":"1279.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$6C9B637B-67FB-44F6-AAC2-84A746D3A3AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38625c1e81a2d6e48c12db792ce37836cb287c7c","datavalue":{"value":"10.1007/3-540-44958-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$668B3BDF-638C-41C5-B9A0-872BD53FA88D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf877dc5758b1326e328533ad7f7bcc6dce87859","datavalue":{"value":{"entity-type":"item","numeric-id":3550850,"id":"Q3550850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550858$5DD2937F-F72C-4B57-A7F0-E2662134EAA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047b8a66cb6c7465c83875030ed14b22522d5bfb","datavalue":{"value":{"time":"+2010-04-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":"Q3550858$CF1F999D-59DC-4D6E-A123-100E56917B42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$72FF2BDE-1E20-4284-8303-0826CA85108D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$31CE44C4-A45A-46DB-A7C0-CB7F62DBDECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$86B0FB2F-AD42-4885-8E3F-3DBE93144676","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c4d8073f085a7d0f061c6f4a6a292af557b9185","datavalue":{"value":"5689748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$33D7FA2C-32B8-470E-99AC-D7A4D9A0C96D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c0b843c272a4cc4a9b0c0896d6ae1032dded8e","datavalue":{"value":"logical formalisms for context","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550858$191073B5-02B3-4180-9BCF-6D25ECA6980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d50f9ec6589995c573e546c14e8b34d18fe15355","datavalue":{"value":"representing context and contextual knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550858$0131EF8F-4043-404E-B4DB-29394E393D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675b974d8c589b4d66d061d53835fccdd777bf5e","datavalue":{"value":"context in knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550858$7BA1CBE0-8619-4CFB-A7D6-A7466E4A66A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1c097afc32e284812d0bdeb0c31f28d5a42fd3e2","datavalue":{"value":"Q56994553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$471367EB-2345-4B5B-A7A0-2571766B134C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550858$DCFBEA9A-C734-42F7-A6F5-0E725759B274","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":"Q3550858$BECC58BC-D603-4C06-BA1B-01C782AF6EDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1c5f3a72944d0330e78af1f774a2bc22aceadba","datavalue":{"value":"https://doi.org/10.1007/3-540-44958-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550858$621EBEB4-918B-400B-B759-4AAAC886258F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62108cc787cae5a1362946bbefd25eb31d7b91a3","datavalue":{"value":"W2168118788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$60AE2B5D-9349-424C-A206-2194BE3C0191","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b3aa6e0bbe5ae929bb394f6cb672203e086df03e","datavalue":{"value":"conf/context/Paiva03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550858$C8B807D0-043E-4D88-9188-0D3580011531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73319dea2ccdbccb439ed27d1c0d24f923b0a876","datavalue":{"value":{"amount":"+0.7692944407463074","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":"Q3550858$8DAA778C-04F0-4066-B9AA-458B625EE3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa3e52fba1a9078ffd97183f542871dd8723343","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe01120ede9d6f7b55efd7fff6dd3133cd0b3f46","datavalue":{"value":{"amount":"+0.7574892640113831","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":"Q3550858$7D7C44C0-1D28-4B3D-AB7C-9D3299919EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933f88f9754f041bd20dee0ea662441807bb265b","datavalue":{"value":{"entity-type":"item","numeric-id":1414576,"id":"Q1414576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b91a02908db018a6eda1358a135d2496552cfa","datavalue":{"value":{"amount":"+0.7569912075996399","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":"Q3550858$6D9FDD15-26B9-48C9-B81E-D9850D63EB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf3e8bc147a75a910cb9bc1a4658d5723447394","datavalue":{"value":{"entity-type":"item","numeric-id":4837948,"id":"Q4837948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b91a02908db018a6eda1358a135d2496552cfa","datavalue":{"value":{"amount":"+0.7569912075996399","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":"Q3550858$EAD4A0D2-929F-420C-B1D1-5541E3C36857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01499085df2d7632ecab575d418ea8c1b560113f","datavalue":{"value":{"entity-type":"item","numeric-id":2901201,"id":"Q2901201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc12116d5c6d49d77713428645619f9b14b74eb","datavalue":{"value":{"amount":"+0.7545372843742371","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":"Q3550858$C84DBE06-0EE5-438D-ACC8-870950691C50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3550858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3550858"}}}}}