{"entities":{"Q2624142":{"pageid":2634885,"ns":120,"title":"Item:Q2624142","lastrevid":44513430,"modified":"2025-11-23T11:11:06Z","type":"item","id":"Q2624142","labels":{"en":{"language":"en","value":"Fondements de la m\u00e9tamath\u00e9matique rationnelle."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2545674"}},"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":"Q2624142$04C3D3E7-D55D-4E6B-91BB-1BB0533D6F61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91134ef601bf4934d3cdee3436bcfa277fe1f5d2","datavalue":{"value":{"text":"Fondements de la m\u00e9tamath\u00e9matique rationnelle.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2624142$1C9BB074-E630-45D3-A11D-FFC2C6ECD713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7945a025c5bb049ab9b9f6614863dd363081b69a","datavalue":{"value":"59.0861.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624142$A9493142-BCB5-4B1F-9BDE-31B704AC13A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcb12ed2f47a2e4d3ea6b3faa5e92714975aac91","datavalue":{"value":{"entity-type":"item","numeric-id":2595481,"id":"Q2595481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624142$34376CFF-D306-4006-B27F-E4DA17C08615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd5b818d4985d2b137a548c94c7dfd642d2310f","datavalue":{"value":{"entity-type":"item","numeric-id":2591772,"id":"Q2591772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624142$2AA03A2B-37E3-4A47-B7E0-06606E0A279D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a3fcdebcea12ce05f5175a4cee5b4b2f63502e","datavalue":{"value":{"entity-type":"item","numeric-id":1565789,"id":"Q1565789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624142$2576BACE-A9E9-4408-992E-B1782AF9688A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2624142$C1DCA239-2440-46ED-BB84-113A150B5416","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b3cb9778258236481e280f32903d2f2af630859","datavalue":{"value":"Die vorliegende Arbeit stellt die Grundlegung zur Formalisierung der Metamathematik (allgemeiner: der Semantik) dar. Aufgabe der Semantik ist die Untersuchung der in einem gegebenen Kalk\u00fcl vorkommenden Ausdr\u00fccke, diese ausschlie\u00dflich als formale Zeichenreihen aufgefa\u00dft. Die formale Semantik geht von wenigen Grundbegriffen aus, deren wichtigster der folgende ist: \\((EFGB) =\\) ``ersetzt man im Ausdruck \\(E\\) den Teilausdruck \\(F\\) durch \\(G\\), so entsteht \\(H\\)''. Die Verf. gelangen in der vorliegenden Arbeit bis zur formalen Charakterisierung der Klassen und Relationen der verschiedenen Typen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2624142$59856480-73E4-42DC-BED7-7B15AA9220A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b773d6983e55e15c709f63120a015ec114d04306","datavalue":{"value":"2545674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624142$7FC2AFFF-B5BC-4DD4-9B0C-E2C7AB18ACF4","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":"Q2624142$701F73FB-6743-45B6-AD55-D8E38ADF0DFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2624142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2624142"}}}}}