{"entities":{"Q1565178":{"pageid":1575918,"ns":120,"title":"Item:Q1565178","lastrevid":70725465,"modified":"2026-04-13T16:21:21Z","type":"item","id":"Q1565178","labels":{"en":{"language":"en","value":"Formal logic in finite terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3001280"}},"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":"Q1565178$19450166-581B-4F9B-A056-7B4ADBFAE5B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14878ae05e5f0d0a81b88edb5d545a633760dd51","datavalue":{"value":{"text":"Formal logic in finite terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1565178$E08868F6-BE90-4F8E-8833-32F3C6E95F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb0f0b9518d72bec3cd000699dd2e95f5fcd2788","datavalue":{"value":"0002.00301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565178$5673016D-58DC-4829-9EAE-7AFE2D84505B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0416b1886d6515f01529fbf65e6ba6a364bfef9d","datavalue":{"value":"10.2307/1968200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565178$3D851672-EADB-4A14-8DA4-93071110D6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f817eec72d1a6c5917dbac8769e6f2b75b0cb77","datavalue":{"value":{"entity-type":"item","numeric-id":766974,"id":"Q766974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565178$FBB97514-946F-4395-A23E-E20FC917D6E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565178$FEEEEB30-791A-4DC7-9639-9D44AD750305","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q1565178$92A4CDEE-470F-47AE-985C-E32710C4FE21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"812743105ee9031c55f0caf881f1badac10342f5","datavalue":{"value":"Den Hauptgegenstand der vorstehenden Abhandlung bilden die Grundlagen des Formalismus. Der Verf. ermittelt und diskutiert ein finites Modell, von dem die klassische formale Logik eine partielle Realisation bildet. Er bem\u00fcht sich (dahin fa\u00dft er seine Ausf\u00fchrungen zusammen), die gesamte ,,Sprache'' der mathematischen Logik als ein widerspruchsfreies deduktives System aufzubauen, ohne den Boden des Finiten zu verlassen. Er glaubt zeigen zu k\u00f6nnen, da\u00df von trivialen F\u00e4llen abgesehen die Behauptung gilt: In einer Mathematik, die auf dem Satz vom ausgeschlossenen Dritten beruht und streng deduktiv vorgeht, ist der reine Existentialsatz \\((Ez)F(x)\\) in dem Sinne leer, da\u00df nichts aus ihm gefolgert werden kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565178$F358BEAB-F187-49A5-A53D-85095D048909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565178$6AB67C22-3C6E-42D3-800C-9F5B22C31FDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f68c5cdf55f354933a5005cc51adf08bd7f07b0a","datavalue":{"value":"3001280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565178$72AC25E6-854B-4635-AF14-173A3499CB58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565178$5B8C3DC0-1D7C-4E35-875D-9681DA6F4B29","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ceb1bb1f975aa1ecfbc2e7fcc85b871a7fc222b8","datavalue":{"value":"Q107642575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565178$AC5991B9-6905-4A2C-BBE1-75E09ACDF180","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":"Q1565178$34B7EEEB-99FA-4CF2-9441-5C45A6A2EEF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72cea5f39d776664d409791c9d7d80b0258e9951","datavalue":{"value":"https://doi.org/10.2307/1968200","type":"string"},"datatype":"url"},"type":"statement","id":"Q1565178$C9E753E4-78FA-45DF-9B6A-612A2FB337AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22c627f56d686003f559d210b193a37221b4b856","datavalue":{"value":"W2315596154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565178$FB0DFFD6-6B00-418C-9641-ECEEE9416297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal logic in finite terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_logic_in_finite_terms"}}}}}