{"entities":{"Q5955622":{"pageid":8132424,"ns":120,"title":"Item:Q5955622","lastrevid":47742922,"modified":"2026-01-02T14:14:26Z","type":"item","id":"Q5955622","labels":{"en":{"language":"en","value":"Free-variable tableaux for propositional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1705612"}},"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":"Q5955622$C2CA0049-5418-4885-A485-77D1DB910166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bde9db8bd3a004961bb7661088601703f24b1ce2","datavalue":{"value":{"text":"Free-variable tableaux for propositional modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955622$07758DE6-CF32-469D-B2C8-777ADD380627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b7e9e1037ce3b54cf3fa2079e68d1dabe271fdf","datavalue":{"value":"0991.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955622$074E6C79-98B7-42E2-AB68-3D94EE3F3911","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efac31ef70879cd2abcf7ee5edee75173554f3f2","datavalue":{"value":"10.1023/A:1013886427723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955622$591A00C3-6D93-4F71-9158-F47E5FE94172","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955622$15BE617A-A360-429C-9935-FC32C00C4403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955622$F5FD6B41-D36C-4029-AAED-57F00DC160E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955622$E9FBE30F-64D2-425D-861D-F7FA4E090A05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb4c4a2981339b0b169c6786696f6c6bd16e21b9","datavalue":{"value":{"time":"+2002-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955622$760D715C-3E66-4EC6-8495-AEE201C0BD03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955622$79AAFC6A-5FAA-4B10-98BD-F69B73583281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955622$3D3552FB-E97A-437D-9516-171FEDFC5F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e077cefd9e4fb028249b102f6e18e0bc9ab1b10","datavalue":{"value":"1705612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955622$72D65FF2-A21B-4DF8-BB29-A05B386B6A41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ccf8d0b5030f03a57d6983038bc19774d01f3b","datavalue":{"value":"automated decuction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955622$C7C63D6B-B2BA-4C9A-BC31-C357475C9FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db210819cb2af9cd514ba90f6252ba56b0375daf","datavalue":{"value":"free-variable tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955622$294F21BE-EC4B-4288-92BC-7A48A0F8B4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955622$E9E46F3B-4990-4ED8-93B6-D3ADF11E9F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955622$CE040D37-54A0-46EB-9954-AA0E7B7D3A10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955622$3E62EB88-5FE3-4A48-AE65-35EE22E5FAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955622$73B9AF4F-7590-494B-8CCA-A5A4E2B60438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955622$4899A931-F5CE-484E-B372-16CD5D7B7F08","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":"Q5955622$5E8A7E26-643B-49AC-AA11-B969B9032A3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feb71286d25731544e0680596086e743ecdcd4ae","datavalue":{"value":"https://doi.org/10.1023/a:1013886427723","type":"string"},"datatype":"url"},"type":"statement","id":"Q5955622$2C6F117B-59AC-428F-833A-A171ECBD80A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3e4aba09d764aff2eafb7c40e9cd95441511e12","datavalue":{"value":"W2127323984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955622$E1211464-43A0-49AC-AA00-4056D8F61955","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc45ec69f756a5ca581e834f445de59a712697a2","datavalue":{"value":{"amount":"+0.8563375473022461","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":"Q5955622$D7EAF80F-E627-461C-91AC-A96DB740962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebe345bfe05e1cfe70ad902028ec251d1f6a0d8","datavalue":{"value":{"amount":"+0.80929034948349","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":"Q5955622$805E3DA0-1F78-4C59-9286-E8DC02F185A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ec779637246597a22c28c9772cdd1746bd2370","datavalue":{"value":{"entity-type":"item","numeric-id":5955623,"id":"Q5955623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a170a06bf36d5a7fab9f40f4918cfbfe910de8","datavalue":{"value":{"amount":"+0.806346595287323","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":"Q5955622$93E18B11-13EE-4189-A01A-15B1CB0F4C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b28e1f69540809e12bca8acfca7c684e501d84","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd225222a72b3dcedc09dc4c9c5dd176a856228e","datavalue":{"value":{"amount":"+0.8063463568687439","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":"Q5955622$8293CBAA-24BE-4181-A1CF-900E8A5F1490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfdb23cae20b0bf0a67648ecc5d665b9c76859d","datavalue":{"value":{"amount":"+0.8014221787452698","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":"Q5955622$979CEC41-17FB-461E-AB0A-4E6D478519CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5955622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5955622"}}}}}