{"entities":{"Q4894942":{"pageid":6924521,"ns":120,"title":"Item:Q4894942","lastrevid":46394370,"modified":"2025-12-24T17:02:18Z","type":"item","id":"Q4894942","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932649"}},"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":"Q4894942$5802AE13-975A-4B34-B2F2-63A9F7AECDC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3b3dabd9dc14976fafe9635256c4bd44dc95729","datavalue":{"value":"0858.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894942$117903B9-17FF-4DEF-9424-970B5E577190","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f0b23b7e38ff23875fa920657450b82cbc3f3d","datavalue":{"value":{"time":"+1996-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894942$48A91D78-B563-449A-AFF5-5439A59D81F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894942$9341DB7D-30A7-422E-9913-C9F2D600B59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894942$8CFDC9BC-C2B4-4AC4-88FE-2E3D0E9A0C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894942$ADEB15B6-C0D7-4611-B226-5EF2F9A92992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b65e13ecba3f47f934870b5173eef9418770c629","datavalue":{"value":"932649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894942$61A69446-EFE6-44BF-9EC5-E8281B04A454","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b1755bda6e68ed03d8ad1b146267a01d83684","datavalue":{"value":"labelled analytic deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$4D2C9118-42D1-4D96-AC21-F0AA9F67574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5640ab9625f24be28b1d1dfff7d2ed770e1ace0","datavalue":{"value":"labelled deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$75E5954A-8636-4582-BFC4-8ED3CFAD15DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d0d50189fb562686511908481462c9a90689c0","datavalue":{"value":"logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$30916CB3-F188-44B8-82A8-7AA11C1B42C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$B6A4DDC6-C72E-401F-9CAB-0E8CC0306996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a6f1d03a26e35879c1398104434993d8a060a1","datavalue":{"value":"algorithmic proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$83CD8FBA-728B-4F0C-895A-1B2DD108CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999d35f359100f167c13eb8cfefaca94fb3bf9c2","datavalue":{"value":"nonmonotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$A3959D5F-6F5A-4373-984A-5532AFF5109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34a53f2d9ed6dbaaacc125a24929729fdd1126d","datavalue":{"value":"interactive practical reasoning systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$E9683E8C-3692-4CB7-A808-1061A8640EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667d703af7ca2e1b8ff23111637d7052f2851aa0","datavalue":{"value":"fibred semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$5380E7A8-9C2F-4903-9EEB-4815B74CB84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$2E69C23E-AFBC-4794-8DDC-53ECAAD7A4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025552cc9143e19ec34fb6c34a59c522114625d9","datavalue":{"value":"resource logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$8A8EAEE0-383C-45D0-9F18-D127B1B73461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$B5E28A42-317F-445C-86A5-8E58473FA35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$0E1BEB4D-54B8-459A-84AF-360B70037770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debb1aee8d026ff108996794d4154c3ae052d62e","datavalue":{"value":"prioritised logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$7752EBC5-9C23-45A0-9A20-3225F5A316D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b00112b9dc317a3fd79acefbc40d0971d24f8a","datavalue":{"value":"first-order classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$15B28B5B-D6CC-4028-A3A8-31A272086412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd7acb60feec5546a4ea70ebc07893c7cb31d6b2","datavalue":{"value":"Hilbert type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$5E82EED1-2BDD-49B0-AEC0-3D712802A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e78f98ed11943aae309a13ec55e0ff294202c1","datavalue":{"value":"Gentzen type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$CC7AE78F-7D83-4516-8C48-B9310E7EF1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b391bb68e28d3b98cf5ce4f679571ce80c4a73","datavalue":{"value":"tableaux systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$E83DA91E-8A39-4569-84A5-D942C131AF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$C2B7323C-A913-48E5-AB43-FF92C5869516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad2c2d92dc2b8d4c7e5dc8279b07314816db7b1","datavalue":{"value":"algebra of labels","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$3535B898-A28F-4C00-A020-460E7BE9BE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a069da0757deb7e666007470ef2ed731b23acbd","datavalue":{"value":"Curry-Howard interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$600A1153-AB31-45CE-BB41-846C7A80A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186657551065c1f3512705c47a16a759bf240396","datavalue":{"value":"structured consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$F378F681-41D2-4157-847D-4B264472D9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894942$D21BB98A-BC92-4A11-8B53-E7FF32870726","rank":"normal"}],"P16":[{"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":"Q4894942$83657605-1CD3-413C-AB09-78A25CDC6C03","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":"Q4894942$C48CB5C5-513D-4015-8A71-55D1BE9AF839","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b5a643883a1050d6f081702b403a4ea8932d74","datavalue":{"value":{"entity-type":"item","numeric-id":4698607,"id":"Q4698607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9adde85bbc9be38d5279c9aeeb6138ee0e7ae4","datavalue":{"value":{"amount":"+0.8883624076843262","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":"Q4894942$477E5069-2440-4DCA-97CC-293E5AFB6C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb5d3d98ec2d85b5a3e308d515b35782d323d14","datavalue":{"value":{"entity-type":"item","numeric-id":4817212,"id":"Q4817212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9ed324e6e796aeec1fdfa43bd7e6211b572bea","datavalue":{"value":{"amount":"+0.8826643228530884","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":"Q4894942$A157A1FF-E3CD-49C3-B247-CB2A9172B840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc94b3cb42958e877f99ed421eac6435ef3fe970","datavalue":{"value":{"entity-type":"item","numeric-id":4281253,"id":"Q4281253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d175b398a6b33a68d8c5e9b01b300b134bd904","datavalue":{"value":{"amount":"+0.8416804671287537","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":"Q4894942$991636D5-999C-4359-890E-8DA6DF1839A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894942"}}}}}