{"entities":{"Q281156":{"pageid":282923,"ns":120,"title":"Item:Q281156","lastrevid":60669339,"modified":"2026-04-10T18:24:26Z","type":"item","id":"Q281156","labels":{"en":{"language":"en","value":"Towards resolution-based reasoning for connected logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578789"}},"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":"Q281156$EE6CF6AC-4B29-420D-BBED-A7BE0B920DBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75e40796c9611122a89e8921e4b1da276b123c9c","datavalue":{"value":{"text":"Towards resolution-based reasoning for connected logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281156$DD5316A8-7663-431B-9742-8592B4981BBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d899c973fcd2d3d7eedb9128f1387a4cd117aaad","datavalue":{"value":"1335.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$AE763A97-70F0-49C6-BBB3-FE55CC79ED12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$E1F9FD41-47DC-4603-A8B7-6CBEBAC03E8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-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":"Q281156$576CFC67-CC3C-4AEE-B709-AA16EFF589BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$5F48A43D-5D57-4A14-9726-006BF4BA26A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$B572E739-2DFF-41A8-95C1-15E971274723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$B04F574E-3C42-4280-9B5C-A5B6CF5CA95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$5A04FE97-C823-459D-B7E9-717EFE9D31EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$9FC0D484-D095-449E-9C9B-0C328BD3789E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c83c120b65315fdf2069051bde9da2d147a64900","datavalue":{"value":"6578789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$11D18C17-02F4-4C61-ADBE-C02483DC48EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84b03022626eafdd42fd2594da8ea4a48a1e529","datavalue":{"value":"\\(\\mathcal{E}\\)-connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q281156$1D4AA5AF-7390-4D58-B623-78A77351D9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q281156$6B0FB3E9-2B16-4848-8B22-DAD15B42E147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q281156$EB62B2CA-BEFB-4689-986E-6BACE9F1EF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q281156$177E3EA0-0C89-417F-8384-7A58DC7A359B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b4e504c0cb24c12c348ad79abc9209a45dfc565","datavalue":{"value":"bridge principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q281156$57835301-6947-4822-91F7-EAB71EE7D984","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"467dff8ea38ec7d8baf3b471e2acd47d9f27cf50","datavalue":{"value":{"entity-type":"item","numeric-id":26926,"id":"Q26926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$9C67E0D7-B6FC-48E5-957C-E641061E249A","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":"Q281156$89478F19-D3D9-465D-9B37-0BD07F573225","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f46ce04952d972e365c9948a7251c6c3213a872","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.06.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q281156$45EC5D12-0BB0-42F0-A267-0E7A1E8748DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ba07dbbdf86a1ff7d0418761ce082f2451adecb","datavalue":{"value":"W2081809666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$B936316C-85F9-4FD2-8B80-ED3F165FB53D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"81d0e64a93e7b55075b3752b414de97712d576a4","datavalue":{"value":"Q113317869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$9B9EDD36-7AE4-49E6-ACE8-DCE88B835567","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd741ae148b4c4ff3053fe9acec36532ed2d8e0","datavalue":{"value":{"entity-type":"item","numeric-id":5294025,"id":"Q5294025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$5EAE34C5-6A50-4A81-9660-4C08C3D78123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318bd7783b76404f3939acfe25ff54fc87b9658","datavalue":{"value":{"entity-type":"item","numeric-id":4533343,"id":"Q4533343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$823AE1A2-0B0B-4138-A3DE-E9768566C1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c9158e4f5ce2c396d3ca5f25040551d77b65f4","datavalue":{"value":{"entity-type":"item","numeric-id":5897296,"id":"Q5897296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$96303846-889F-4368-94DC-319D647A60EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65052e69ffd5c3594dd70b3fcf84972030e57ce","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$E6F5B204-C143-409B-853B-61B939EFE85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$B76D7CB0-5B88-40E2-90DC-1E2A04379684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$F8365A55-749D-4DF3-9618-33DC54AE086D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901fd89d121d043876abb0aef984f6ba60e63cfd","datavalue":{"value":{"entity-type":"item","numeric-id":850445,"id":"Q850445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$63B76F20-B90D-485B-A59B-708AD8F1F4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$73C762D0-5EA9-4801-9676-D9A4A3980F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241c57d184a5acff1eb75ee61977d7ef06f936ea","datavalue":{"value":{"entity-type":"item","numeric-id":814594,"id":"Q814594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$E426CA20-E868-4A8F-85B5-DDF5FD342EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0c6b498d095da6bb05fbb7d1825528ffac5759","datavalue":{"value":{"entity-type":"item","numeric-id":1931353,"id":"Q1931353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$31B06A3A-FA2C-427D-AF5F-9A4B6DAFFFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899e87059a25c13dd8994962a6e11071ed4064da","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$D9182DDE-0E06-45CA-91E3-809BBC4BB4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f938c7149c1722590d979c90fe9b7d42511907d","datavalue":{"value":{"entity-type":"item","numeric-id":1383996,"id":"Q1383996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$F0767A8E-AA4C-4585-8558-DE053016581E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$5B6DDA47-9AEA-4818-AEFF-26805EF8308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10145b27abe44a573e8b47bc6f0305e8117c9832","datavalue":{"value":{"entity-type":"item","numeric-id":1357671,"id":"Q1357671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281156$F73343A9-5161-4FAD-9B0B-025FE6B3ED53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab20d175f5a3101575109555eb2086db4d4f2d83","datavalue":{"value":"10.1016/J.ENTCS.2014.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281156$60A2912F-AE1E-4C6F-BF79-518AAE47C149","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f1d6a1357a57739223abd2d1b8ef792e033863","datavalue":{"value":{"amount":"+0.7543984055519104","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":"Q281156$C31A4C91-8F7F-4ECE-8DA6-096C30BC303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b1ecb7d215c183883c2db05ff539ea250fe1407","datavalue":{"value":{"entity-type":"item","numeric-id":814594,"id":"Q814594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d12dd5590be79415da91f5224bce720f932472a","datavalue":{"value":{"amount":"+0.7433775663375854","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":"Q281156$14B1498A-7E5C-4012-9D4E-7FE359C3A459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0f22cc77d3d0145d7729a176acae8aff800b4e","datavalue":{"value":{"amount":"+0.7400384545326233","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":"Q281156$127EB226-FB0D-46F6-8497-C7AC336318C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa044f20f7321d221c8efd83b84589ff13a8e06b","datavalue":{"value":{"entity-type":"item","numeric-id":4263164,"id":"Q4263164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3218194ee4709e3926d5d07310738f94b3d3b9e","datavalue":{"value":{"amount":"+0.7334505915641785","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":"Q281156$BF10526B-8C22-4E06-9597-740588E63629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d50e1c0df666fa91adb1a99dc10e55d393c6d9","datavalue":{"value":{"entity-type":"item","numeric-id":4916086,"id":"Q4916086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e04b846f5d3fd8ad9d8b74f52d04cb65c135021","datavalue":{"value":{"amount":"+0.7271075248718262","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":"Q281156$D0E780A1-A879-4EE3-A11F-57F32B6FFD70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards resolution-based reasoning for connected logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_resolution-based_reasoning_for_connected_logics"}}}}}