{"entities":{"Q2374542":{"pageid":2385285,"ns":120,"title":"Item:Q2374542","lastrevid":43971684,"modified":"2025-11-18T15:47:29Z","type":"item","id":"Q2374542","labels":{"en":{"language":"en","value":"Contraction in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664083"}},"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":"Q2374542$FD49BD74-A9E5-4FBF-A607-E7B26158DBA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e63c13aa6e371b93d0a600b20c2a8537638a3292","datavalue":{"value":{"text":"Contraction in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2374542$C52DD3E3-D51E-4779-96FE-A80DB5D3DD4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbb61883b9b42828ff403b5bc27c47cfb982ad81","datavalue":{"value":"1401.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374542$4778C00E-77BB-4751-9E18-BB9DA18548F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f0e237b505686894005999f169f27ae2ee82c19","datavalue":{"value":{"entity-type":"item","numeric-id":2374541,"id":"Q2374541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$50A3DB8C-CB47-4C44-8CAE-96B1FDE95D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94d69e3e3ece1c5936c45d868dd887c26b48a04d","datavalue":{"value":{"entity-type":"item","numeric-id":535326,"id":"Q535326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$F4313881-3C86-4BE8-B964-20D455DCA707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c04afaef6a546b4a8238a79a8a3a0d3a9f25b8e","datavalue":{"value":{"entity-type":"item","numeric-id":201919,"id":"Q201919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$799F4C50-4DCE-4CF0-95EB-ECB4DDF5D684","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$A7E9A00E-D82D-40F8-8085-E1069D0AFF48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2374542$12F47EFB-FBA3-4728-BA5A-7B2935E1FC8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374542$2343F874-8EDB-4AED-9F4A-4A85C29A7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374542$511F8B3C-1C79-4905-A7D1-443908EEAACF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73adb984e98170fc0aab6a001bb5f2091b21bd24","datavalue":{"value":"6664083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374542$E7C1923E-2A8B-49E3-8CD1-7882C24A7F0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374542$5D452011-BAEB-4DA1-A5D4-497EE31C591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eebf585f70c55987c7044b81b00fbc3060013ed7","datavalue":{"value":"revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374542$F6507313-FCF5-4971-948C-90D2F200E400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374542$C78D40D2-21C8-4D7E-A784-3B61CA04B74A","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":"Q2374542$F28DC4D5-CEA3-457D-A4BB-5CE8DACBE898","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78308b52c6f50af4f5e2ea1b89607e77be62db95","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2016.06.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374542$A5E238A8-A6BF-4A0E-AAD5-5527800AB756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5663e31f92f92e00798eecab1940c46695c5129","datavalue":{"value":"W2471885182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374542$00AF528C-6DE5-4562-9BD4-5C0FBF0118C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$45E75F48-87C2-4FEC-9539-5A88672F675A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a577e0da01ec1adc44266e1d896fae0d9ab7207","datavalue":{"value":{"entity-type":"item","numeric-id":3107917,"id":"Q3107917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$210DFE66-85A2-42CD-AD6F-5BC1F833308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$E70D5621-DAAD-4188-876D-7A7B6A048B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17346a948e93ca0127d7c9f941e453c6f4645fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1399119,"id":"Q1399119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$B68FC0E9-27E0-4995-BF8D-F79C7EC666A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310ce82efbdd35c29fe75ff5aeb0932af73027f2","datavalue":{"value":{"entity-type":"item","numeric-id":535321,"id":"Q535321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$42F54332-A46B-4635-9B4C-78D30B82B100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7cd9573e04579ced6db98cef8870ef9c20170e","datavalue":{"value":{"entity-type":"item","numeric-id":1189876,"id":"Q1189876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$426264A6-E9F6-418F-874F-4FE98A150125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b8fe49b3cccec1632b53b1b50ed0fe903f8693","datavalue":{"value":{"entity-type":"item","numeric-id":1100194,"id":"Q1100194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$3FF3BCC2-CB29-45EC-B350-A48730D18629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daf94c7a1cd00b617f1f06186bffc38270a204","datavalue":{"value":{"entity-type":"item","numeric-id":3093655,"id":"Q3093655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$77491629-9FFC-4EF2-956C-5DCA288295C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275dd36129d2148548c6db2186f1f52bc2868868","datavalue":{"value":{"entity-type":"item","numeric-id":2512985,"id":"Q2512985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$2E07A507-4350-47EF-97DF-249C5E6C66A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08f5467db4b049f7b790d06a7a08e9bbc16c42d","datavalue":{"value":{"entity-type":"item","numeric-id":3624012,"id":"Q3624012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$9B60469B-BD32-4CB6-AB93-3892C1BBA597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3ac42270f26a5f1f54dc971820a35938b41b90","datavalue":{"value":{"entity-type":"item","numeric-id":1028892,"id":"Q1028892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$FDBE2999-6F7B-48E4-9D58-8FA5CC78955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23732ac283c991e9d1d60ac7c4046d29649b2de","datavalue":{"value":{"entity-type":"item","numeric-id":3240239,"id":"Q3240239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$2266C556-BE77-44F0-9B73-843F0C849B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be763789fd72e609999f480300f4bf96b8e3b577","datavalue":{"value":{"entity-type":"item","numeric-id":4611066,"id":"Q4611066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$A81664EA-96FB-4D23-A9AB-081EB0F7FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f19ae1f66da5bef8232d822b3c223d04c25016d","datavalue":{"value":{"entity-type":"item","numeric-id":2389653,"id":"Q2389653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374542$D7C09DFD-0021-4367-9528-729AB80289FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f41cb6b882a0416ef2e6fdb74debed5d5e321700","datavalue":{"value":"10.1016/J.IJAR.2016.06.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374542$7923F360-3C42-40BE-B4A1-A66E2B6B8260","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8247e0036be779cdf732b2573b66754ba24433a6","datavalue":{"value":{"entity-type":"item","numeric-id":3451176,"id":"Q3451176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q2374542$0AEB896B-3FDF-4922-8735-79C72A237272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58d94bb57000f6bc92c805bf1a96dd4d60c2bfc","datavalue":{"value":{"entity-type":"item","numeric-id":676308,"id":"Q676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df156ce7fe72f3ff510192ff54945cb7e71e383","datavalue":{"value":{"amount":"+0.8920479","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":"Q2374542$BFE7A4EF-F7A4-4E14-9BF4-566CEF55077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d2fc57e7e487f07b38b2898a11d6c5d0f9c685","datavalue":{"value":{"amount":"+0.88283783","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":"Q2374542$8B2033A5-E423-4FA0-B56F-F84603B71D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ea1eff4d562e6dfcbd8753cafd2329d35feb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4576185,"id":"Q4576185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6164f3f28dc4f9271ec523ee05ee025099e78bc6","datavalue":{"value":{"amount":"+0.88126636","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":"Q2374542$31DEB814-FFAC-423B-94F1-59DDCE15D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f219e6dcd75e74fdf7c346e1608091707226d4","datavalue":{"value":{"entity-type":"item","numeric-id":2915033,"id":"Q2915033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc8023f14812fa066647cba395f0261a93b54c8","datavalue":{"value":{"amount":"+0.87567633","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":"Q2374542$CA434455-5719-4EAA-B132-664DFB390903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cac800603a0f7b3647f4fa47388310e55ee12d6","datavalue":{"value":{"entity-type":"item","numeric-id":2938533,"id":"Q2938533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f950094869efd31235f9b54bde92e3875b10cf","datavalue":{"value":{"amount":"+0.8756159","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":"Q2374542$4526FB59-667B-4CD0-A8B7-F64B019DD527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2022340abd705476905dbccfd1ab95882ea7e7","datavalue":{"value":{"entity-type":"item","numeric-id":901056,"id":"Q901056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1964ef1d6ac8a660ae19d1f0e7ab2dd8de16fe3e","datavalue":{"value":{"amount":"+0.8652373","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":"Q2374542$574B0AA8-5DB8-40DA-9BF6-D845680F1C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b74ec90ac1fad2a2e7406fb387e3ddc1a2d8899","datavalue":{"value":{"entity-type":"item","numeric-id":2228353,"id":"Q2228353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9bc60a103f3bd265f139ee9e72fee59e66bc0b","datavalue":{"value":{"amount":"+0.86518234","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":"Q2374542$0114A007-9D45-40A7-B3C8-F1C8F7994099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cef0fced9f7bb0ddf23b435a22cf04d2154963","datavalue":{"value":{"entity-type":"item","numeric-id":3195588,"id":"Q3195588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008e99937306acc84024440d3ff7958a39e0b76b","datavalue":{"value":{"amount":"+0.86270964","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":"Q2374542$CED369D2-C35A-48D0-A9F1-0B75059E5066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9206ffccc557957bf7b3f6246019eb1e1730f875","datavalue":{"value":{"entity-type":"item","numeric-id":1595922,"id":"Q1595922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e329f203bdf1eb7daea97184177b1228e55b3b","datavalue":{"value":{"amount":"+0.86052364","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":"Q2374542$5F9A7CCB-1729-40A4-B7C3-507C330F4F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2374542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2374542"}}}}}