{"entities":{"Q2155505":{"pageid":2166248,"ns":120,"title":"Item:Q2155505","lastrevid":55416496,"modified":"2026-02-17T15:58:22Z","type":"item","id":"Q2155505","labels":{"en":{"language":"en","value":"An alternative proof of the Hilbert-style axiomatization for the \\(\\{\\wedge,\\vee\\}\\)-fragment of classical propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7557514"}},"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":"Q2155505$C14BA1BA-0983-40E5-A77B-B5C13591392F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d011bf91c1320559d6ec4bc60accef5bc6060829","datavalue":{"value":{"text":"An alternative proof of the Hilbert-style axiomatization for the \\(\\{\\wedge,\\vee\\}\\)-fragment of classical propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2155505$15C0BE93-501B-406F-9D2F-A993A41726B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf0c8519e811b5b3b99accda24d0105a42a3eba9","datavalue":{"value":{"entity-type":"item","numeric-id":722593,"id":"Q722593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$20D3BC13-C4F0-43C1-A2A3-E3DDDC6624DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$D336F97E-177F-442D-A564-B6AB0C0C9A49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77731aea4b076d729243a54a089644d4e42d7176","datavalue":{"value":{"time":"+2022-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2155505$A3F56B62-0564-4A21-929A-84BBA24D1510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155505$C0144C6E-AB9A-4BEE-B3F5-83D23BDF7408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155505$18451041-4684-46F9-8146-637E415ABAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155505$065CFB13-CDF8-4860-B904-2416DB3BCAD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46917d0af03a9780c464e02fc4dfad95ce63dc58","datavalue":{"value":"7557514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155505$01DF1184-EE95-46AE-9349-9E73D85D27C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155505$F6118D52-72C7-4985-8C1E-AAD085A3C4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935821ae2b118b81ebe113f732e820de5af26c48","datavalue":{"value":"conjunction-disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155505$957AA0DB-5D34-424D-A0E2-1FBD7D110B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155505$A5C6F31B-7E50-44FC-9DC1-83D7CD8B8E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155505$CD8B63A4-8E7B-4B3E-BF4F-DDC429378B43","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":"Q2155505$D00BC5A2-E67C-48AC-88F3-C0BD8C374B4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fa4bfc5dc35337da39fcf789b223edbaaf9b4e4","datavalue":{"value":"https://doi.org/10.1007/s00153-022-00815-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2155505$F28DAF69-467B-48F7-9C0C-8A3FD570EC41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a80f02e471330419f35f2f6c27b0603d5a7b9bea","datavalue":{"value":"W4213419941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155505$D7078BBE-31EE-4E4E-9F8B-5E32064BAADD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40dbe5598ca4afd4bf4e5f8d0387eb3c96fc5cf7","datavalue":{"value":{"entity-type":"item","numeric-id":3897030,"id":"Q3897030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$9CB282FD-0965-4BD2-998E-A5ECF7683547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c01b15d53e81e246aaf236581958eced954b909","datavalue":{"value":{"entity-type":"item","numeric-id":3874168,"id":"Q3874168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$38FDC90B-CECE-461B-9D6F-F71E3339FCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$8C7FA8C3-4FC6-4C93-8491-AFF88B0FD822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$C6AA7C7E-A875-4099-8EAF-F6E14AC64091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$4355F9D2-9DC6-4891-9717-1E85772FEEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8303d88cb8d1551549743d06f5ed6a371e2c04c4","datavalue":{"value":{"entity-type":"item","numeric-id":1189892,"id":"Q1189892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155505$C46C066D-8BC2-4995-B42D-1A04261F61ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a1be4f6408ed5d3e74d93a6db59bc17dd8237a9","datavalue":{"value":"10.1007/S00153-022-00815-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155505$79536A61-0DAB-42A4-A72C-074BF25DEAE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ede143a1bdb9804aba2199aefaf1d44cc77ae4a","datavalue":{"value":{"entity-type":"item","numeric-id":4304150,"id":"Q4304150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d1d0ef7d253ea4a93871a5feaa92d862b2f920","datavalue":{"value":{"amount":"+0.7395438551902771","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":"Q2155505$69055DE3-1050-4C54-BA74-E442C71E2ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c077e1915852ea8069816a381cd4cf9cef5b31f9","datavalue":{"value":{"entity-type":"item","numeric-id":1687564,"id":"Q1687564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3762c9ac8ea64e1bfdee59e1a2a57b0541eb756","datavalue":{"value":{"amount":"+0.7197895646095276","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":"Q2155505$10E88906-89AD-40CE-A5BA-74130306C5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42a30e7a08cae2df45f415596800c440d258f1f","datavalue":{"value":{"entity-type":"item","numeric-id":813076,"id":"Q813076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc3734fd6cf0f815fccf197acdd78fce694f0ff","datavalue":{"value":{"amount":"+0.6999423503875732","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":"Q2155505$26303524-68C9-4C3C-8183-ABA1A6A8443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f5009b1e0793855bc90461c96d4057b4322a0","datavalue":{"value":{"entity-type":"item","numeric-id":520386,"id":"Q520386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c86904e50027f834e4b6b024609e8a695ab2769","datavalue":{"value":{"amount":"+0.6969204545021057","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":"Q2155505$CFD9BBEB-C310-4AB0-BAE6-895EAF807547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd43aeb7e077e004a58f71e8c65c70e807b2737","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb2079399dd27ead7e953e39c227341ce0f6504","datavalue":{"value":{"amount":"+0.6948493123054504","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":"Q2155505$93F05568-21BC-440E-AD27-E2FC934603E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2155505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2155505"}}}}}