{"entities":{"Q6915779":{"pageid":20997031,"ns":120,"title":"Item:Q6915779","lastrevid":84150581,"modified":"2026-05-11T10:08:24Z","type":"item","id":"Q6915779","labels":{"en":{"language":"en","value":"Probability and natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8106323"}},"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":"Q6915779$80EB9E55-48B4-4A02-9D70-FB84A2435AD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee1c73a4fa24b667692f360834e84b334d558005","datavalue":{"value":{"text":"Probability and natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6915779$B8609EBB-AB23-40BF-AAE4-F978F5335065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82c904d719967f7adb651eac80c003be77b7eef9","datavalue":{"value":"10.1093/LOGCOM/EXAE007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915779$CC366E5D-DE99-4BCB-95A3-04D06AD03069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9f92beb4d5eb73a77d53e6347bdf26db45d86d7","datavalue":{"value":{"entity-type":"item","numeric-id":6915778,"id":"Q6915778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$2E9EB7A8-E2F0-45BC-B92A-87B5783055A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec72df57f4748a8a95a6166cc534521dcb3f2ac","datavalue":{"value":{"entity-type":"item","numeric-id":465579,"id":"Q465579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$E612E8D2-F996-43A6-98A1-E86157DD51F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea9f45d17399e4087d9c562b5999a4bb83abe752","datavalue":{"value":{"entity-type":"item","numeric-id":2154141,"id":"Q2154141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$1F337638-C1B6-496B-84F5-422F90230FE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$50204E6E-9A9B-4FA3-8711-0F07BBF61CA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be1a084743b7fe843755b397196118f7c063294","datavalue":{"value":{"time":"+2025-10-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":"Q6915779$9A44C9CE-9D0E-47ED-888D-B8E2131DF4A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915779$B6CC5B33-0874-4262-BC11-E4DB6C79D2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915779$14DBA3B6-2614-4D7D-88BE-C2E1A4EB2828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbc6799a83c869d196bf7726f3f54d997e428cde","datavalue":{"value":"8106323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915779$A028B786-0307-4BC0-9893-A5777136D01C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915779$EBFB062F-4E57-4FB0-9329-099A0BE967BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915779$295C401E-F43E-472C-B94B-BE4F835C14FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915779$9BDDCFE0-B83B-4EAC-AF57-43CC7FBF900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915779$26DA77AF-A12F-4FBE-AEC8-7FB06870602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915779$E1151D79-6A9B-4C8A-AE61-FA2ED8EEC44A","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":"Q6915779$0D3DB147-55A5-4161-99EA-815AF765A81D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6aa74d7956c9ff67a4f6c30f537b3237b1bee6e","datavalue":{"value":{"entity-type":"item","numeric-id":5279245,"id":"Q5279245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$4E284F2A-8E8D-4C87-9F7D-E020D149B2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4572f60845998e43e40c611fda95fa7b1a04812","datavalue":{"value":{"entity-type":"item","numeric-id":3133161,"id":"Q3133161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$A1AC3E4F-9D67-4A66-855F-49EE719D92C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7849d463038e5c67c51f59ab8ccdcbf69de2f60","datavalue":{"value":{"entity-type":"item","numeric-id":1712933,"id":"Q1712933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$0F124555-4957-4DE4-AF77-CE9DD45215D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d2058d0844f1a27fadd8ff26330abee9e2526b","datavalue":{"value":{"entity-type":"item","numeric-id":5024718,"id":"Q5024718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$01B6237B-5B63-4066-A4EA-D65F2D7767E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc6cb16206c23f60538ec60aa79c5469ef42fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5799632,"id":"Q5799632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$885C51C8-A967-4F23-95F2-3ADF9583A41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$0ADCA15C-F0E5-4576-8012-0766E3AB854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c455776ed67e2653d0ecfc0b33093abbfd5da9","datavalue":{"value":{"entity-type":"item","numeric-id":1337678,"id":"Q1337678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$E9BF48FA-F875-4E8E-9C8B-2D37F9E560F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec46b22e53f4331f3013bea7cba2db4c72385b0","datavalue":{"value":{"entity-type":"item","numeric-id":2619865,"id":"Q2619865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$CF355437-205A-4B35-BF60-F291C90390C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47f6d8e9994f8dcd04a3f58005d05ce9989a1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5341341,"id":"Q5341341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$076CD2A2-9A42-4AF5-B8C2-6DDE7B97AEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0863fe5c701d88620a62ed281e0b45e7e5df58","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$1EC072AE-670F-475F-866B-5F129D2BFB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944af26ee3b4bfdaa06cea7dcc79aa4a0536c29","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$550FD942-58D5-440B-9526-BB80E4199B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c35c6264c86fb25aa0522f758d5c3ecaf7d858","datavalue":{"value":{"entity-type":"item","numeric-id":5172139,"id":"Q5172139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$AD9612BE-6A23-418B-B8A2-9E04F35C15AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439516a58f2a787aa7eaf19f9a2deb674e56a48f","datavalue":{"value":{"entity-type":"item","numeric-id":5024715,"id":"Q5024715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$93DBC3C1-3584-4093-909F-AC52D1CE194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b64e26d6df264298278f7fa8a00d8a715e18a7","datavalue":{"value":{"entity-type":"item","numeric-id":3852162,"id":"Q3852162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$D7E8F36F-4955-4CC4-B40D-75DB21D95BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e2e4bfecd199727ba1620e116a729a9d657a4f","datavalue":{"value":{"entity-type":"item","numeric-id":794047,"id":"Q794047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$1BFCC315-16B2-4E8D-8C3D-CB34FBED4E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$78121AC5-38D3-4AD9-8403-1121755E143B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15670156dedcdae10574926f19d94793076af4e8","datavalue":{"value":{"entity-type":"item","numeric-id":2675269,"id":"Q2675269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$9168A66B-4C89-4170-8DA2-16E9CD128396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa412e33f39e5ffe362a3975f5bb22736868421","datavalue":{"value":{"entity-type":"item","numeric-id":3069416,"id":"Q3069416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$B2086996-006A-47BF-A350-4D1A519B95C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c396ac7edac0b9eaff082788af12d8960d1331a","datavalue":{"value":{"entity-type":"item","numeric-id":2832982,"id":"Q2832982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$437B0F33-7B38-41D7-9B90-251BC711A208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$B2C1CCED-673F-41D4-9345-F62D317A0007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e15304bc8ff9694bd65524aff0a644c0008043","datavalue":{"value":{"entity-type":"item","numeric-id":5599789,"id":"Q5599789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$B0B9FECE-4D76-4CE7-9C63-9765D518EC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc0e56379f77a02e512ad02cc727ddbc172fca3","datavalue":{"value":{"entity-type":"item","numeric-id":4670581,"id":"Q4670581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915779$388A585F-35F8-4E7C-9C38-FDB4E5A080C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probability and natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probability_and_natural_deduction"}}}}}