{"entities":{"Q4793029":{"pageid":6822609,"ns":120,"title":"Item:Q4793029","lastrevid":74646756,"modified":"2026-04-14T23:44:40Z","type":"item","id":"Q4793029","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870417"}},"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":"Q4793029$E497B4A7-F84A-4178-B495-A3A76A2B754A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb6348a803e635f802d30568fbbcc0a0a16ec25b","datavalue":{"value":"1012.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793029$EB0845E0-8663-4F40-81B4-7A9C16F3FCDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e93a0cd05b273179f9b07d27a043ad61db98b3","datavalue":{"value":{"entity-type":"item","numeric-id":860831,"id":"Q860831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4793029$1C1BF542-FA9C-4357-AFD1-5FE19F301188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5f7475e9fc85603f7701f648c1ff8a621a68a9","datavalue":{"value":{"entity-type":"item","numeric-id":4793028,"id":"Q4793028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4793029$FF57DD7A-EF83-4099-A1AF-6C8AC68C2A6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cbfeed17e22be2fe3d5c6a8c998eb54116ca1a5","datavalue":{"value":{"time":"+2003-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4793029$430BB523-774E-407E-AB68-30DDD65656C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793029$A79FDD61-9944-4508-B5A8-DF11391C97DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793029$D7800944-21D1-4887-9A7A-49AD57FBD708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f936ede8cd698242d54d5c94c9e1b8a9a0b3316","datavalue":{"value":"1870417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793029$010D7EE4-ABD5-47E1-B8C3-4B80DB694A0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$69D7BEFE-A9A9-43A6-BCF5-7DC712462E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$72AE7C56-27AB-4BCA-962D-5C334A795A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$B519E96D-4FA1-4F81-89AA-77E91B22C5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$D06568AE-C202-438F-A42A-881C49770964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$1C455EF8-4DB0-4045-BCBE-9D4CBAE062DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2675966c978b4b799b81c2e5a5206ea14f558ccb","datavalue":{"value":"free logic of pragmatic force","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$827B233C-2650-441A-9AF4-822FAB347821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$9D485CB1-BC4F-415E-AF59-2A7E6B938D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f894472e64c91892d04b03d72bdc56faee4ba2","datavalue":{"value":"assertive judgements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$BF4F73B8-4446-4CA0-9096-BB4DE1C5EDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$7C0F5F11-195A-432B-B753-6F2E67B292F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4118bd1086a9b4d0ee63eb5182e87e567acfcb58","datavalue":{"value":"normative systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$38868F95-9948-41D1-8602-77DDC312CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f11bfdadbea4a08b9c836b25cf9bbc9b755db63","datavalue":{"value":"mixed contexts of assertions and obligations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$2A6DA3DA-25D0-46EA-991C-ABE6FA4C7087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655761eb736b373868b26d222d9a5c3beae7d2e7","datavalue":{"value":"causal implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$81DE6D27-412A-4FE9-8DC7-55F01B07749B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b9dfe46cd4780b803c21746b613e13b377d7e3","datavalue":{"value":"linear consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$CCCC4993-27A0-495C-B302-D1836C033419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5602ad77f66bd7d407d8157ed6110af6c35e2c57","datavalue":{"value":"pragmatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793029$BE3C8490-1D45-4812-B490-AF519EACF49A","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":"Q4793029$FF6527EB-5FC8-4B40-80EE-BA3D9C09C290","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f7b56b07b5578126334d401b6b190a98bfb769","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff213210b9eb98b53fd084ca91fe6c81164f23c","datavalue":{"value":{"amount":"+0.9497942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$111299BB-1BA5-4009-B94C-95BC0A8B99BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b74fe8044f345174f2268dbc9c7d5b76c8eb83","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cefb19a26e43d8944053d032648a4a63574ee8","datavalue":{"value":{"amount":"+0.927547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$15A3183A-C086-433A-9E14-6B5BFDA6B5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa62411d7660a60280111f1a342c0e4a209c665","datavalue":{"value":{"amount":"+0.91961443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$4F96B499-A0C5-4AE7-914F-A9E7ED3BE1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9f50ca9cf66817876c5766a3d8577dc9f388e4","datavalue":{"value":{"entity-type":"item","numeric-id":5381041,"id":"Q5381041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4550fb17570d4c7d5091693615085ee09af5f1d5","datavalue":{"value":{"amount":"+0.91638863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$235F16A7-E3B5-4BF6-B87B-E15E1A5AA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94779666401327919bef9bc9bd5f0d9ac0f79bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4424643,"id":"Q4424643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7060492d0dd7c147bed3379d3989106c7f5ffcf6","datavalue":{"value":{"amount":"+0.91403395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$1236823E-FD1B-4AF9-A8CD-03AEFFCBC24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bac44f3a90d88d3101f9f17e09b7c136ef3e04","datavalue":{"value":{"entity-type":"item","numeric-id":1322438,"id":"Q1322438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c89ff36e932b504049327c236c8e0bc33eb6aa","datavalue":{"value":{"amount":"+0.9115236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$A3F4D051-45CE-44CF-97FD-2F420FDF0FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d8d863addf67f18ba4690b0c90645d9398405","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e97b1c2ca7702e1ad8892db635bb2fb3d69101","datavalue":{"value":{"amount":"+0.9107312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$BDFC8575-6DB1-4579-93A6-DA471E7BDFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ddccce1c9a7ca8cf947d57f6f17723282bbead","datavalue":{"value":{"entity-type":"item","numeric-id":4612430,"id":"Q4612430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b9a5f193df54834e68e58a1a6e02bb7c290d79","datavalue":{"value":{"amount":"+0.9100967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$BEE0EF83-0F22-4246-B248-DBE351AAEF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b8d5a0640063b03dc477007c739fe41f3b37b9","datavalue":{"value":{"entity-type":"item","numeric-id":2284502,"id":"Q2284502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740ffa55b82c7e4d759365b7b950cb908aea65b8","datavalue":{"value":{"amount":"+0.9080123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$4B555DC3-ECF6-46B1-B300-C89A651B52ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114febc37b34b3056300d818f21b44e90c26a83","datavalue":{"value":{"entity-type":"item","numeric-id":1788333,"id":"Q1788333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477a76f59a071b638e954159766350052eed2340","datavalue":{"value":{"amount":"+0.9072387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793029$7A765DA7-D5CA-4D6C-A80F-D58315673252","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1870417","badges":[]}}}}}