{"entities":{"Q2055856":{"pageid":2066598,"ns":120,"title":"Item:Q2055856","lastrevid":78550034,"modified":"2026-05-06T11:51:42Z","type":"item","id":"Q2055856","labels":{"en":{"language":"en","value":"Efficient SAT-based proof search in intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437081"}},"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":"Q2055856$924CCF33-0A62-436F-B561-25F3D63032FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45ab9438f48b1581dbed09e3c88594c90dab862d","datavalue":{"value":{"text":"Efficient SAT-based proof search in intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055856$CCC1E51D-1FED-40D3-A07F-958ED36F379E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5d4006fe924286207467c87693024466bde0088","datavalue":{"value":"10.1007/978-3-030-79876-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055856$936212E0-6345-4733-9705-0A7BE59FEC15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$82D20CC6-6F39-47C4-987A-766C9BE6119D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055856$D04BA14D-2076-4F99-9A5A-A7A273CECF28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055856$3015969C-E59E-408F-ADB8-599E69BB7D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055856$26B7BD07-4213-4E44-B08F-0D49385944DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9e4a1a7f03ab0be7f46d51875e7aa9d757808da","datavalue":{"value":"7437081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055856$F5D9EC55-245C-4DCA-B5C3-9008C9E6A8EF","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":"Q2055856$F14E87FC-1852-43EF-848A-F8C27B874B86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b165c0071c5b400db75d2688b6b5dfe3accd5174","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055856$09D1913A-22F0-4774-A9BA-D6266EAE59FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cca94408cb46cba16fe929079361c5f6e9e1e6e0","datavalue":{"value":"W3178727120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055856$10D89153-9AE7-4872-9393-04EBA402BB2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$2547C3C3-1143-4A82-AA7B-F55FD0804336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c09874f62ada20ad54ff655802b6cdd0604cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":3460091,"id":"Q3460091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$742273CC-E970-4B31-9EC5-119B2BEE4D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$90168E96-7711-4F03-9561-32EC385A9AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$903A96D0-F03A-4DEE-8C05-03287D7A7C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6415e299b5771a743ef6603f15f330af0061b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4933312,"id":"Q4933312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$7666609C-14AF-4AC6-8EA2-292575968463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620dd26102ee661ce24f776b2a3b6e36d331247b","datavalue":{"value":{"entity-type":"item","numeric-id":2946662,"id":"Q2946662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$F4E2A25B-2119-41E3-8A6F-0527DD9DE1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfea43aded2479ac21730ff47e6c42135cdad0e","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$275F57B0-9F2F-49EB-A9BA-414FEF4D2FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce2fb3fbe546760f360198255ebc38af8bea645","datavalue":{"value":{"entity-type":"item","numeric-id":5121273,"id":"Q5121273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$3C02E3D5-6489-44B4-98C1-799F0725652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caaa2f3c94c7e7d74275c670f6ae5dbd36e62bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$70589F6C-885A-4D14-BA9B-16CB91EED3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aef032a15c5f7a173921be57fd5b08ff58dfb63","datavalue":{"value":{"entity-type":"item","numeric-id":3192197,"id":"Q3192197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$FB6D3578-9204-4CEF-8B8B-0D7DCA80EFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$ECE74C78-FCC5-408F-835F-C8AFC9436235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25111528f272916c4bfd9f74d533409578b49c1f","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$F6BABC60-6D3F-4FA3-96B2-DBE1D3B12F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$DE544D12-E0E0-4E1B-BA81-753460A7E991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eca4c5397ac75c297bba98c0970ca3735dafbdf","datavalue":{"value":{"entity-type":"item","numeric-id":2104497,"id":"Q2104497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4b7ed700b0b46acd1ddbdb21707b5ed63f45b8","datavalue":{"value":{"amount":"+0.95354986","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":"Q2055856$802714DC-A0F1-4551-976B-59C0EF3AA1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e53759432799cbc7db97c1949401fc9d29504f","datavalue":{"value":{"entity-type":"item","numeric-id":4645245,"id":"Q4645245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486c3a9e485b63f1f516627c7b63be23eba6a5d4","datavalue":{"value":{"amount":"+0.9405489","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":"Q2055856$67268D69-51C9-4163-90DD-8CAFCBA4377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e9b9d0f7d471546cf959849cfb3699590e8c97","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf4b2974d140dfc12f74a987675543052ef68ca","datavalue":{"value":{"amount":"+0.9366675","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":"Q2055856$B3DD9715-0D13-47BE-A638-EF32F02E8C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3a89f78c9af5a0d6e62ee05f00daf3e63b4db7","datavalue":{"value":{"amount":"+0.92531866","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":"Q2055856$30BA6686-721E-4A14-B68D-BCEC96CF010F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62faae414725696cb5c719e82e12f59950ef418","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4480073d4b9271c35eb255960f55e681cdc81c60","datavalue":{"value":{"amount":"+0.9134945","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":"Q2055856$743312C7-9782-4E20-8CC2-B3EE08DB276E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5fe73cc710653d79f87cd3acb9d72bd5314e72","datavalue":{"value":{"entity-type":"item","numeric-id":3408146,"id":"Q3408146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4cae76eae79e77bb9c6bc6005d1e34e338e675","datavalue":{"value":{"amount":"+0.908201","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":"Q2055856$7108FDB3-D8B1-4E5C-8DC0-FC4AB667B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4446bd3caad02a67d8da80f0e22d63b300918fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4501574,"id":"Q4501574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc37bbcb1e2dac074e34e0f280bbe300e2db869","datavalue":{"value":{"amount":"+0.9063271","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":"Q2055856$1B043EB9-5004-4611-B551-488FD8ACCB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c365ae4452123ae097251f5b3c1589e5b0b2b3dd","datavalue":{"value":{"entity-type":"item","numeric-id":4375764,"id":"Q4375764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e8ea9749f5fd0977520428e4c445acd401b2f8","datavalue":{"value":{"amount":"+0.9055127","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":"Q2055856$F8F27FCF-1C46-4144-B6FF-2520CED1B1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113122bcbc997b3de1a9617be0d50f81ec02cfb9","datavalue":{"value":{"amount":"+0.901675","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":"Q2055856$8229D34B-D4E3-4C47-92DD-F3382D9C0FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5bd79c7b3265a71239b813e029ed06bb12c78a","datavalue":{"value":{"entity-type":"item","numeric-id":2096460,"id":"Q2096460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ec5c474700b4fdb26f68f30056d916faa2dee2","datavalue":{"value":{"amount":"+0.89372456","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":"Q2055856$9E267AB1-B24D-41ED-A3AD-7A9208486CD7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055856$81E75572-5585-4BFC-861C-BD4FF3A21763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient SAT-based proof search in intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_SAT-based_proof_search_in_intuitionistic_propositional_logic"}}}}}