{"entities":{"Q2882946":{"pageid":2893671,"ns":120,"title":"Item:Q2882946","lastrevid":42439685,"modified":"2025-06-27T17:54:11Z","type":"item","id":"Q2882946","labels":{"en":{"language":"en","value":"On decomposability in logical calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033035"}},"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":"Q2882946$D5C50C77-4765-4270-880E-F56416EE84CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca7bc92d290dbe1b14774edbdc883ea7ab3992a0","datavalue":{"value":"1249.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882946$CC06AA9E-2309-482D-B719-322CB5D1083E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882946$47096423-B858-4327-B4D2-5C4B9379FB31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882946$66906D52-DD6E-4D03-91B5-5A700D0F58C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882946$37B80B0E-4C39-438B-A9F7-42DCCC062242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b91c3547c412db5439fa5c363a1a3428fadf67","datavalue":{"value":"6033035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882946$541815BC-1D39-4CCD-836A-0D0EE864874F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01de6e369f7d4b94a83149436bea76ea3d1652a","datavalue":{"value":"set of logical symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882946$597FD26A-F2EE-4A45-A62E-50C15F3604A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882946$D08CC8B5-B614-45A8-9BD2-2C081921E91C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48b4a52e97af4c5ecdc2ea929eb2720c6bbbe37","datavalue":{"value":{"entity-type":"item","numeric-id":630292,"id":"Q630292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882946$CB2DAD89-7DF9-41B8-A57C-5E3C9ABCBFF2","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":"Q2882946$91132E0E-01EA-462E-B99B-CEFDD9A50282","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d6f71b3e5e20a039f7b3ffaab2a04ceac5854e","datavalue":{"value":{"entity-type":"item","numeric-id":3679179,"id":"Q3679179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9523c634af80077a62bbf45f4e8b5f75bf55914e","datavalue":{"value":{"amount":"+0.9628445","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":"Q2882946$A31309D0-5C97-4C34-9137-CAA1D3A40734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f65ae3f46b9b5f56f2a19ba9a6f9f7c3de8362d","datavalue":{"value":{"entity-type":"item","numeric-id":630293,"id":"Q630293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28236e33127473322e96d51f819ba6001db3f316","datavalue":{"value":{"amount":"+0.9071191","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":"Q2882946$17169261-1CE8-4B5C-A93E-FB681F1A253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a20034d7fc2ca227095ddcebd559de8960c6c15","datavalue":{"value":{"entity-type":"item","numeric-id":1097683,"id":"Q1097683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8e34b844d02bbfe6979a67bb267970389f3ae8","datavalue":{"value":{"amount":"+0.89787656","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":"Q2882946$56247133-5B90-446A-B509-9208B799548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea63af69aa8a63bf08a445627c245d2fb0a38cc","datavalue":{"value":{"entity-type":"item","numeric-id":3003366,"id":"Q3003366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69688850e19129b189f5ab5c0556756ebb7618a6","datavalue":{"value":{"amount":"+0.8938753","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":"Q2882946$0BD7AAD2-6C0A-459C-A74D-B8A6EDBAE8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3cb0dae4f53448b00a4ce1a73980aaaef42bf1","datavalue":{"value":{"entity-type":"item","numeric-id":5002194,"id":"Q5002194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d3e7eaf1ac6fdb369a52c7a3f4e53f10d95887","datavalue":{"value":{"amount":"+0.89329386","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":"Q2882946$71C0983C-BB10-4C75-B91D-EADF55D1D693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9360ba89d17bc5f79bbc6f6b1e1f0c1b8bde","datavalue":{"value":{"entity-type":"item","numeric-id":2882989,"id":"Q2882989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db643b89d0821b6556b64a53a79d2f41e75b128","datavalue":{"value":{"amount":"+0.8924631","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":"Q2882946$7E38C2BC-FFE5-4F40-9299-EF9CD38AFE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc928af395f4a4dedba984703afbd957eaa0da5","datavalue":{"value":{"entity-type":"item","numeric-id":5477357,"id":"Q5477357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbebabe5a74cf03d0d6ea14a11898fcb449f922f","datavalue":{"value":{"amount":"+0.8917886","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":"Q2882946$639F3A0F-9317-45D0-BF4E-1B09D9788F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06cc0641a3ff32e9dc33afc1ea56b11f0891b59f","datavalue":{"value":{"entity-type":"item","numeric-id":2093255,"id":"Q2093255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a70e470dd7a786fbeda49378879e4d5a6e84f6","datavalue":{"value":{"amount":"+0.8915615","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":"Q2882946$7D62D247-67C0-4ABC-A387-D51FFACE5531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeae03ff32cacaac33051eac6c980f92c1718397","datavalue":{"value":{"entity-type":"item","numeric-id":5393783,"id":"Q5393783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30810aa14735fbe80b4a50c4e1dd32b4a218b562","datavalue":{"value":{"amount":"+0.8903974","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":"Q2882946$35A02B41-6864-4A6B-A72D-997552ADB1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b5ff7202bb7fb8eb35feac47011e4a09ce37661","datavalue":{"value":{"entity-type":"item","numeric-id":5661427,"id":"Q5661427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43cc19f735a38c253401f62026e11127e9d6c2d7","datavalue":{"value":{"amount":"+0.89033234","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":"Q2882946$E8B75807-38DF-4C77-83C1-B3E550EC7F24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d5ed4cfca10f060ff189496bbe4a8742e87b58b","datavalue":{"value":{"text":"On decomposability in logical calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882946$63C679AA-E57A-43D0-A532-A6696184CACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882946$6F64A87B-4599-4C47-A6B3-6627EEC52EE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882946"}}}}}