{"entities":{"Q7012353":{"pageid":21577059,"ns":120,"title":"Item:Q7012353","lastrevid":80101793,"modified":"2026-05-06T15:26:46Z","type":"item","id":"Q7012353","labels":{"en":{"language":"en","value":"Three approaches to logical correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8011329"}},"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":"Q7012353$E10D0EDF-593C-4C6A-A823-AA4D0FC6560A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbb826a561bd00fe2bf63383b07e50bec8a1c7b3","datavalue":{"value":{"text":"Three approaches to logical correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7012353$AEC1558C-B191-4907-BD29-16CBBA9F169B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35c001a19805ab551d04c3f6fc0a35efb12d9e36","datavalue":{"value":"1573.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7012353$7E363FCA-5F6A-43B9-AEB0-36C35B1506E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18638a26c3d3ed17f3956aa61a55c2604792e35b","datavalue":{"value":"10.12775/LLP.2024.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7012353$291D3466-8B9A-433D-9919-9EA074A93EE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a65b62f05c62368316ae9e2d7da9a65cb9ae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":7012352,"id":"Q7012352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$4E568B84-023C-42E2-9A88-99B24F21296D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$838FDEB9-516B-4C18-87F6-98BFB5AF3158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076bbd2d5412c42a15cd605cbd91cdcad31a6d1c","datavalue":{"value":{"time":"+2025-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7012353$0C2D1490-ACBE-404A-96B1-EC30167BE79E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7012353$25D778D3-C671-4212-8387-B63CE1CC2E4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adf2167cec294c8000c19390f18c9a285d9e1dd8","datavalue":{"value":"8011329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7012353$202C1C68-D410-424E-B1E8-0F57BE4DE454","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$0BC2EB40-80FB-4121-AE8D-FF90341E6702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82394d67b1703b2493f42e85d54eb267ecdf7e35","datavalue":{"value":"Carnap","type":"string"},"datatype":"string"},"type":"statement","id":"Q7012353$0B832C58-2B5D-4D07-85A4-699C7173B0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79928a185706213908f62ca949e31aa14a392fa0","datavalue":{"value":"logical correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q7012353$26929542-729F-41E3-8F90-E1288D4968BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"034ca32bafee6277cf59c07dac1e15b5a49b4505","datavalue":{"value":"logical pluralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q7012353$78B7F7C8-5149-4013-80EB-4C9C889ADA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd4717096427beaf206f6361ff6206f8282043df","datavalue":{"value":"logical realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q7012353$0F211C2D-0DC6-43ED-829F-B3454CFFA54A","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":"Q7012353$0C5DF790-6DED-4A7E-920C-407B992450FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"019e57faafc5f88f179f7432251f009ae60d77ec","datavalue":{"value":{"entity-type":"item","numeric-id":6067343,"id":"Q6067343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$41E76D2C-0E1B-4DE4-A9CA-C60FF04EBB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a196536f8a5498ef71b69175f11ff532e6dc5ad","datavalue":{"value":{"entity-type":"item","numeric-id":5687547,"id":"Q5687547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$B45F4DAE-421E-499A-A587-32A95183997E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1d1a7855339a14b79810685075d17d47502f33","datavalue":{"value":{"entity-type":"item","numeric-id":2753382,"id":"Q2753382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$021B9D8F-E68B-40CB-A637-97AA8BDFC36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96a358f287739105c8e74dda0596ba96a39a99c","datavalue":{"value":{"entity-type":"item","numeric-id":1550609,"id":"Q1550609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$CF551EC1-B5F6-4D6A-A756-EF6045E56E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98132d14ca615c488121fcd9319fbcf564e2a4dd","datavalue":{"value":{"entity-type":"item","numeric-id":1523175,"id":"Q1523175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$DB62D90C-FEF8-4C54-A113-FAC1E0B7DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee14645f24c762c37f32f273b49e1ecea211751","datavalue":{"value":{"entity-type":"item","numeric-id":4732438,"id":"Q4732438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$0DA3E2C0-DFAC-4885-90F6-521AB89DF30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1007c9b8c83b7317e78090717f714645afc62973","datavalue":{"value":{"entity-type":"item","numeric-id":5079710,"id":"Q5079710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$A20FB64F-A80B-4DF2-8330-12BD45BE15DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1063b74b4cce5539eee324e736281b3ea731e7","datavalue":{"value":{"entity-type":"item","numeric-id":5230814,"id":"Q5230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$E9DCCCDE-73B4-47F7-A366-64DE2E586B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406de12b42ce80528025922ef21ebccc10fa0c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5205979,"id":"Q5205979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$AF3438F4-B180-4171-B573-85577429A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2848f00f4bbf102f152debad195ee677835dbaf7","datavalue":{"value":{"entity-type":"item","numeric-id":5205984,"id":"Q5205984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$F610A857-B95E-4EFB-A5BC-9E810C509C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61e5aa1f10aa18022ccb7f730a969554f99f087","datavalue":{"value":{"entity-type":"item","numeric-id":6187761,"id":"Q6187761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$EBC7B838-A835-4B25-AE7A-F8151D190C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696a0d7d63611c05f15f9df1ac82a57d6b0ff683","datavalue":{"value":{"entity-type":"item","numeric-id":4223146,"id":"Q4223146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$57EB9E24-8410-4F64-979A-874B59B215A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444a124b7f8287268ac8c48512d6748e94327a00","datavalue":{"value":{"entity-type":"item","numeric-id":3417356,"id":"Q3417356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$D0CBC7F6-42FD-4A08-8EC3-992CC29472D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52de0890d9e1d1e561a913929ebe9d4e0f52ff50","datavalue":{"value":{"entity-type":"item","numeric-id":4902769,"id":"Q4902769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$3AD42DD6-339C-45B3-B7BB-1FE41A8981A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c6f19260ab0fee5d1981e25b0a022ba059488","datavalue":{"value":{"entity-type":"item","numeric-id":830365,"id":"Q830365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$D17AE39E-02B2-449F-ABD6-FF4B57DD1725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$20BE0666-B3BD-4A21-B3F8-21EADE03EBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$2A32D855-26E5-45C5-AC2A-417DA44487A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d2769c179ae906d6281e8353300fa3273e25e4","datavalue":{"value":{"entity-type":"item","numeric-id":5283788,"id":"Q5283788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$EAFE5C3E-D021-46CE-9DA1-7B582A6AE5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1aa455643840f81c7fdc76f5376fcaf25a08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3269129,"id":"Q3269129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$F3BFDBE1-9FF2-4612-94CE-FF0A84BC3B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbdeb001ad360cff10a9a6e56cf7eb85523519b4","datavalue":{"value":{"entity-type":"item","numeric-id":266663,"id":"Q266663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$8094266E-6189-4C5B-990C-94B9A9EA87B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc860154bb40041b450fc7315951360024a8e47","datavalue":{"value":{"entity-type":"item","numeric-id":2879057,"id":"Q2879057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$9738CB16-5E70-4BF6-98BF-2E0B4624E9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8744e1c2a019d72eaa08d60297f9fdb5175e48cc","datavalue":{"value":{"entity-type":"item","numeric-id":2695023,"id":"Q2695023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$47C9BBDF-4A0D-49CE-B875-D97A726ECE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615c69ac6df9afc124401ae3b18bce04b430598c","datavalue":{"value":{"entity-type":"item","numeric-id":5839923,"id":"Q5839923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$E685EC67-DB47-4FAB-84F9-24B187142667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3a343358c2292e5427ad6310372de0b6fcc99","datavalue":{"value":{"entity-type":"item","numeric-id":5495322,"id":"Q5495322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$3C541E49-3790-4A67-B1CC-72D9FF8CEBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e32b78454a46f3f2e7eee28103eb448b041c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":2825455,"id":"Q2825455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$64F44D84-7989-4422-B987-4E86311FCD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b45a3f6d2b442d4ad65ba3d69b70199062889","datavalue":{"value":{"entity-type":"item","numeric-id":5994503,"id":"Q5994503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7012353$F561ED07-E534-4E60-8832-F78C7BD322B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three approaches to logical correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_approaches_to_logical_correctness"}}}}}