{"entities":{"Q3419670":{"pageid":3430373,"ns":120,"title":"Item:Q3419670","lastrevid":46181794,"modified":"2025-12-23T23:02:35Z","type":"item","id":"Q3419670","labels":{"en":{"language":"en","value":"A topological characterization of consistency of logic theories in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5122907"}},"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":"Q3419670$FB869BD2-D19C-4400-ACBE-A2522B0BB867","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9d1a9db4a552c14734ad9a6d31ee86ccf13549a","datavalue":{"value":{"text":"A topological characterization of consistency of logic theories in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3419670$5B7E571F-DF62-4E44-A373-5287D1498DAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b24641a203ca69f033abe3fb5c6bdb4d6394bff0","datavalue":{"value":"1112.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419670$123A4238-BFBE-492F-A71D-06822445B903","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419670$615874D8-697C-41DD-870F-FAD0F250E644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd35c17d1603e70deb673c94fb6e92b7f684791","datavalue":{"value":{"entity-type":"item","numeric-id":980103,"id":"Q980103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419670$56582E14-0B3F-4A36-817D-A6FFFFA6AF83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419670$F308BC93-AD96-4DB6-9EB0-55A8DA3C2458","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82897b31a2c9b01a6f44d07a8a9b69f9f832f9","datavalue":{"value":{"time":"+2007-02-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":"Q3419670$4268849C-E558-4930-A9F5-3A2D9B034030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419670$6B1EAAD8-3448-4799-A56F-F73DF02A63C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419670$6CF24AE9-61FE-40EB-8D59-668BCBB0CF7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"176bb84b44cf91cdd44a1dc195d883652b66af91","datavalue":{"value":"5122907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419670$0BC3F992-8389-425A-B21B-56B9F20C7FA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e21aceb628d1bfed9d146ba2394d0c56cca9b6","datavalue":{"value":"truth degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419670$0D3A5267-798F-4115-B5D4-B4F19E598A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df23fcd5b87d349e8365201f1fe005476902b17","datavalue":{"value":"similarity degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419670$9BBD34F2-0F1C-45F5-BBD0-484F096DA0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c8604f93c34bf76052c741048fc1bf0ebb30adf","datavalue":{"value":"logic metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419670$BC25B4BE-460F-4899-96BD-6D69D8279BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419670$E7874D5B-8F7D-459D-AC53-325095EF50DB","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":"Q3419670$D275FFFF-BEF9-4D53-803C-D2994EA1B30F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2182f9167b4db0cd53938e0f3df685aeb9aafab1","datavalue":{"value":"https://doi.org/10.1002/malq.200610007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3419670$41EFF864-69F0-4D41-90A9-3C9B6BD1B276","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4c2b4c9d6b088d51f2ae745c4953dad18b5d11f","datavalue":{"value":"W2016079941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419670$85F90294-8357-4DBC-AEC6-1BFB5D064B70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e595c49db1bcdebca480528c251fb54ac4d767","datavalue":{"value":{"entity-type":"item","numeric-id":4160890,"id":"Q4160890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419670$7CAF82BE-A670-43B9-8DFB-BAA3323453A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de3bf866e51be783db2ea71279a54a9822b6a9c5","datavalue":{"value":"10.1002/MALQ.200610007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419670$12C09654-22D6-46EA-A725-09E1E29EC567","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c35a480d45289b3db925ff3b025c1fc7398594a","datavalue":{"value":{"entity-type":"item","numeric-id":2688115,"id":"Q2688115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7377f9b7ede0e8fbb5885e571ef790f800c68ffc","datavalue":{"value":{"amount":"+0.9201946","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":"Q3419670$8D3255E0-8C5D-4AB1-8B56-15CEFE5C4E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c81665b9e19b4bc3dbdd9af721c3e192328b856","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22edb811c99b5762b5fe4c3eacfdea060577bae","datavalue":{"value":{"amount":"+0.9177524","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":"Q3419670$2FDA39B6-036E-4ED4-9F5C-41EED4299A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbba4d39dbada07b94095046077dce32d0f5dc22","datavalue":{"value":{"entity-type":"item","numeric-id":5455767,"id":"Q5455767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8902f6909cc713b74a6ba803efcd69aadbff1089","datavalue":{"value":{"amount":"+0.91209954","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":"Q3419670$DA979BBD-C71F-4159-BF9E-D0AD2A81D3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387042112c710716248571f00eeb229f89f4c51c","datavalue":{"value":{"entity-type":"item","numeric-id":3501132,"id":"Q3501132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869faf5b34ec4f66822e2e46498cb554096781cf","datavalue":{"value":{"amount":"+0.9087506","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":"Q3419670$F01D289C-DAA3-4E37-8A57-5F51E59FC498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062472862c398ba648cbee06b8df5bd2bacb72d9","datavalue":{"value":{"entity-type":"item","numeric-id":4665116,"id":"Q4665116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ba44a8e86e83e34364e66c63d7870d537d80a3","datavalue":{"value":{"amount":"+0.9073346","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":"Q3419670$7C08EDD1-844F-438C-842A-E50681003DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6198f06c6f82fae4ba866a934a0cbf9c170ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3707364,"id":"Q3707364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609fecb3d498624da142655009fa4d8358347f66","datavalue":{"value":{"amount":"+0.90711546","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":"Q3419670$836087F5-924D-4B47-8BFA-B28BC2518698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734567748f122138a210c182840a33366fe5824d","datavalue":{"value":{"entity-type":"item","numeric-id":3503622,"id":"Q3503622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8b69a5b6a6417a210552616b22e1ee0c3b6ecb","datavalue":{"value":{"amount":"+0.90559596","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":"Q3419670$414A9390-C144-44D3-BC8C-8FCBE607C0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d848a53e2196e22086d99f71256b09ad56177185","datavalue":{"value":{"entity-type":"item","numeric-id":5399369,"id":"Q5399369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d872dd79513c4eee14af1f5068eb61a0c55d22","datavalue":{"value":{"amount":"+0.90259147","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":"Q3419670$A80F04AB-343A-461C-93B1-3D9C45173693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4afe1bd9d7c8b275c8a4db009f25af021a4573e6","datavalue":{"value":{"entity-type":"item","numeric-id":5163988,"id":"Q5163988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f579e917fff6dcbc6a1d6a681ef03ef4a8e1f7","datavalue":{"value":{"amount":"+0.9018482","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":"Q3419670$947A7552-1183-4BD1-BCD6-D0118857AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eff6b24cc33173be18fa1520c03347223dc319","datavalue":{"value":{"entity-type":"item","numeric-id":5310658,"id":"Q5310658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d99c844f60d6e3a4249d0b5c77481eb6730313b","datavalue":{"value":{"amount":"+0.9016358","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":"Q3419670$A88FFB6E-9DA9-421F-A642-7471175ECB35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3419670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3419670"}}}}}