{"entities":{"Q577750":{"pageid":579517,"ns":120,"title":"Item:Q577750","lastrevid":42591363,"modified":"2025-07-04T10:48:44Z","type":"item","id":"Q577750","labels":{"en":{"language":"en","value":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2560522"}},"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":"Q577750$21AF8D83-3B42-4F95-8CC0-C684575106AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68f9e9962060d4856d3ecc11bfc84d51dea29c5c","datavalue":{"value":{"text":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q577750$00199301-C9EA-438E-9BA1-46CAA6292F0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13076995bf963af3e6fd818f3680f348f426564e","datavalue":{"value":"57.1319.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577750$B55EC262-5852-487D-841A-0557500292ED","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":"Q577750$E59E7EF3-AC45-4AF8-B5FF-9B6A40FD13E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88f4d6fb687b20d0f75f4503fb5d2029e02d269f","datavalue":{"value":"Zur Begr\u00fcndung eines Aussagenkalk\u00fcls stehen zwei Methoden zur Verf\u00fcgung: Entweder gibt man ein Axiomensystem mit den zugeh\u00f6rigen Schlu\u00dfregeln an, oder man konstruiert eine Werttabelle, eine sog. logische Matrix. Beide Methoden werden an dem gew\u00f6hnlichen Aussagenkalk\u00fcl und dem dreiwertigen Aussagenkalk\u00fcl von \\textit{\u0141ukasiewicz} erl\u00e4utert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q577750$7E9A2B4E-12DD-4477-ADD0-BCD1075E8D83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd803f1968f4257d0a069c2fb5c88fb854d22d3c","datavalue":{"value":"2560522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577750$C64AB9F4-E132-4191-A9B5-0917CC454466","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":"Q577750$C2E80DC2-753B-4730-B1A0-6DB4CA8DC8B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85829b121f1bd00e00d15a9f50bd81f731384991","datavalue":{"value":{"entity-type":"item","numeric-id":6482289,"id":"Q6482289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577750$ADA73BC5-06DE-40B2-8C9C-C3DEA5EE97CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:577750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:577750"}}}}}