{"entities":{"Q4394918":{"pageid":6424517,"ns":120,"title":"Item:Q4394918","lastrevid":46927227,"modified":"2025-12-25T21:07:53Z","type":"item","id":"Q4394918","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163389"}},"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":"Q4394918$7B6EABA1-2A08-4230-BA3D-F9BB70432A27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a704ec25fcccb9383923e649f3a87854d5bad572","datavalue":{"value":"0911.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394918$625A6891-F686-4BB3-A649-0B1B982E9070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4394918$5EC37553-8E1F-45E7-A311-6816B3C013A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4394918$0537CCEA-DAB4-44B0-A814-4352777B6106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c4f0103c31dd03c07afd36e9597ef27a0e1e7e","datavalue":{"value":{"time":"+1998-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4394918$C4851A09-9ADB-4A06-889F-C70FDBECFEA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394918$6C2818B0-1C32-4DEA-9D6B-FE395ED10414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5a0865b7f381ae8b897035157c884dda7a5e676","datavalue":{"value":"1163389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394918$9319E20B-D52C-441A-8052-407690D6F862","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394918$792340C6-2EC5-4613-8AA3-5E47633433AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35380b99c53d69fcd7702192ab730290dabc4165","datavalue":{"value":"naming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394918$BA2BC6FB-A153-442D-9480-0EA417E2E2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb15c9eed297f9356ad48b0c0de2229f5cf6a1e","datavalue":{"value":"Curry-Howard functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394918$1508ED06-3F0D-4F7F-806E-66E125313C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8149d6665a06afa550fa5f453a6da51f3b753b","datavalue":{"value":"mathematical theory of deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394918$393C2C94-688A-4C26-B768-0A5E38F0F4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a25b327669dcc64104a24413312c5dae43e514","datavalue":{"value":"names for arbitrary objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394918$8702D63F-33F7-41F0-9783-D1800FFEC9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394918$43440FBD-F375-4D50-A9DA-182FFD182745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31b195d3a9e850ba15c6508c994d8f0a7d4cad14","datavalue":{"value":"labelled natural deduction for modal necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394918$C07FE01E-101C-494E-98D5-4F14853AB684","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":"Q4394918$F3F6E040-C27D-4A70-91F7-E43D18646700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4de986565b6c75677256cd17aaf19e0ccf9e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3091729,"id":"Q3091729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db44be9710005529662f34e22a684fcab5019fe","datavalue":{"value":{"amount":"+0.7533116340637207","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":"Q4394918$46B4AC43-75ED-4D3D-936C-D6E0425316B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b1e92920ae415edef38ce27ef66111c6f89e46","datavalue":{"value":{"entity-type":"item","numeric-id":2908759,"id":"Q2908759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46267ce2e8ac4d74f5ba4f2af96a1a6bef7bdfe2","datavalue":{"value":{"amount":"+0.7366006374359131","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":"Q4394918$41E2D75F-867B-42C4-A4FF-5833C01005B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c5a6331abbfd8cdb02d0e0016bb7769c53c1bd","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2552aa3428c6e636ac6377ba63ec682fc43b0f73","datavalue":{"value":{"amount":"+0.7120718359947205","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":"Q4394918$A7A31F32-389C-4072-BC55-AD3116C71C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbfa966bd0da8f0f6ee95edf4891fbfcb360b51","datavalue":{"value":{"entity-type":"item","numeric-id":1810820,"id":"Q1810820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e060fefa3febc154643d31252b948529f75b7e6a","datavalue":{"value":{"amount":"+0.7067969441413879","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":"Q4394918$E1FAE659-4D43-443E-9361-80B7BCF94900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4394918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4394918"}}}}}