{"entities":{"Q2595478":{"pageid":2606221,"ns":120,"title":"Item:Q2595478","lastrevid":44433804,"modified":"2025-11-22T21:53:47Z","type":"item","id":"Q2595478","labels":{"en":{"language":"en","value":"Ein Verfahren der mathematischen Logik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514654"}},"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":"Q2595478$4E010111-D3FC-4247-A387-6376DA0D98F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10eaae2bbb47a0194adcb27367f595c1b3d35862","datavalue":{"value":{"text":"Ein Verfahren der mathematischen Logik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595478$0119A9D7-CFE7-4768-B1D7-C167E9C6C17E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d44ce5abb48558564785e8cb46ff50ba34ed764a","datavalue":{"value":"64.0029.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595478$0FD39092-DCE6-4BB0-9B8C-212A1E991A1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b0068687d0d08db8c2156145c5ccb5072125815","datavalue":{"value":"10.2307/2267610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595478$B85CCE36-6ABD-4D9B-A124-B23A3C24DBA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fae073057ba6c72115e2d43f125d1a3708017db","datavalue":{"value":{"entity-type":"item","numeric-id":2595476,"id":"Q2595476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595478$5C1C9BDA-5CC5-4801-B728-2541C899C1AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2595478$5BB94D1B-1A47-4951-9D65-52F63553ECA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e027a61767a0004de459ff06e4fc209cbe4ff79e","datavalue":{"value":"Verf. gibt ein Verfahren an, das zu jedem Z\u00e4hlausdruck in der pr\u00e4nexen Normalform einen bez\u00fcglich der Erf\u00fcllbarkeit gleichwertigen Z\u00e4hlausdruck der Form  \\[ (x)\\;(y)\\;(Ez)\\,F(z, x, y)\\,\\&\\;(x_1)\\cdots(x_r)\\,\\mathfrak A(x_1, \\dots ,x_r) \\]  zu konstruieren gestattet. Dabei ist \\(F\\) die einzige Pr\u00e4dikatvariable, die zu den im urspr\u00fcnglichen Ausdruck vorkommenden Pr\u00e4dikatvariablen hinzukommt. Statt der dreistelligen Pr\u00e4dikatvariablen \\(F\\) kann man auch zwei zweistellige Pr\u00e4dikatvariable nehmen. Man erh\u00e4lt dann als Normalform  \\[ (x)\\;(y)\\;(Ez)\\,\\bigl(R_1(z, x)\\,\\&\\,R_2(z, y)\\bigr)\\,\\&\\,(x_1)\\cdots(x_r)\\,\\mathfrak A(x_1,\\dots,x_r). \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595478$A2AA7560-A169-4F6B-AFAC-2A96F0A2CB03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf4ab998a84c517c1d5cf307a0886862c2bdc70","datavalue":{"value":"2514654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595478$4D3FDF3A-C29D-43CC-B83B-D077A3251E6A","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":"Q2595478$829FA36E-C363-4BF2-90ED-6D5C49C3C4E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"971e6a816e086a017c73ba2fdde53da85e49d2b0","datavalue":{"value":"https://doi.org/10.2307/2267610","type":"string"},"datatype":"url"},"type":"statement","id":"Q2595478$4A8E0FC5-3B8F-4E74-91E0-8A16EC8B2BA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"164acd76ca6e13bfe78e9eaa4796adbe1e6eeb3f","datavalue":{"value":"W2132699442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595478$77C199F4-2BF1-468F-BD4B-40C95A8D8C17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595478$DD696FDD-DD05-48FE-A49F-26F6CA1E602E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595478"}}}}}