{"entities":{"Q5526958":{"pageid":7556518,"ns":120,"title":"Item:Q5526958","lastrevid":101403752,"modified":"2026-06-06T01:10:52Z","type":"item","id":"Q5526958","labels":{"en":{"language":"en","value":"Non-null implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3239509"}},"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":"Q5526958$B8F64B8E-2FD5-4327-9A9F-F5846B782055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e198bc9d89afee754dfbef0078159745aa70ce","datavalue":{"value":{"text":"Non-null implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5526958$4C3CBCB2-4C21-404D-9999-58F391F32E78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"295cbeeed91126c27cd7ed7d611adb52cd4e8a57","datavalue":{"value":"0148.24404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5526958$E1C62A4A-F7B1-446D-9C85-70D2E336D8E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffac5c89a4ff99da9d16b62881a9107d8fc4ad00","datavalue":{"value":"10.2307/2269691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5526958$8225BB14-D60D-427D-A3A8-9D5549BCEC7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5526958$33336FCE-4AC5-40F7-998F-4A06CADAFE31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b29152725e7ee6f2d3e5de688bdeec7acb631ef","datavalue":{"value":{"time":"+1966-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":"Q5526958$75CE300E-2FC4-4B4B-9235-E5ED489E8677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f395bf6be3030698d4e213a90f19b9ea06857f77","datavalue":{"value":"3239509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5526958$13F6DCCB-ACB3-4F8C-9E16-EF6FC66A1516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5526958$CCC5FD20-F76A-43B2-AC96-1132458A0405","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":"Q5526958$2FFDAFC3-67C3-4138-A33F-2CC3727672A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b55ba3ca1e2ed20506f870da730326902c0fb346","datavalue":{"value":"https://doi.org/10.2307/2269691","type":"string"},"datatype":"url"},"type":"statement","id":"Q5526958$2081C785-5D1B-47F0-88AB-5F3CFAF62A65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65d71cfaafac832ecd6c4cab4d16499fe3661672","datavalue":{"value":"W2021318707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5526958$CFE8363F-0D47-4511-A189-77832AD85403","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5526958$062A3E3F-AB4A-4B07-AD3E-D648D21A368E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-null implication","badges":[]}}}}}