{"entities":{"Q3916544":{"pageid":5946449,"ns":120,"title":"Item:Q3916544","lastrevid":54985147,"modified":"2026-02-02T13:26:15Z","type":"item","id":"Q3916544","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3728230"}},"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":"Q3916544$C57705AB-0370-408A-8B9E-AAF9AB72B71B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02e89b5bc3f8be452ebaf54ee12c7698d6fb0631","datavalue":{"value":"0465.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916544$728A3847-2CBF-43B4-B862-258BE02A926C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"577c92f88fe60cd1e98012f369f965b4bb1d1748","datavalue":{"value":{"entity-type":"item","numeric-id":195356,"id":"Q195356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916544$E0616102-7728-4E44-9A58-904BD78ADAC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3916544$6565247D-FFDD-4283-925B-54A6B79FEE0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916544$9530AE99-D7F3-492D-A9FE-AFEAD014E56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916544$875E1802-2127-4BE8-8EF6-C6D2B6EBE8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916544$13EEB900-59C0-44E2-8353-CC7FB3241E25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77f59064564178173a668c25bb6f431d1213aaaf","datavalue":{"value":"3728230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916544$33DC9608-C78E-48B3-80BD-2156404DE772","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a08f0c8091662f6e22177d7f6d7723da40f4c9","datavalue":{"value":"sentential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$5770ECDB-C63F-4186-825B-E41BBDEF8EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$2FFE0DF0-B060-4250-B39F-8F0F2727C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efef23ece45558ccd1164cece4805599ecc2c20d","datavalue":{"value":"two-valued pure implicational sentential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$078AAEE4-6D01-4102-A1E7-A8E5141490DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4f5021ac7a1e78a58a8f204240b00282fea70c","datavalue":{"value":"two-valued sentential calculus with implication and negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$546095D1-CE78-43F3-A0F8-E0B7EBED99BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8105b67a1311ae6bcd3b7bb36f4f95847415ea","datavalue":{"value":"non-classical sentential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$321B4245-A917-41FF-9CD7-67084710C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e07a104da20604451d24df24e5a2bb619f84a9","datavalue":{"value":"Hilbert calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$7D201FCD-11DC-4FA9-8ABF-785EEA84E743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$87F79D01-6BD7-410F-9BB8-66BFBCC059CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad427889d42461e578e173a6517be23c2256cc36","datavalue":{"value":"Post-complete system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916544$725338A5-6B74-4077-9F01-06DFD69AF5AF","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":"Q3916544$5EC162AA-D963-44F3-BC83-3AD5EE44A13E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3916544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3916544"}}}}}