{"entities":{"Q5518350":{"pageid":7547910,"ns":120,"title":"Item:Q5518350","lastrevid":101392898,"modified":"2026-06-06T01:09:05Z","type":"item","id":"Q5518350","labels":{"en":{"language":"en","value":"Natural Deduction, Inference, and Consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3230237"}},"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":"Q5518350$578144DC-277B-4933-8820-EBA73EBD955F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6043390b92546af987e65d03223d1529ae136a6b","datavalue":{"value":"0143.00901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5518350$EE824CAB-E72F-4363-A4A7-70858F0F9F17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"736af3edf64b40ae50bb6ea989d552b73f32a48d","datavalue":{"value":"10.2307/2034655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5518350$C04A259B-94C3-4B12-B4D8-7F906A7C5725","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a2cd7351e400e2cbf6af0e014cc4cb4cfa9e13","datavalue":{"value":{"entity-type":"item","numeric-id":5341763,"id":"Q5341763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5518350$81E08650-CC1B-4569-9A65-81C8BDDD4C5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc846cc700dc846702740028966828f297420cb4","datavalue":{"value":{"time":"+1965-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":"Q5518350$DDE51449-0A7D-46EA-B208-7A3FE529E0B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80f9bc316c62962494eb7fcb5568b9fb2a2a90b7","datavalue":{"value":"3230237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5518350$B832890F-BF5F-42D6-A3C4-DFA6282BD1A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5518350$6650FD89-F989-4C9A-AEE5-562D06832F5D","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":"Q5518350$9A147A31-4667-418C-99A7-E5981554F47B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fc777e4c18b53d6a505b7ff57840f4f62716482","datavalue":{"value":"https://doi.org/10.2307/2034655","type":"string"},"datatype":"url"},"type":"statement","id":"Q5518350$F46C9CD3-860C-4A2D-8F9F-8A791E8B4FCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"727af904831fcbcf05b097d8821ccf09bf4f2d3a","datavalue":{"value":"W4235176379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5518350$F53D38A8-10B9-47EC-A9BC-B399ECF54937","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4cf190d2539b667b6d29cd3bbab13fddb8dbb35","datavalue":{"value":{"text":"Natural Deduction, Inference, and Consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5518350$13D7B680-95D2-4D2C-85F4-F4D9F632D20B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5518350$49C904C3-7E39-41C5-A73A-791EEE99C166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29aa1ba9630df2ea165ce1ba5aa0dfe35aa3bced","datavalue":{"value":{"entity-type":"item","numeric-id":5732640,"id":"Q5732640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5518350$E2A24F47-3A8A-49E0-AF10-8D7151191883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d053a36229d7c6e0559db5947f986919ff5f3c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5848181,"id":"Q5848181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5518350$B5DB3A40-E3D7-43A4-A500-7394A0C08557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5518350$0389562B-DD92-452E-A57E-B0C254141042","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural Deduction, Inference, and Consistency","badges":[]}}}}}