{"entities":{"Q4636309":{"pageid":6665890,"ns":120,"title":"Item:Q4636309","lastrevid":53071673,"modified":"2026-01-24T04:11:48Z","type":"item","id":"Q4636309","labels":{"en":{"language":"en","value":"Axiomatic and tableau-based reasoning for \\(Kt (H, R)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863876"}},"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":"Q4636309$4FC35383-D3ED-472E-BB30-8334B77078E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3aed171a92d4577a6d2b89eac3d7ba214df297a","datavalue":{"value":"1385.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636309$2081B8E0-C587-4CCC-8C27-F4E9A18E2873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636309$6DB4DDC6-A5FA-4FDE-A223-DEBAA796F395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b903ecdf3c2b7d448fc3eb4629903e943b1e5e5d","datavalue":{"value":{"entity-type":"item","numeric-id":299183,"id":"Q299183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636309$5D2553CA-220B-4840-9095-A8A5570B48BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d426517d35f74127ac2700eb0061f4b10ecaa56c","datavalue":{"value":{"entity-type":"item","numeric-id":684394,"id":"Q684394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636309$4F4FE586-870D-41F4-90F1-1D471B082D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636309$97D7EF51-7542-437F-BF4E-643BD58C236B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636309$3B65B3C4-1C55-41BA-B280-9B6268247221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636309$D063783F-3C48-4809-AAAA-07BDA0A4729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636309$EC5692AD-68F7-4311-947C-E71E55CB9C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636309$D661554B-C9AC-4AF9-80F8-DBA12CD0545D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4942415bb4a8bf1ca13e7e9ae3c35f3570586b3a","datavalue":{"value":"6863876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636309$DEC29053-F395-42C4-9303-33570CDB357D","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":"Q4636309$216ED13D-96FD-40E9-936E-6782154B5F48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba23126bbb5b3cfee4449d04c54a87bcf0fc2f4","datavalue":{"value":{"entity-type":"item","numeric-id":3455761,"id":"Q3455761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6708d842c3763e0314d28e134e33e7287d36bdd0","datavalue":{"value":{"amount":"+0.7649433016777039","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":"Q4636309$12BD502A-8C16-4C9A-AF17-139BF0F74342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1038bb79d4fff54e6c31852941021dd4fd44ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":4247207,"id":"Q4247207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebc3a773cc27e0b187efa5a55a6fc959f258f71","datavalue":{"value":{"amount":"+0.7595429420471191","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":"Q4636309$C41BFFA0-9282-4708-856B-6C0C7DD044B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa56897cb01801d4ff9a432f946c6bc247a0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f58bdea3b882d8ea7aaa516b834de40832b139e","datavalue":{"value":{"amount":"+0.7418707013130188","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":"Q4636309$D7D01282-B50E-4A5A-BCF0-416589D1E4E8","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":"6e4d44892202984861608226985008dc8fe7dca0","datavalue":{"value":{"amount":"+0.740544319152832","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":"Q4636309$B609D8CC-5C33-469E-B2BB-A3A8E1EFD45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f199ecf525e72531db3d0336ca95aabb0b6cade4","datavalue":{"value":{"entity-type":"item","numeric-id":5410499,"id":"Q5410499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6a34f7277e5c666db266c2b7b001cef695761b","datavalue":{"value":{"amount":"+0.7385534644126892","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":"Q4636309$860E79DF-8352-4E07-9294-2875F6D6D71F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636309"}}}}}