{"entities":{"Q4347145":{"pageid":6376744,"ns":120,"title":"Item:Q4347145","lastrevid":46485147,"modified":"2025-12-24T21:40:07Z","type":"item","id":"Q4347145","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1045389"}},"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":"Q4347145$62D3CE19-1B02-4F7D-A276-8121C6EBF1E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3975985004e6502b6300cbf8df5e81a7c57639e","datavalue":{"value":"0870.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347145$DFB1FC3C-34DB-445E-9385-6AA832B88456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e7ca43173d8ab7229716e83b9fad7b2b5c67c5","datavalue":{"value":{"entity-type":"item","numeric-id":1181712,"id":"Q1181712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4347145$91D75C3F-50C7-4334-BA83-C2D7EB5B6D16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac8443813f2a05dafec6041e70cd505aec3d667","datavalue":{"value":{"time":"+1997-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4347145$FA93F2C9-A5C5-4238-AE4A-7AEC4064CDC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347145$2BEFD74D-E893-4C85-B49A-82B62B23CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347145$B13DD1D1-33B6-45D2-AD56-14B9D9B3F4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347145$1E5B0662-58A4-4642-A03E-0613D3B3BDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347145$3158EFFB-AC55-46E4-9264-4A5201684836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b051aa2e9bdcb63b540cc7808c0707e288bd5a88","datavalue":{"value":"1045389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347145$45E6A48C-F3A1-4311-B297-67C4EFAB9E19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$C5A8164D-5F34-4C59-AB74-E11779D6374D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$298887CB-DE87-4A40-931D-4A937D0646D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$8939F905-1952-46B1-B928-1FE0700887F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f770d6b3ed4e1a8e95fb9e98720f8f9a31aaf6a","datavalue":{"value":"exact models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$A64C2296-0878-4898-B83C-67D2235369CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$E5E15BC4-9EBB-404A-8496-BFD9DFD2B410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dac380a1794def2dfec7c5606c82af29c7ba380","datavalue":{"value":"validity of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$46D2046C-0B99-4CE6-81FC-5CCA7A0CDBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f884c696123a518e81a5e70247d35e20312ecddf","datavalue":{"value":"finite fragments of propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$C7B65A9D-2E98-4DFE-8AB3-108F358D9676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1ff0e75a8fba99055d3c04d7f40584aa645600","datavalue":{"value":"finite Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347145$8B0678D6-D392-45FB-9FB6-AD69A625E2AA","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":"Q4347145$BC37CBEC-4514-41B9-B803-6F456684C798","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15f4fe52969708915a840416b91e058676297d","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9d62c953977482c16d53eed32e8f169d2fa857","datavalue":{"value":{"amount":"+0.8369526863098145","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":"Q4347145$6F25AAC2-1ED2-4A29-9117-FCF7D2B4D293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18416042f5962c108dcde462b01c7bbd85aecb9","datavalue":{"value":{"entity-type":"item","numeric-id":4856959,"id":"Q4856959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33e39f636d77a58d254d0728505dbe47d4c4091","datavalue":{"value":{"amount":"+0.7586677074432373","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":"Q4347145$658D53F8-D11D-40F8-B505-6FF9C47D4215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b1dfd4c2eb078bf9e5f08f63dab87a3eb46496","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed48d711c4ff2166810f7a3b9e2a9ee9f2be88ee","datavalue":{"value":{"amount":"+0.7469120025634766","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":"Q4347145$11E6B542-6A50-4DF3-A152-8901C36C5F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0fbf85f177281bb45ca6f11aa1c3838fae2657","datavalue":{"value":{"entity-type":"item","numeric-id":5452176,"id":"Q5452176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19898bb9a4d90d593c26623dcd3233eec4751f5","datavalue":{"value":{"amount":"+0.7465006709098816","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":"Q4347145$C84EE489-F4EE-4451-A6D0-FF6BB942BD3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4347145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4347145"}}}}}