{"entities":{"Q373022":{"pageid":374789,"ns":120,"title":"Item:Q373022","lastrevid":51847448,"modified":"2026-01-20T08:25:31Z","type":"item","id":"Q373022","labels":{"en":{"language":"en","value":"Naive \\textit{modus ponens}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6217463"}},"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":"Q373022$C1BB9CA3-8CB4-4C94-BA8A-6C43DE28884E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ae51f1d559320d3728df6d9f640e40e1ff557cb","datavalue":{"value":{"text":"Naive \\textit{modus ponens}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373022$0103F6BC-7291-457E-B735-B0C36BD02AAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d20756eb61e9f1fc2b0803899d939b95840c78b1","datavalue":{"value":"1315.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373022$8AC0DF5F-E357-4012-82C3-7FCB818DDAFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a86b9ab41db9bffa3ce127479a6b1ee02c56b8","datavalue":{"value":{"entity-type":"item","numeric-id":286709,"id":"Q286709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$60E38F68-E6D4-4319-85A9-A7BD3B82C1C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$2E5F3B5F-0E6B-443F-8202-178EC12B1524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06bdca2898df413a78f8d2cdbb7311760f3e2760","datavalue":{"value":{"time":"+2013-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q373022$700FAE16-661D-4E20-BB9E-4AFF607F6F12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373022$0E09EBEC-9FA4-4474-B819-5D4378459394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c1479345e7a8589b1318c4ef6881b93d33aee08","datavalue":{"value":"6217463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373022$47CB357B-47A5-421F-8742-76915AD30D0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q373022$E39EA54D-A9F4-4FD6-B7E3-C768BD63E456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e2d7c0664f8d559d779f9560e787aaa14529ba","datavalue":{"value":"Curry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q373022$EBDB4A56-4B64-47A3-AA68-709B4896E388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q373022$296D5809-B40D-4027-8048-49FAF71EB23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q373022$25A5684C-8041-431A-93D5-CB4A268A3F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b8f6579814713da18f0bcfe9c6b4a69deeea39","datavalue":{"value":"\\textit{modus ponens}","type":"string"},"datatype":"string"},"type":"statement","id":"Q373022$E4823406-0298-476D-8246-40B01F52275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e10e5717efad1dd4496ac185cef64a5f0406d6","datavalue":{"value":"transparent truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q373022$0964CB84-D753-4E82-818B-D7923E723DA6","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":"Q373022$657112B6-52A2-4C8E-851C-B6EA2165780E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8d6cd4c45433c476d52d80d8883d60fa72b8e35","datavalue":{"value":"https://doi.org/10.1007/s10992-012-9239-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q373022$D503D542-41A9-4B2B-AD83-E061F72B80EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd6c7eb06256e4ad678b2bd6ce72eeb1029299a8","datavalue":{"value":"W2019724282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373022$A3C8E379-D6AA-4219-92C5-A167154C03FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cd4eac09aa0856eee48e37ceca05351ac58342","datavalue":{"value":{"entity-type":"item","numeric-id":4662877,"id":"Q4662877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$26B4186E-D00F-4F75-B9E6-C33D813DFD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$C6259C06-FE2D-4EB6-8C3F-7224E3498B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1df9ae2b2cbeb405634340a350a65a9fe5dd6ab","datavalue":{"value":{"entity-type":"item","numeric-id":5834323,"id":"Q5834323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$541DDAAF-694D-435C-A4DC-7DFC11E4E48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$56BCE151-5602-4A2F-BBA6-AEA9E1B171D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$7CD090B9-3111-4C69-B211-3FDD1101748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$D8981B5A-DF1F-4FA6-8A6E-6CF9110A9BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aaae45b6dcf9194e9cb5d0016f36b4933eab898","datavalue":{"value":{"entity-type":"item","numeric-id":1140623,"id":"Q1140623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$2F3A2326-22A7-42BD-A2A7-B2CB5FB0A5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$22056D3B-C8D8-4A1B-A87A-376BD09D94AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e7de1b1e873dc27e11a4c7bdd05d3f3ddf8eb","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$718376EC-E641-47EA-A825-A40879A4B287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e3289b6ed3c76b5c9d90211c38e52815c4c99d","datavalue":{"value":{"entity-type":"item","numeric-id":1005965,"id":"Q1005965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$C57959C9-1B02-4806-B916-9172C8F750D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf4ce1fd620477a1ea088b49f7eb44bb0a34e70","datavalue":{"value":{"entity-type":"item","numeric-id":3224045,"id":"Q3224045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373022$D7D5978C-C552-4B02-9BDF-2E6A1C5F431A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc039a3bb7efea88ad430b9963a4a9e65d98374d","datavalue":{"value":"10.1007/S10992-012-9239-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373022$5495EC7C-E472-410C-898E-A1BB69C9A39B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487512c671c80111e8a6ff8f526171cccc69145e","datavalue":{"value":{"entity-type":"item","numeric-id":742482,"id":"Q742482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dcf9d85cb78f46048b151f941680cbd96376ad","datavalue":{"value":{"amount":"+0.7772923707962036","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":"Q373022$0364608F-97CC-49C6-B9AB-C0E2183E1475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf65b075e4ce691c2f3a0e706cf5942f32542edb","datavalue":{"value":{"entity-type":"item","numeric-id":1708464,"id":"Q1708464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667172a0f3bc477349973d74fdc6693df05743c1","datavalue":{"value":{"amount":"+0.7222474217414856","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":"Q373022$3E9B3473-A113-418B-B1E4-78963C439EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45562d8c91674c783249dd6f2edb32a672563c98","datavalue":{"value":{"entity-type":"item","numeric-id":5354802,"id":"Q5354802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4f344f9d735a31025cd02e264a9dcd438f0979","datavalue":{"value":{"amount":"+0.7183584570884705","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":"Q373022$C5DED690-C383-4C59-A37F-FA74B104EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41dbe07823d39407f37aaf8e89def82b1fd5ec97","datavalue":{"value":{"entity-type":"item","numeric-id":263086,"id":"Q263086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9c2645a59039f96dc486683e2a3bad0f086eac","datavalue":{"value":{"amount":"+0.7104846835136414","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":"Q373022$4DDD6555-8A14-480D-B382-A6E23D0F5A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced274a14b79d806f6b07e7d25733a1264c17c19","datavalue":{"value":{"entity-type":"item","numeric-id":1611254,"id":"Q1611254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4306cce6ecc2f295f80d2341e5893caeb9aa54d1","datavalue":{"value":{"amount":"+0.7016626596450806","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":"Q373022$DDBB559B-0E37-422E-9F59-B708236DD99F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:373022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:373022"}}}}}