{"entities":{"Q3451176":{"pageid":5215934,"ns":120,"title":"Item:Q3451176","lastrevid":52391285,"modified":"2026-01-22T13:09:13Z","type":"item","id":"Q3451176","labels":{"en":{"language":"en","value":"Contraction in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507015"}},"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":"Q3451176$719D7492-F59D-4000-89FD-D9ED40FFA9CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4494b48beced8f25d582ced1d1011f67c9730a6a","datavalue":{"value":{"text":"Contraction in Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3451176$6BF6F560-B027-4DB4-9E4A-3D05225C4C2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e16a22ccd7b75e6f683e60255a908982b65a80b0","datavalue":{"value":"1465.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3451176$34E9461B-3668-4B39-9F2B-A11597BD63DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8362b81fd29e47f75dba9a302e2061a6a50a77ee","datavalue":{"value":"10.1007/978-3-319-20807-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3451176$2B3A1A10-F8F8-4B63-ACB7-AD6B46854B9A","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":"Q3451176$034CFDD7-2A0F-4120-B0B7-702B1D8A0818","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":"Q3451176$BE59655C-71E8-40AA-BF43-F9C67159AF66","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":"Q3451176$E875BCD2-66D9-4F77-B6F7-CD040EEAE223","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3451176$5754BF84-642E-4138-A494-CC0111FBDE1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3451176$80B32409-1FCC-4202-8420-0DA89D882DE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3451176$C48F26D5-E1E1-4DCB-8609-486DF42FFFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3451176$A60C39D1-4A7A-4AEC-A753-9F0B564F465E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a64da4fc1e441f537d2ddb08ebc003eaaa7bdd6","datavalue":{"value":"6507015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3451176$C8CDC63D-EDEC-468A-BFC8-7BD2A5AA6AC8","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":"Q3451176$53145AC6-CD99-4D40-BA94-35307BA137F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b7debc109e3a473f729633235006622c590443e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20807-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3451176$E5334408-C351-47BC-95D2-FE52B78B55E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66995241fed3366cd43493e27e493ae4afe37564","datavalue":{"value":"W938174352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3451176$DB6731AA-F5A0-42C4-9834-6B8910F2267F","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":"Q3451176$523FF13B-1617-4137-A7E4-00A13D5FEDF6","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":"Q3451176$5A3E1411-00CD-4A04-8186-FD8609996601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feca02a2b5ba6c2b00e3f5ec0efcd155f44903a9","datavalue":{"value":{"entity-type":"item","numeric-id":3451176,"id":"Q3451176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3451176$1E2799CB-47D0-43EF-A5A5-BBF7BF151B01","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":"Q3451176$7420027F-1412-4B20-A544-82DEC05FB6F3","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":"Q3451176$377F84AD-399B-42FC-9D7F-3E24656410CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf83d9ffe43be1e2ee556b30047ca18fa3be49b","datavalue":{"value":{"entity-type":"item","numeric-id":3495345,"id":"Q3495345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3451176$2A418309-927F-498E-BE8E-702026B2D948","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":"Q3451176$FE2DA098-5CC6-4248-B3CB-A32F940835B0","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":"Q3451176$64F822A9-0F7A-42E3-83F5-E5F1BE92E69B","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":"Q3451176$A1D196BF-2A4F-4EF9-B7B8-13D1ED5E2848","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":"Q3451176$C9AD7C1B-5EB7-4644-A1A5-D67570160387","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":"Q3451176$8DDE1C85-2315-4D9D-9F6A-8AB8403E69C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"588bd0ac38a1bdfc5c25a7d7f333da479381e6d2","datavalue":{"value":{"entity-type":"item","numeric-id":4283076,"id":"Q4283076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3451176$7944E454-9F30-4B3A-96B7-AB0FA9B1BFEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1ad3ec1d37c549f5912310543255803e5651ef","datavalue":{"value":{"entity-type":"item","numeric-id":2374542,"id":"Q2374542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b0941efe0f84f81a687476eac6c2c7855a51a8","datavalue":{"value":{"amount":"+0.994579553604126","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":"Q3451176$82327981-34EF-4264-9184-FD5B0EF47F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e393e0303775552b4fe02905f3ad241f744dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3138015,"id":"Q3138015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84fde4c6b5a89ddce505c0e0d61da59a0dae43a","datavalue":{"value":{"amount":"+0.8582186698913574","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":"Q3451176$D80B9C34-9A16-430B-AE1D-599BC284388D","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":"f84fde4c6b5a89ddce505c0e0d61da59a0dae43a","datavalue":{"value":{"amount":"+0.8582186698913574","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":"Q3451176$2C71608E-24D7-4AAF-AA96-68FCC50449FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72e9a0cbdb6fc3401d285e0e7383546b8c03008","datavalue":{"value":{"entity-type":"item","numeric-id":4225112,"id":"Q4225112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f86826640096d14f04ebdcdb85131f43ddcaa7","datavalue":{"value":{"amount":"+0.8450093269348145","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":"Q3451176$891114F5-FF10-44D3-8C3F-8BAF7D51D3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4932fb71e383694459611c84a517d8efa0b68eed","datavalue":{"value":{"entity-type":"item","numeric-id":3640960,"id":"Q3640960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fdfd207126630d352a79a7b067b1c19a17bee7","datavalue":{"value":{"amount":"+0.8450092673301697","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":"Q3451176$A60DBFF8-9E39-4680-9743-32DDF83375C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3451176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3451176"}}}}}