{"entities":{"Q1893137":{"pageid":1903879,"ns":120,"title":"Item:Q1893137","lastrevid":71087166,"modified":"2026-04-13T19:23:46Z","type":"item","id":"Q1893137","labels":{"en":{"language":"en","value":"The strong completeness of a system based on Kleene's strong three-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769229"}},"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":"Q1893137$A2351826-C957-4821-8067-A4A4B80B438A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cd5ae857113ca55ad923234f97e7a08cc12051d","datavalue":{"value":{"text":"The strong completeness of a system based on Kleene's strong three-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893137$77124FB1-32F5-4E95-9E9C-BA9916FC0503","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b792bf9afca479eac2e310fa04b7b4b9db24a19","datavalue":{"value":"0822.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893137$CB4B56A0-5EA7-4C15-8CE9-70028C5D669C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7a9eae13b4a0d869e99b6675d8869074728fc09","datavalue":{"value":{"entity-type":"item","numeric-id":361856,"id":"Q361856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$BA4053E6-7BD1-4008-9D10-5E8691A65E6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$16887FD4-8482-4DC0-B382-D0944F6A2C2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893137$A1188AF2-1FD8-41D3-861B-0A824AEAAB14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893137$30992D58-44E7-48A9-BFDD-A887C5F62CED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d461819238ab82978465c5b467fde0487e2b700","datavalue":{"value":"769229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893137$4FC118C9-F2EC-4A5C-8070-82AAA23FF5FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134bfe0b97a496c100412636a966902adf216375","datavalue":{"value":"nonclassical predicate logic system containing a truth predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893137$DBB4775D-507F-4C1A-9FE9-5C330F463EB6","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":"Q1893137$A29292AA-1BBA-4872-A799-E995D71D0F56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f059e043897635875f0d44f4aecc3aad056c9cdc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040511343","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893137$891A623E-B9C1-4D5C-AA0F-434E28C53B2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89d02e49030f15cd922cef649a4a34a535ea3212","datavalue":{"value":"W2037548896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893137$EC18DFF5-4C5D-4078-9520-92B498D50050","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bdbe48f3d7d8c958954e8208a905c88798b076","datavalue":{"value":{"entity-type":"item","numeric-id":4053609,"id":"Q4053609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$97C54496-5F89-4133-B4EE-B5E125CBF1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0803f8cb24ac11f7050a2dee6f27f1514ba3ef","datavalue":{"value":{"entity-type":"item","numeric-id":4193439,"id":"Q4193439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$7674FDB0-204E-46DC-9758-37D2B2926C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$7CCFF900-2738-479F-860B-2117D1BF1835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390052086e44fc803ad457da6a759cb5236dc108","datavalue":{"value":{"entity-type":"item","numeric-id":1084389,"id":"Q1084389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$AECDBAD7-A98F-46DD-A2C3-194AB60468A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e214266c58e37d73c63d5291911d90f6df8d30c8","datavalue":{"value":{"entity-type":"item","numeric-id":1102932,"id":"Q1102932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$8B7D9DF4-505C-4E58-9C73-56D88D3839FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69717fe24b9ac3f049a2fa297cf24875ca00fcaa","datavalue":{"value":{"entity-type":"item","numeric-id":5328150,"id":"Q5328150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893137$4A818468-D880-4296-8EAA-EF274F665DC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abbbc7d78b5e5dd4d59920855b639fcbdfafdbc8","datavalue":{"value":"10.1305/NDJFL/1040511343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893137$2946C78B-61EF-410C-8CF3-2F56144247A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b157a11bfb5ccb315b35effd967b92219dafb66","datavalue":{"value":{"entity-type":"item","numeric-id":1107507,"id":"Q1107507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48601232bfcd40d77e2f8caa65bf5d06bd0d39dc","datavalue":{"value":{"amount":"+0.7501482367515564","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":"Q1893137$11B2DB68-723A-4DD3-9628-AE02ACAC6AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d20d0d4adcd2715c3674f405c3014bc934c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":6100982,"id":"Q6100982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b940458609fa315930d7a7a7cab10ead027d17f","datavalue":{"value":{"amount":"+0.7443812489509583","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":"Q1893137$6D574056-1D78-4C8A-9334-784ADDE4D6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aeb15f36c714dd2ef57a272f05fdeae152d0384","datavalue":{"value":{"entity-type":"item","numeric-id":5699230,"id":"Q5699230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2cfa3775967bfa012d41fb91c9bd500e112e1b","datavalue":{"value":{"amount":"+0.7218760251998901","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":"Q1893137$B7EDAED4-7F66-4FEF-AF87-057B6F0E2D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104c6eabe82c022b4866a45d595e0a932f6e6151","datavalue":{"value":{"entity-type":"item","numeric-id":3984417,"id":"Q3984417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfb41a0bf7af7298d9f1ff60d51c52be8585e92","datavalue":{"value":{"amount":"+0.712872326374054","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":"Q1893137$9ABBBCA5-68F8-432D-82F5-919547530E51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The strong completeness of a system based on Kleene's strong three-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_strong_completeness_of_a_system_based_on_Kleene%27s_strong_three-valued_logic"}}}}}