{"entities":{"Q6581941":{"pageid":14193096,"ns":120,"title":"Item:Q6581941","lastrevid":95618843,"modified":"2026-06-05T09:25:23Z","type":"item","id":"Q6581941","labels":{"en":{"language":"en","value":"Modulo reasoning. I: Logic of undeducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7890829"}},"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":"Q6581941$803B618B-61E2-4DC9-8890-3E1A8BF89359","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6ab931b9223732ec49dee15b0cc5c8509ba8e7f","datavalue":{"value":{"text":"Modulo reasoning. I: Logic of undeducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6581941$8EF9FF06-AA50-4D24-B797-061C1548BB49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2ff46508efd2b5b517554d239d542e596fca595","datavalue":{"value":"1547.03187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581941$2AB13862-5518-4DD6-9D5A-BCF1A51837D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1de829891ab56f2d34660d145c25591123725dab","datavalue":{"value":"10.21146/2074-1472-2024-30-1-11-26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581941$0B177739-B91C-4BEB-9134-C8ACEA613A4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b53d46cb1beddd31a030bca89b360ddcbdaf52","datavalue":{"value":{"entity-type":"item","numeric-id":6581939,"id":"Q6581939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581941$38A82C7D-BAB9-429A-B8A1-AF96F6D2137B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581941$C5BA0E8B-FFC4-4740-864C-ECEB53728B95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93497291d8ba3cd4ceda2bd397bb8743ea86f872","datavalue":{"value":{"time":"+2024-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6581941$1F23D89A-82B1-442E-BD5B-A25B3104AEBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581941$92275431-3A14-4E9B-95D9-A71E93275EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581941$24BEEF75-4F38-4F14-A7BD-C84C849BD4B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b99976f18744b8d2c823e4008f967a97da1639ce","datavalue":{"value":"7890829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6581941$088A888B-1F0F-4F55-9CF7-0BEB2BC8CA0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631030e28b786c471424ababbc8f163614d7a8cf","datavalue":{"value":"modulo reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581941$C1CF4E27-FB0F-47C3-9BD3-AC49D2B2E2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b596b62cdb0969b54ee5acf559a4df071c4838a","datavalue":{"value":"undeducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581941$272CD84B-31EC-45C0-B93D-D88DE182A1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fedc17955703a103bc75de5061b219c7132297f","datavalue":{"value":"non-monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581941$70C151AD-0659-48CC-9B61-4B94002544E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2382d987c221034f356a6ae8bd223f406ffafb7","datavalue":{"value":"formal argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6581941$8A28C0D9-865E-4766-9E86-B136699430F9","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":"Q6581941$AAF776AF-D94B-437E-AC00-D6C038405BD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581941$FD17C178-A762-4CEF-85DA-435753740CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54df1f184e0bb7f9ce154a19612bf8503cfc06e9","datavalue":{"value":{"entity-type":"item","numeric-id":5869693,"id":"Q5869693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581941$785EDF74-5415-4219-9FFF-DCE5BA4CA16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5816d7e13fa123e9f32fb85c266ff6f5b3f37d6f","datavalue":{"value":{"entity-type":"item","numeric-id":1321060,"id":"Q1321060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581941$F3BD90B2-5D10-4BCD-B63D-67709396BE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7314c5c2b8b0c6a3f0fe87215d4a085ca937f64","datavalue":{"value":{"entity-type":"item","numeric-id":4795876,"id":"Q4795876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581941$504D0642-55E9-4AA2-A096-0FC989B85A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3691585c521b2d5323b134fa08f97964046049c7","datavalue":{"value":{"entity-type":"item","numeric-id":1685573,"id":"Q1685573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6581941$661F93BB-B597-46A8-AF0C-6C379BA5C1B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20c2798c7287952d2b4d410da59f8cf2764dff2","datavalue":{"value":{"entity-type":"item","numeric-id":885515,"id":"Q885515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7abdf52af025b0e0d5685dcdab9cf8a75831863","datavalue":{"value":{"amount":"+0.7652163505554199","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":"Q6581941$8FC68A57-10CE-4C5F-BB70-AD5ABDEA7F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693741804b6cae617701183f8a76734f1186a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":3123861,"id":"Q3123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d1dd0ac1ec27b65f6e32fd1718e46a778a1be6","datavalue":{"value":{"amount":"+0.7592186331748962","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":"Q6581941$D3C33D66-7316-46DF-AE3E-5817C1023E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d696af5ad1c6ab277544126807b7b46fa11180","datavalue":{"value":{"entity-type":"item","numeric-id":5037677,"id":"Q5037677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53ae53c17456a48d9a524da5a8224f0435804b3","datavalue":{"value":{"amount":"+0.7587129473686218","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":"Q6581941$EB76EB0E-50E6-4676-AEEE-DA00270062D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52128a4ff9df8ad00c67ec7b2a15fe86cfaa41a","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdc9fcd03dfa40983e6d3836891ef5c8a96a767","datavalue":{"value":{"amount":"+0.7518454790115356","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":"Q6581941$193C566C-03FD-4B5F-9D09-C2C7294F049A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875dde1ae7208046f3a1aae860223a1f60b4928d","datavalue":{"value":{"entity-type":"item","numeric-id":4202946,"id":"Q4202946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d17246ad00a1fa6ef34b3ec0358c945c8754e31","datavalue":{"value":{"amount":"+0.7510476112365723","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":"Q6581941$AC299883-EBF1-4162-9AA9-51CCD7CB8FF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modulo reasoning. I: Logic of undeducibility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modulo_reasoning._I:_Logic_of_undeducibility"}}}}}