{"entities":{"Q2104497":{"pageid":2115240,"ns":120,"title":"Item:Q2104497","lastrevid":56991804,"modified":"2026-03-25T13:40:28Z","type":"item","id":"Q2104497","labels":{"en":{"language":"en","value":"SAT-based proof search in intermediate propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628181"}},"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":"Q2104497$42AFFB3E-BD34-4EDE-8101-33AB83577088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ed5f4b8cb08db0ec3c9469ac2c75eb3cb19842d","datavalue":{"value":{"text":"SAT-based proof search in intermediate propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104497$7E6F8ED7-86E0-43B6-8EAB-0BD2A532BA36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26301088926b68cad4684050edc30bb830a0e841","datavalue":{"value":"10.1007/978-3-031-10769-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104497$27129ABD-4AE3-4388-B85C-39411CF7F288","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":"Q2104497$0E623A23-1EB3-4A7F-A25D-F2073A9E0D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$387DDAB8-82C5-4C19-9F86-3B67DE45125E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-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":"Q2104497$46B61127-80FB-46D4-A2EC-EEFF252C4618","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104497$9C1D3FF4-D1AF-4871-8711-5F7A86C45304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbde18f64e15e24f8a2a8c04d07ad10388df7682","datavalue":{"value":"7628181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104497$53A3A91E-1325-4F46-BC55-D2202CD6C2FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db9a3e11bfc8def7d98aa39e62594c2c96cc2801","datavalue":{"value":{"entity-type":"item","numeric-id":23329,"id":"Q23329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$61D00986-EFEC-4DEA-A4DB-362F9164CBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4d28cd077d126c7cc814d48c3c615bc72a0bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":35988,"id":"Q35988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$EEF3AD30-F7E7-480C-B728-7B861A9ACED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d52ab783cc52fd6970d36c9c08ad0c3f790cfd17","datavalue":{"value":{"entity-type":"item","numeric-id":45352,"id":"Q45352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$B38302AD-7AF0-4277-BB7A-F7412BB67FA1","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":"Q2104497$D7BC5E27-3BDF-4313-82C2-5714234F5B5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"994badb3815ae454485756f9099344e344429481","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104497$1F098A88-A438-4A7D-8F98-F0647C71E2D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bf765624c2c082581aa1c622b3d32abfbb9728d","datavalue":{"value":"W4289103993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104497$621649D9-5C9F-4627-9728-DEC9C998A9B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85d1d258de919aa3c486be4c581c8b8ab956cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4610314,"id":"Q4610314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$7CAB868F-53D3-4E17-9159-0FB2ECC057F8","rank":"normal"},{"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":"Q2104497$761AB06A-68EC-4831-941F-16F48F84B290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708636260013c130c709f541fe029a2a24c45452","datavalue":{"value":{"entity-type":"item","numeric-id":5159492,"id":"Q5159492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$98F0464A-9CA0-4743-850B-673544BFB5A2","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":"Q2104497$9141EDAC-42E7-417C-ADF5-46B200F26FCE","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":"Q2104497$F2818E08-199C-4B8E-B9E2-4DAC723EF03B","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":"Q2104497$41449D07-740B-45EC-A060-BBA97A89D775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6151072dc1dc09c5656b7eb568753ce95983b363","datavalue":{"value":{"entity-type":"item","numeric-id":2055856,"id":"Q2055856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$00E72F4F-5796-46E2-B4A6-0A170ACB4717","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":"Q2104497$EDE53236-908F-443C-A6E0-98CB2E2AF1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055a2dcf3d0e0b91d39aaf263b09b780c962f66c","datavalue":{"value":{"entity-type":"item","numeric-id":2352485,"id":"Q2352485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$561360DC-FF5A-41E8-B4EC-13A54B6E1A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa034d5f0cdac0fcb43890753eae375e96fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":2142066,"id":"Q2142066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$5D1B7651-06AF-4ABA-91F6-EE6947897060","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":"Q2104497$0C28C0F0-FC45-4893-B059-FDB04583C7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d067b17aaa2f308b7f7dab68483121d0f85086a2","datavalue":{"value":{"entity-type":"item","numeric-id":2848063,"id":"Q2848063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$3E924380-E3DA-49C6-AB51-B23469FA3CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$B9220AA7-477C-4DB4-B4ED-5613DDC2F4C1","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":"Q2104497$142B4921-D58A-45D6-840A-44BCD217243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6858b0b56c13460d0127feb6a167897ec5eb0b6","datavalue":{"value":{"entity-type":"item","numeric-id":5892517,"id":"Q5892517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104497$98241BCF-E982-42A2-8109-31978E9A0C9E","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":"Q2104497$56C8D0EF-8972-44F9-A252-080BFFDDADE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fef3ff36d78e878e4794b4236a84a6e5c346572","datavalue":{"value":{"entity-type":"item","numeric-id":2055856,"id":"Q2055856"},"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":"Q2104497$126AEADB-B1CB-47EA-94BB-97930243A794","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":"a981d4d47920639dc6347497dad356fc512a5f12","datavalue":{"value":{"amount":"+0.9298604","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":"Q2104497$A0EF60EA-9D63-4C61-987E-B94E86C74DD8","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":"7f53c4b5c7767c6c08d94dbbe05d919bfb26560b","datavalue":{"value":{"amount":"+0.90884095","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":"Q2104497$B2055616-CEDA-44DA-87ED-404DB817C859","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":"79784571e0f84e88b3a61c5d562ef0adfbc32778","datavalue":{"value":{"amount":"+0.90682554","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":"Q2104497$1E8312CC-7618-4338-9BCD-0CA50B3F3695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141b0eaab3946a29f07f0fdad19303e9c5370966","datavalue":{"value":{"amount":"+0.89579487","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":"Q2104497$69DE9534-F1C2-46A9-991D-9B404FC6CAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c0143e76e5ce42fd14529ad18ba017483153dc","datavalue":{"value":{"entity-type":"item","numeric-id":2811588,"id":"Q2811588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f68aaba8a2b3c2195304405b92f437f21fef714","datavalue":{"value":{"amount":"+0.892808","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":"Q2104497$4B9625BB-B788-43C5-B420-47BE82804746","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":"e01f0990941a345e01cd0c8c6e5341b03faf1ec4","datavalue":{"value":{"amount":"+0.8915641","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":"Q2104497$32DB73CA-FF4B-4229-B337-F18920763916","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":"01fddadf0e9ce3a8838e0e3e03a000f46644cfac","datavalue":{"value":{"amount":"+0.8888651","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":"Q2104497$E5ABA5AC-77EA-4EDA-ABD6-EFDF08A1BB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39eb6a3ecdd9d4eb00723ec33df28adad4302284","datavalue":{"value":{"entity-type":"item","numeric-id":2767024,"id":"Q2767024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9edfce34279daa4914afeb514e18ef6f443fd9f","datavalue":{"value":{"amount":"+0.8882448","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":"Q2104497$72B6EE45-AEAB-4D20-848C-E6D28D30BC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c569c2d8be1d9fcff4b83fe5bb0ebfd3019d095a","datavalue":{"value":{"entity-type":"item","numeric-id":2305434,"id":"Q2305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae3f0575da1e67982e3cfae86e51aa20dbcad89","datavalue":{"value":{"amount":"+0.8878326","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":"Q2104497$2889F002-D81D-4C7E-B3EB-7F57076AABBA","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":"Q2104497$2B694CC1-F6C6-469E-9350-B77CD571134F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104497"}}}}}