{"entities":{"Q3993136":{"pageid":6022974,"ns":120,"title":"Item:Q3993136","lastrevid":46261096,"modified":"2025-12-24T10:32:56Z","type":"item","id":"Q3993136","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 43843"}},"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":"Q3993136$6D5DE47C-D8A9-491E-B605-1D223BA02E69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"043079a29d5f2f694e72b5c8e02c8d9c9e4f9a1b","datavalue":{"value":"0681.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$9DB971D4-A680-434A-B356-8F3F2D35FB16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc477ec23c93d8cab529159a18f5f67be4838a7","datavalue":{"value":{"entity-type":"item","numeric-id":1234285,"id":"Q1234285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3993136$16F39D52-D00B-4258-9432-D399CE0D4402","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3993136$3BB17548-7CB2-4F12-9FAD-3C196AA8A802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$1D24B730-E78D-4C3A-AF27-3C789B09D67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$02D16ADB-8B02-486D-891D-BF46C727B8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$2B802814-1E0A-44F3-B470-73865247F815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$48C8B71E-1CE6-4CF6-9B6F-3DA8BE682DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$D007B921-537E-41ED-8543-46905B1B4C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$46515287-D58D-4A33-A25A-129D92908F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da344042b95314ee0bafb9c8f659877a3d0700cf","datavalue":{"value":"43843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3993136$FAF6EDAF-6EE2-4C34-A043-7B140C6FC597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5841085373049d85b8008f3ff9e61a398d891c","datavalue":{"value":"philosophical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$746E45F2-FA29-4B98-BD32-66FFB3C169C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$AE1CDEF4-0C2F-41A0-8EC0-F15C8D7218AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$1444A0B9-5E6D-4797-81C5-FA9B05F35660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$600215B2-2F5B-40F2-943E-09092A717BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$3EEFF2E0-502C-4C12-8AFC-E0030E2EFEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$249CC60B-1958-4AD8-84FF-14FFC2B6FE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36d4535fa24c888b72134c0d168f5dd9b0551a14","datavalue":{"value":"Hilbert-type proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$57E60D53-520E-4EAC-8820-E49695B6A7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$8C6C8628-2A27-4D37-A3A0-50154901264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$8AE13A0F-4EF6-4212-B51E-AE68F6E5198F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$F25A0220-BC37-4395-9E47-8972CD26ED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c89018f0b1f442781484622662bb152ce503ee5","datavalue":{"value":"logic of science","type":"string"},"datatype":"string"},"type":"statement","id":"Q3993136$1DA006C7-73D5-4AE0-8F81-FED0BD1C3B3F","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":"Q3993136$206C96EA-865F-4E04-BAC4-5EEA45A7E1DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80769f608283c2e38d0d2d10b10797c1229799e2","datavalue":{"value":{"entity-type":"item","numeric-id":1622790,"id":"Q1622790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3788ddea33cb4305644cc4665807031d7915e321","datavalue":{"value":{"amount":"+0.820171594619751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3993136$8DB859A4-2A25-493B-9D50-11170EB4B577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a465ff2123013caeb030d04dcb6a63cd05f74d55","datavalue":{"value":{"entity-type":"item","numeric-id":2782584,"id":"Q2782584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71773aeada9db9e041322135f0b48ce493e8d5dc","datavalue":{"value":{"amount":"+0.7840778231620789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3993136$5E912453-28CE-40B6-9FB2-C8BC986FB6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c43fdf8a1f65c82f781fee64d5d83fa27bfd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3083096,"id":"Q3083096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3182c0ada46479c9f7388b6b9f899ed55c572939","datavalue":{"value":{"amount":"+0.7793703079223633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3993136$1B0C1765-8064-4423-A42F-7F7094091226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18432f5c6699872202ae2df9f1ee703260f34144","datavalue":{"value":{"entity-type":"item","numeric-id":3090928,"id":"Q3090928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e29e99a0b78fc28cc8dcabd8c91ae92c4c2a2ef","datavalue":{"value":{"amount":"+0.7759578824043274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3993136$666AC754-3C84-410F-917A-30F08A96154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1134fb130b261ed42a44a7b028fff916e1870bae","datavalue":{"value":{"entity-type":"item","numeric-id":3998991,"id":"Q3998991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4743f21a46f9af78a635d4b64a364186be6b12e","datavalue":{"value":{"amount":"+0.7755967378616333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3993136$7015AA07-172C-4887-AAE8-9FEBB3FEBB31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3993136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3993136"}}}}}