{"entities":{"Q3550857":{"pageid":5580761,"ns":120,"title":"Item:Q3550857","lastrevid":50947412,"modified":"2026-01-15T21:35:48Z","type":"item","id":"Q3550857","labels":{"en":{"language":"en","value":"A deduction theorem for normal modal propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5689747"}},"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":"Q3550857$49D62202-88AA-42CA-9454-3BAC3264B19E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d3126bc256ad12a7a5669da37ba0b900741bf3b","datavalue":{"value":{"text":"A Deduction Theorem for Normal Modal Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550857$D9C5CEA2-92AE-46FD-9D66-2CFC054FF41D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ff2abd344b7ff8234026496dc47ca0cbf3070ae","datavalue":{"value":"1279.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550857$C8456B32-8792-4038-97E7-02147A7959FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d66eff56d8927ac979c66ea4a672739e8a44d8e","datavalue":{"value":"10.1007/3-540-44958-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550857$294EE35A-83FD-4CD8-8BBA-CA7243BEDB1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84e0179b271049ac25de9aa7361adc8a5e8614eb","datavalue":{"value":{"entity-type":"item","numeric-id":3550856,"id":"Q3550856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550857$ABEFA273-9DD6-4E1E-AEDD-19580972AC12","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":"Q3550857$F7C4903C-0A70-4A7C-843E-2017F4504FEB","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":"Q3550857$B44D5C87-5424-4843-AC08-F59CD9993CBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550857$63DD3EDD-413D-416E-9560-1A11F79A6F84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c99968f52be2964a7e43c0dab2e0f5271c7c6ce8","datavalue":{"value":"5689747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550857$CCDB4AA9-306B-41F8-9AC9-D62E8FBD4B6C","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":"Q3550857$2DE960A5-90AD-485D-BB70-95D3B4F964D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d47b0a0c080c796f6148303727ba37f964471dac","datavalue":{"value":"https://doi.org/10.1007/3-540-44958-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550857$36EE26F7-EEDC-422E-B031-2E54B0E1D49C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65595e22e3e3f271a5ccf163d07b7b3fb8c9b06d","datavalue":{"value":"W1594753677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550857$0F51C893-E6E3-4718-9E60-68BF2B14F998","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a774046dbefe326278e878c009a379e02a7abf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4385436,"id":"Q4385436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad053b4a47758868c680d3a906392bc13743558c","datavalue":{"value":{"amount":"+0.8108978271484375","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":"Q3550857$BC81A48F-0C63-4BB6-ACA4-99B45EA197CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490635eea00a529d2308f724680db1f19cfda3ce","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0313664ee6285f7b2ffaa324bc98ee8615b03272","datavalue":{"value":{"amount":"+0.8107969164848328","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":"Q3550857$913DAA17-5C85-49C1-B267-34D14BD80CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a03572de652f67ad7c945fe1f137838c1386c25","datavalue":{"value":{"entity-type":"item","numeric-id":5865562,"id":"Q5865562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c4c191db1a613f2744a902373d80006a78142c","datavalue":{"value":{"amount":"+0.8044933676719666","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":"Q3550857$B79EACE0-5ABC-4447-99C2-86F8EAF224F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9199773d36a4360b83f11317ac77de08cefcd085","datavalue":{"value":{"entity-type":"item","numeric-id":2751831,"id":"Q2751831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0210b0fc15e655a82fa7be631bc2eaac0644a671","datavalue":{"value":{"amount":"+0.796410858631134","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":"Q3550857$EDF8A295-66D2-4772-99DC-D052B2588ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6993ce1320b9277f3ea9530de0a68da1ff80b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":3800001,"id":"Q3800001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042cbc8d610df78e1e5037f8e5fc3e7fcd2de7ca","datavalue":{"value":{"amount":"+0.795623242855072","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":"Q3550857$46AB2332-0E1E-494F-9FB6-701D26FB5ECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3550857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3550857"}}}}}