{"entities":{"Q3744149":{"pageid":5774055,"ns":120,"title":"Item:Q3744149","lastrevid":50973392,"modified":"2026-01-16T01:00:43Z","type":"item","id":"Q3744149","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3979042"}},"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":"Q3744149$2F17B20F-21F0-47DC-A50E-7215BD24D848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658c809636f0b943cbde4f5d237d13b217e21f0e","datavalue":{"value":"0606.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3744149$B7E78C30-DFF8-45C6-AA43-89AE46630786","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3744149$9D0DB629-0E9D-4B7A-92F1-4E252D9A29BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3744149$AC288C8D-438B-4593-800C-6C753AE4F074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3744149$D683E159-B569-4A16-A1BB-7920E7971466","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36965b2269d5451540320d5ef092e263d3b2807a","datavalue":{"value":"3979042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3744149$94D03D94-C9F6-4F68-8647-E012D4F71D52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01bed71c5595b3c1762a1f0d93d7392b6db4f93","datavalue":{"value":"higher-level sequent formulation of S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744149$885BF436-945B-49E0-BFA6-DD07AE022489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7857f8be04bb4fc754a5099392911c42cbba6472","datavalue":{"value":"single-conclusion property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744149$67ACF81A-A0EB-4945-A61E-32D9E288B8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34bbaefda3b5de859d1dba12235298aa6a0f8afb","datavalue":{"value":"Heyting S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744149$DF8BF84A-3B86-46F9-8AD0-A05D2FB25B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7ea7424ffaac4fbfb4b7270d98fd9db6eab8ce","datavalue":{"value":"Heyting S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744149$AD6E79BC-8C20-4636-95E3-4F01F051026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22359b4c8030692701b97b8f18b4f40cb6cb7d0b","datavalue":{"value":"Kripke-style models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744149$BC5CCA5E-3D9A-477E-B6C8-5F691AAAA385","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":"Q3744149$0AB9CEDF-71FC-48BB-82B4-FDBDF684031D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cdd15042c11155ab029aab68da6e277a471dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3728880,"id":"Q3728880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$EC8AF3FE-2C65-4570-AF2D-75112CB362DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9c59e0563bb29f6db341d78e7e02c6f7e877c0","datavalue":{"value":{"entity-type":"item","numeric-id":3712315,"id":"Q3712315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$E6D8BD71-DD84-455F-A062-AED62746CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2300390ad198d7f42ef982166184164ff9cf64d0","datavalue":{"value":{"entity-type":"item","numeric-id":4460849,"id":"Q4460849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fc63c23a8de1aae9ee75d3c82afdca91f132c0","datavalue":{"value":{"amount":"+0.9468915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$72FE4925-0200-405C-A876-F08FDDA3B946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafa3e4904c36ca14b81be8619f081420fa1920b","datavalue":{"value":{"amount":"+0.9463479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$6BDFEEE5-017D-41E8-915A-883325147F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f392f8a8206f5f2a27c2678c5ba2e86d4a1f5dd","datavalue":{"value":{"amount":"+0.9346614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$35031926-3150-4882-8A38-A49E7ABACB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ba4347c385b7b857d7f517cc75226f766cabdf","datavalue":{"value":{"entity-type":"item","numeric-id":2142093,"id":"Q2142093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4331e64030f22f9162e2519b484f1cd41c7283","datavalue":{"value":{"amount":"+0.92590314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$05660052-A2AF-48A3-96D1-C7E0D4B2FC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b58d52858eea31e7a45cf2588513b9157987f61","datavalue":{"value":{"amount":"+0.9180107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$E14A9545-6734-4B11-854B-C13A0E725CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb2f13d6b30ed0683aae3f5b87342a8cd117c26","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcba10ac8de8ef040193aa010cb2cd9c473a4d93","datavalue":{"value":{"amount":"+0.9169881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$78560B45-563B-4127-B862-D5A2C904DC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7546856416edbb13ccff1a04cd539b8bccd2670f","datavalue":{"value":{"amount":"+0.91610134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$C922D689-5E01-4D4F-A923-BAEAAD13FDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e776ff48e52afdc855d34be81bb53f23a2b91326","datavalue":{"value":{"entity-type":"item","numeric-id":3605532,"id":"Q3605532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32139a415c4dbec56cf97bb0f8be89c8a3583504","datavalue":{"value":{"amount":"+0.914156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3744149$96CCF8F7-45B3-448D-BAF9-7759D0468A6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3744149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3744149"}}}}}