{"entities":{"Q1448552":{"pageid":1459292,"ns":120,"title":"Item:Q1448552","lastrevid":70422975,"modified":"2026-04-13T14:39:31Z","type":"item","id":"Q1448552","labels":{"en":{"language":"en","value":"The general solution of multiple implication."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2585230"}},"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":"Q1448552$AE28F963-9BC4-4D6C-A369-D9E4720ED780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"442aee146f6ae460a2f6333fd90e47b8d327b4b1","datavalue":{"value":{"text":"The general solution of multiple implication.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1448552$5E9AD5F5-AEA6-4CEE-B6E6-9E29994A61F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e797eb6d40de5d1c50dadb2644c4717cf0796b92","datavalue":{"value":"52.0050.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448552$BC9E077F-7EF2-4DA2-A320-2E272F407883","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8ef1da13dfb2d12ef007ab3782758dee617e0b5","datavalue":{"value":"10.2307/2014575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448552$AE3E914D-957E-47DA-AC4C-2FBAA74A4C15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f411d91487aeb0778c6249176b7191911dc4334","datavalue":{"value":{"entity-type":"item","numeric-id":562825,"id":"Q562825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1448552$D4B7664A-3B07-48C4-B347-2DF08172C82A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d2ee8ffa4ccd82982c37f2d201758a92a5e08ae0","datavalue":{"value":{"entity-type":"item","numeric-id":568027,"id":"Q568027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1448552$6442A07C-6BD9-411F-B6D7-D185F25B3F9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dd745ff93b31145e75d180e6d28b5d93f81438","datavalue":{"value":{"time":"+1926-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":"Q1448552$3E4B42D0-4F2E-4B7A-B077-CB6434646138","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d3e9fc8033a94f53fb0b4c2f91ec79cf0104b25","datavalue":{"value":"Seien \\(x\\), \\(y\\), \\(z\\),\\dots Variable oder (nicht taulotogische) Satzfunktionen. Das Zeichen (\\(x\\), \\(y\\), \\(z\\),\\dots) --- genannt das ``Existential'' von \\(x\\), \\(y\\), \\(z\\),\\dots --- habe die folgende Bedeutung: \\(x\\), \\(y\\), \\(z\\),\\dots k\u00f6nnen in ihren Leerstellen so ausgef\u00fcllt werden, da\u00df sie gleichzeitig wahr werden. Verf. zeigt durch vollst\u00e4ndige Induktion, wie ein solches Klammerzeichen aufgel\u00f6st werden kann in einen Ausdruck, der aus den Elementen \\(x\\), \\(y\\), \\(z\\),\\dots mit Disjunktionen, Konjunktionen, Negationen und Implikationen aufgebaut ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1448552$5FC88024-D565-4538-866C-52E27A8DD584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86887cb4e708bb519092ee8d970d984c1f1e4872","datavalue":{"value":"2585230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448552$C98DA490-5CBB-49E4-BD8E-DE9D117DF708","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":"Q1448552$A9D5DA32-36A3-4BA3-9C9E-F2612D74C816","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8a75fe4664bb23a6c7069a82d59a1be664ed18d","datavalue":{"value":"https://doi.org/10.2307/2014575","type":"string"},"datatype":"url"},"type":"statement","id":"Q1448552$AF282FB9-E438-4359-B11F-14C01E286BC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e959d3880014b6bee07d55667b0422c6a6d6a2de","datavalue":{"value":"W3026173382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448552$5F501EEE-CDDC-4638-9A37-051F83ACFA0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The general solution of multiple implication.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_general_solution_of_multiple_implication."}}}}}