{"entities":{"Q2610752":{"pageid":2621495,"ns":120,"title":"Item:Q2610752","lastrevid":44476938,"modified":"2025-11-23T05:43:15Z","type":"item","id":"Q2610752","labels":{"en":{"language":"en","value":"Die Axiomatisierung der implikativkonjunktiven Deduktionstheorie."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2528666"}},"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":"Q2610752$DFB2148C-EA84-4177-8369-51DC49A71C28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ee1c0f6d618770374a206cf73ff2132a1ec2f92","datavalue":{"value":{"text":"Die Axiomatisierung der implikativkonjunktiven Deduktionstheorie.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2610752$AC918CA8-AFBC-4447-A3E8-2ED022CF25B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55e65683d7ddcb5e77e3f196b78ba3d3fe8efddb","datavalue":{"value":"62.1056.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610752$2C120C28-8B2B-46AE-B4F8-2C69D6FF19BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ea26df8b8a0a503ffcd35a6f10f5983c38f8abb","datavalue":{"value":{"entity-type":"item","numeric-id":758990,"id":"Q758990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610752$64426905-22B1-49F3-8388-A6226AE968F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-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":"Q2610752$921B7D7A-4C37-4675-88CE-9B6414E10E91","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e36de12b59b81239207585ccf40f75dc01692d79","datavalue":{"value":"Es wird bewiesen: Jede wahre Formel \\(\\mathfrak{A}\\) des Aussagenkalk\u00fcls, in welcher au\u00dfer Variablen nur das Implikations- und das Konjunktionszeichen auftreten, ist mittels der Einsetzungs- und Abtrennungsregel aus folgenden vier voneinander unabh\u00e4ngigen Formeln ableitbar (``\\textit{Cpq}'' bzw. ``\\textit{Kpq}'' bedeuten ``\\textit{wenn p, so q}'' bzw. \\textit{p und q}''): (1) \\textit{CCCpqCrsCtCCspCrp}, (2) \\textit{CKpqq}, (3) \\textit{CKpqp}, (4) \\textit{CpCqKpq}. Der Beweis erfolgt durch Induktion in bezug auf die Anzahl \\(n\\) der \\(K\\)-Zeichen, die in \\(\\mathfrak{A}\\) auftreten. F\u00fcr \\(n=0\\) ist, wie \\textit{Lukasiewicz} schon fr\u00fcher gezeigt hat, die Formel \\(\\mathfrak{A}\\) aus (1) allein ableitbar.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2610752$4F4B2712-9F9A-4F28-AAC6-5CADCD19FA42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ae44f6eb8f236d697939bf0f23a3da08f59466f","datavalue":{"value":"2528666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610752$A5832948-551F-46FE-9007-9D7E19A3D05F","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":"Q2610752$5240FDFE-56F6-4155-B8CE-7AD9C8D2FEAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2610752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2610752"}}}}}