{"entities":{"Q577752":{"pageid":579519,"ns":120,"title":"Item:Q577752","lastrevid":42591365,"modified":"2025-07-04T10:48:45Z","type":"item","id":"Q577752","labels":{"en":{"language":"en","value":"Eine elementare Bemerkung \u00fcber die Struktur logischer Formeln."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2560524"}},"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":"Q577752$7F9D5217-C17D-4437-8F2D-106A741B7E83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0515418c46b6f94fbe65fead2b20041d5a46dc24","datavalue":{"value":{"text":"Eine elementare Bemerkung \u00fcber die Struktur logischer Formeln.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q577752$691C189D-995D-41BF-BB1F-B0F44C0603A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b5b1828c781114653850bb1b8f68eed2d901ff7","datavalue":{"value":"57.1320.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577752$BBC3E26B-1008-4697-8F44-BBAD2B6E7A61","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":"Q577752$E411EE7F-165D-45BB-9306-BCB2AA1C6FDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"970ebd659b0aba513e0a8e0e4fad9acbfd658087","datavalue":{"value":"Bedient man sich im Aussagenkalk\u00fcl der klammerlosen Schreibweise von \\textit{\u0141ukasiewicz}, indem man Aussagen mit kleinen lateinischen Buchstaben \\(p\\), \\(q,\\ldots\\), \\(Cpq\\) gleichbedeutend mit ``\\(p\\) impliziert \\(q\\)'' und \\(Np\\) gleichbedeutend mit ``Non \\(p\\)'' schreibt, so wird jede Aussage eine geordnete Menge von \\(C\\), \\(N\\) und kleinen Buchstaben. Es gilt dann der folgende, vom Verf. bewiesene Satz:  Damit eine endliche geordnete Menge \\(\\mathfrak M\\) von \\(C\\), \\(N\\) und kleinen Buchstaben eine Aussage darstelle, ist notwendig und hinreichend, da\u00df folgende Bedingungen erf\u00fcllt sind: 1) \\(\\mathfrak M\\) enth\u00e4lt genau einen kleinen Buchstaben mehr als Symbole \\(C\\). 2) Jeder echte (d. h. nicht alle Elemente enthaltende) Anfangsabschnitt der geordneten Menge \\(\\mathfrak M\\) enth\u00e4lt mindestens so viele \\(C\\) wie kleine Buchstaben. 3) Das letzte Element von \\(\\mathfrak M\\) ist kein \\(N\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q577752$CF0483EC-A79F-4D1C-8633-B00C0C59483C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a4492f2d8f3ff1d36c0c742ca39d77eb69f6bf7","datavalue":{"value":"2560524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577752$C87B4ECE-388E-4C3E-89E4-399440830BB5","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":"Q577752$C63A8FD2-62CE-47A3-8A85-08BB95D2B0F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3acc26fb251432467ce56fd01f4e82676b0fe1","datavalue":{"value":{"entity-type":"item","numeric-id":6482880,"id":"Q6482880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577752$EADE6827-C848-4842-8DDB-33CDABBAD185","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:577752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:577752"}}}}}