{"entities":{"Q1552937":{"pageid":1563677,"ns":120,"title":"Item:Q1552937","lastrevid":72158739,"modified":"2026-04-14T03:01:36Z","type":"item","id":"Q1552937","labels":{"en":{"language":"en","value":"The calculus of equivalent statements. (Second Paper)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2710664"}},"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":"Q1552937$3C515F99-C228-467B-A2B5-B17428142FAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc63551c9657ffbc5e768ef6e980e7cf7a368c86","datavalue":{"value":{"text":"The calculus of equivalent statements. (Second Paper).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1552937$8711A127-5728-45D9-93CE-9D3F2A6DC2EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be0788ac5357fda55cf62b3ef691ec9e487da75b","datavalue":{"value":"10.0035.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1552937$8EA03DFB-E2DA-4C61-8995-F79194C4D315","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9db365a9299638b85cdce12a2fb670e368cf37d4","datavalue":{"value":{"entity-type":"item","numeric-id":1484791,"id":"Q1484791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1552937$4FCF0D78-C8C7-40E3-9DC0-BE5FD25759AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1552937$A85AC71D-C6A1-4DF2-9141-E6927DF93E4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c54e9e14a7ac6aa126f9d02a2c8ee8429c07fc8","datavalue":{"value":{"time":"+1878-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":"Q1552937$D5790CB1-DCD4-4247-B46D-A02523F89DF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deaa8ee1863bff5119e19301c74d27bca7f7399d","datavalue":{"value":"https://zenodo.org/record/2401556","type":"string"},"datatype":"url"},"type":"statement","id":"Q1552937$290F6564-8191-49CA-8223-80EF5F30240B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5ee69b6af54bb370bc0a8be09a2176bbbcb0a84","datavalue":{"value":"Der Verfasser setzt in diesem Artikel seine Untersuchungen im Gebiete der mathematischen Logik fort. Um die logische Einschliessung zu bezeichnen, verwendet er hier das Divisionszeichen; \\(A\\):\\(B\\) heisst: \\(A\\) schliesst \\(B\\) ein, und ist gleichbedeutend mit \\(A=AB\\). Er l\u00f6st mit Hilfe der sich daraus ergebenden Formeln und S\u00e4tze einige logischen Fragen, die schon Boole ber\u00fchrt hatte. Durch eine Bemerkung seines Recensenten in der Mathematical Society veranlasst, f\u00fchrt er im Laufe der Untersuchung noch die neue Bezeichnung: \\(A\\div B\\) f\u00fcr \\(A\\) schliesst nicht \\(B\\) ein, welches geichbedeutend ist mit \\((A:B)^1\\). Es lassen sich so die Syllogismen auf's Einfachste wiedergeben und berechnen. Alle \\(X\\) sind \\(Y\\), wird mit \\(x:y\\), kein \\(X\\) ist \\(Y\\) mit \\(x:y^1\\). Einige \\(X\\) sind \\(Y\\), mit \\(x\\div y^1\\) und Einige \\(X\\) sind nicht \\(Y\\), mit \\(x\\div y\\) bezeichnet. Zum Schluss l\u00f6st der Verfasser noch die von Boole gestellte (und durch die Formel \\( f(1)f(0)=0 \\) erledigte) Eliminationsaufgabe durch die Formeln: \\( f(0)\\varphi'(0) :x, f(x)\\varphi'(1):x' \\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1552937$4C9B4F88-412E-49FE-8D43-E25E8DA0E6BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1552937$90DED0D3-4C7A-4F58-A4E4-616C88322722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1552937$53D4C65B-2359-44A1-B4B0-18F92ECBA05C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3fde5ad87cae361394529aca1453e01ac7d8d15","datavalue":{"value":"2710664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1552937$30200EDF-C1A6-47DA-9616-AC7BF203D49F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1552937$62CDCF4B-618D-4AB1-B88F-A936FA4D1BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e2e9a67648a3d7f6973d546f5d3959992db70a","datavalue":{"value":"logical operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1552937$9E7AC990-C3C3-4AE7-BA3C-ED33FFA86F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02c4362631c0126166851ee024de088472adc94","datavalue":{"value":"syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1552937$786EADC4-C5BB-4BFA-A035-132B62A0DC27","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":"Q1552937$0D835F55-B44B-4525-B33C-6222E3188D81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72100c10fa6c8008ef756d5ae4e4c807b26b62b7","datavalue":{"value":"W4205181137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1552937$936C60C2-41CF-4D01-AFBA-FDFE9E25FF27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1f877546c218060d7a96ed8e89d6f412a288cb0","datavalue":{"value":"10.1112/PLMS/S1-9.1.177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1552937$4D8A6402-692E-460B-A0E5-EE471F19A2B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The calculus of equivalent statements. (Second Paper).","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_calculus_of_equivalent_statements._(Second_Paper)."}}}}}