{"entities":{"Q3192202":{"pageid":3202910,"ns":120,"title":"Item:Q3192202","lastrevid":58144386,"modified":"2026-04-03T23:58:13Z","type":"item","id":"Q3192202","labels":{"en":{"language":"en","value":"Clausal resolution for modal logics of confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348246"}},"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":"Q3192202$C8199925-0681-46BB-BF15-B83BECA5D653","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1947010c3576c9abd3e9dc1d15b1d32cf175ddce","datavalue":{"value":{"text":"Clausal Resolution for Modal Logics of Confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192202$7243C7B8-11A3-4000-83FA-B9DCE72D595B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbdbc09dd7ca6291889d29d785b5594a6c0fc121","datavalue":{"value":"1425.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192202$E38CAF4F-1C58-42CA-BB29-DB36A14985E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34ecdc4737c579921fc948dfb4f041bbf5d91827","datavalue":{"value":"10.1007/978-3-319-08587-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192202$CA09BA71-BBB6-4042-B2C3-734AE99AE55D","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":"Q3192202$7F509E5F-4AAA-4A88-8C8F-F4E4A35EB57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c98628b33c8dc5226ed1ac3a7bf7845cc81598dc","datavalue":{"value":{"entity-type":"item","numeric-id":276031,"id":"Q276031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192202$4B4362E9-9F73-4887-B568-864E331F8532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192202$AD4BD4CE-49EF-4FAA-9B03-D9DFDF24D6DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192202$501AEAAD-2A3E-44AA-90E9-674ED51598E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192202$5EB744A0-645F-4A26-ACE9-7BE33697CF76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1158d9af6a5e4dd23af9d0985e234c26c07dc654","datavalue":{"value":"https://arxiv.org/abs/1405.0293","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192202$7F68B304-46D6-41C8-920A-7B5E1F708984","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192202$1F1B8FAC-D2B0-4418-9C4D-763FA130311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192202$1E290887-7E34-4B23-B22E-EF39F80749FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192202$C414EC98-357A-4D10-92AE-14E210957441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"966606fb2c46671e723bccab9ca01e5285cc667a","datavalue":{"value":"6348246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192202$544A7385-8837-4C3D-B99D-88D5598F9353","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192202$E43C414A-40DD-4DF1-835B-0C3DDB104925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d5e82ca5d1fa5d16e203c6d55c0cd1ef524df","datavalue":{"value":"combined logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192202$67F65253-9AC2-4BCB-A76F-224DD954AA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192202$C68AEC87-0287-447B-8245-D6A7913573FE","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":"Q3192202$47535444-9134-4CA6-AA20-AC497863D610","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9445cf603a5adec1524c6ec88394d2c8b07d9b8","datavalue":{"value":"W2095984791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192202$E1B9ADBF-56E5-4CEA-9185-1B4E4ABBA2AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625175a9e6fa85f98769452b1e0dafbf68739440","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1dab3e40ce0389df178c123bb3a1e6ca530f25","datavalue":{"value":{"amount":"+0.9053356051445008","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":"Q3192202$374D975E-7FEE-4AAC-B27E-CA9E45DA80C8","rank":"normal"},{"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":"7cc587ea5208350cf2ffa15b347bf0c960333cf2","datavalue":{"value":{"amount":"+0.8172973394393921","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":"Q3192202$099E990E-D364-452C-AF53-5464D339FB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a816d843ad636333971f696c91c7c1a4e5429","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906b05d60d16442e8d856c26e75e1f95b6dea8b3","datavalue":{"value":{"amount":"+0.8126896619796753","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":"Q3192202$CDBADEFD-AE0F-4252-ADBB-E94893512C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26638a2dc1847797d44ccec79ea0876ae21cf485","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729f2d3e333027beaf5478370852440427dc69c1","datavalue":{"value":{"amount":"+0.8117941617965698","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":"Q3192202$17E30EB1-7C68-41A9-81D0-E6EB6EAF893D","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":"7e83d624fcc1a05ad703be9aa6489ab22dbd510b","datavalue":{"value":{"amount":"+0.8102633953094482","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":"Q3192202$2DD04FD5-9B72-4B55-94B8-31637F287883","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192202"}}}}}