{"entities":{"Q3238328":{"pageid":3249036,"ns":120,"title":"Item:Q3238328","lastrevid":80304770,"modified":"2026-05-06T15:53:31Z","type":"item","id":"Q3238328","labels":{"en":{"language":"en","value":"An alternative formalisation of Soboci\u0144ski's three\u2010valued implicational propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3123141"}},"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":"Q3238328$9E3B6FB5-1A3C-480D-9846-5CEEE67E311A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4d4b7e0baa921e37e4f829c18c9aaea28102fb0","datavalue":{"value":{"text":"An alternative formalisation of Soboci\u0144ski's three\u2010valued implicational propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3238328$16906A90-B127-401E-84CC-345A931FF4C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa36e61c1fcf38448ca0bff85685092623e61bb8","datavalue":{"value":"0074.01004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3238328$B3C7DB56-D908-456E-A380-0CB504AEA42D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3189b12ebf23fee110343ef607d820c0385da92a","datavalue":{"value":{"entity-type":"item","numeric-id":775345,"id":"Q775345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3238328$22DE2808-ED4B-4A43-A3AC-14CFD629406C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3238328$666CB1C6-B17B-4A89-B1FF-EBE33C218D48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-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":"Q3238328$70A5ED1C-8BC5-46E4-8906-D27573E4D19B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ee3696e8801f28c51b44085ebcb9f4fc60f9aee","datavalue":{"value":"3123141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3238328$4338297C-1603-47C5-90ED-4EE414B81AA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360877e53f58e759e04ddabf101191ea392bb7fe","datavalue":{"value":"Philosophy and Foundations of Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3238328$EB87E76B-3E9E-437F-98CB-4880C32285D6","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":"Q3238328$71E52A2F-D195-437B-B053-008CAF6F95A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ba341fc8e0219f3b68260a8bd5fcbbecdd26635","datavalue":{"value":"https://doi.org/10.1002/malq.19560021003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3238328$AEC61689-9402-4C6A-BA9F-07D5DD87EC3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee0f9c0d5370fbcc6111308aaebbd128bc38c56e","datavalue":{"value":"W2003794157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3238328$676BD2E5-AE60-401C-AEDB-5EF27B400939","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7fa55a3242846e82dbd0a1f6e00ab494ad4b040","datavalue":{"value":"10.1002/MALQ.19560021003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3238328$505E22B3-7B88-493C-A413-07362252541F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative formalisation of Soboci\u0144ski's three\u2010valued implicational propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternative_formalisation_of_Soboci%C5%84ski%27s_three%E2%80%90valued_implicational_propositional_calculus"}}}}}