{"entities":{"Q5752544":{"pageid":7782095,"ns":120,"title":"Item:Q5752544","lastrevid":97052774,"modified":"2026-06-05T13:08:09Z","type":"item","id":"Q5752544","labels":{"en":{"language":"en","value":"The hilbert type axiomatization of some three\u2010valued propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187772"}},"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":"Q5752544$D948C303-03F4-45FB-B099-4B2561A2D735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6034a52f374176b2216720d0104e2003fd14637","datavalue":{"value":{"text":"The hilbert type axiomatization of some three\u2010valued propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5752544$3D3BD516-DDB4-432B-8311-4B5F9E67F0AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01d606616141c9f7a09b4ca15fab7fc8dced59cb","datavalue":{"value":"0721.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752544$831736F7-83D8-4314-94BE-533C9C6DFADC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752544$63031534-6818-4556-A312-A1E38CF40F88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752544$E8D26EA6-B49C-4712-9A73-8CA18E317205","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5752544$175711EC-1CE1-4FB9-823F-A6692BED9BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752544$C887768C-4347-4846-8E32-CDE33EC927A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05b73479e9d72237289221641f3cf11ae11f42cb","datavalue":{"value":"4187772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752544$E879B1F5-78C1-4927-83E5-6D967C99B04F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752544$F7D89535-8625-4525-B627-B62607AD9BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dc7e49192abc3a9044bd834255227f061e1a205","datavalue":{"value":"domain of definedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752544$730D9FDF-D7A7-4004-AFF5-E48BC739E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc7b2d39f05997ed0a508012385c0e42a2677e1e","datavalue":{"value":"domain of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752544$77930AC8-A090-44A9-91C7-FF80CCD27760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17a12c6b2412db9865f07fffaf8470cb100869d","datavalue":{"value":"Hilbert type axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752544$C6017168-A0DB-4955-8148-E841846F275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752544$154B6F65-D253-4B58-BD74-12FDBBEA76A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752544$26BA744D-95D0-492C-8EB4-48C5340CE7FA","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":"Q5752544$0FB0196C-FE14-4AB4-9EEC-168CBC68EEC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d44a90d7a122d1ef7ab3dbd6885aaf7660ec3dda","datavalue":{"value":"https://doi.org/10.1002/malq.19900360506","type":"string"},"datatype":"url"},"type":"statement","id":"Q5752544$4302A79B-8B39-4258-805E-95AACA98EF18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c3336eef902972af971a90273288a312ab3585e","datavalue":{"value":"W2095988497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752544$C9AB52D5-1435-43D3-9ADF-ADFC540EADA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b44d35299bc3d0f7fd7c062e6adbe781877c9fa","datavalue":{"value":"10.1002/MALQ.19900360506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752544$DD26AF2B-F4BF-4BE3-95AF-BC5725B7EC66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2229ae3b4e1c98f462816dd8a1a088b089ba7136","datavalue":{"value":{"entity-type":"item","numeric-id":4254678,"id":"Q4254678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ebaa514bdd12de79c622702ab35c2791572a47","datavalue":{"value":{"amount":"+0.7690999507904053","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":"Q5752544$C1055A6F-C10E-42D2-AC68-5ABFA00BBA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892893909a3eca6094acb24a7da2003296c9dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4868228,"id":"Q4868228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ebaa514bdd12de79c622702ab35c2791572a47","datavalue":{"value":{"amount":"+0.7690999507904053","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":"Q5752544$23910D86-BD7E-4A8B-9B83-FB5F61F0EFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6e3724e0f64e2f381212d20f00300c137799d6","datavalue":{"value":{"entity-type":"item","numeric-id":1115854,"id":"Q1115854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e601a6e161630bbe9188e780cb02b7eada03ce","datavalue":{"value":{"amount":"+0.7590503692626953","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":"Q5752544$97D4B0F6-E4A2-4A57-BC51-72AE9B2E920F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674ae360b0c4f04352bca86117543a99befdb6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3348891,"id":"Q3348891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c9a789bb56f61ff6f33491779ac189a6ab34c1","datavalue":{"value":{"amount":"+0.7589066624641418","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":"Q5752544$76C97B50-5E31-4F70-ADED-D3C7BAD3BA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ec0dec89cd60d9452ee57a7136429db9ee5649","datavalue":{"value":{"entity-type":"item","numeric-id":3474641,"id":"Q3474641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893d8f8f06b40d62c5b8da955e5a0ca4ce0b1f2c","datavalue":{"value":{"amount":"+0.7573983669281006","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":"Q5752544$C0D49A5D-6F71-4A89-AC48-6FAEFA22186E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The hilbert type axiomatization of some three\u2010valued propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_hilbert_type_axiomatization_of_some_three%E2%80%90valued_propositional_logic"}}}}}