{"entities":{"Q4263021":{"pageid":6292622,"ns":120,"title":"Item:Q4263021","lastrevid":46664400,"modified":"2025-12-25T08:58:40Z","type":"item","id":"Q4263021","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341482"}},"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":"Q4263021$94838467-4D5E-4935-87B8-10CE9AA8EBCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b5fab41665f177841b71b317e3ae91ef1969419","datavalue":{"value":"0931.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263021$EF38E0F9-7446-4BAF-9C94-F196B72B9F4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb56e1b60c1843f65f1a1eba366ac7fdfbe98d0","datavalue":{"value":{"entity-type":"item","numeric-id":1286393,"id":"Q1286393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263021$4640B675-9E72-432E-815A-57D06220580F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263021$D43535BC-EDC2-45F9-A580-FDDBA98B2620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263021$47696170-66D4-444C-8F4C-D54CCF3B066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263021$F60B2B62-C5C6-476B-BF18-6057FB6C4AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263021$6946EE98-94D2-47AC-B61D-21C2F34CC9F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2ef0998d2aed3ebfe9a049741c6ee993497b8d9","datavalue":{"value":"1341482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263021$FD5E1AE3-54A9-4E9D-809C-5A69F4B2DF4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ad873f19b9b7fceec8ae0b757baea47c091408","datavalue":{"value":"proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$87E5ACE1-5D14-4D2F-BCCE-056615D0327B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3793de754e538e7e9c27cac1c85597f01eff7de4","datavalue":{"value":"extensions of modal logics with labels for states in Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$E7E3AD43-13CD-4051-8745-5DE480DE5546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77ad57303ce24f56b4a50af18ef1856aedd116a","datavalue":{"value":"prefixed tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$9645AA85-F629-460B-888F-B4985D125F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae71b6d38e4d85dbb21e605914e437507459351","datavalue":{"value":"weak hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$A8FAE10B-D09C-4468-8DE3-5AF864D20C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a02fa28e08b9e4882c616fe60049efbbe08ed06","datavalue":{"value":"fragments of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$3E1D10A9-73A0-4E86-A60D-207A5FA49197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1341c7ad0bba1e8e26cd34e2ff5b3a5641799fc7","datavalue":{"value":"hybrid logics having full first-order expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$4462A92C-8416-4452-BBAE-2FB4C7D279E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$ECA1972A-440D-4411-BC33-883A81262341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b1fee2f63d40d65f30c7f11e56068161bf740b","datavalue":{"value":"weak quantifier-free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$1DAE96B9-D5CD-4940-BD2B-9D2F540259FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea823ecd9bfb7abfaeb1e5b926cb1e269c54d51","datavalue":{"value":"tableau-based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263021$A9015596-3D26-4FFA-8B96-63B8A2024701","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":"Q4263021$62D6339A-9883-4CC4-A7EC-552E762E7D80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576167e7b715cd69728567c58c913537565117b6","datavalue":{"value":{"entity-type":"item","numeric-id":4982329,"id":"Q4982329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7650c06c9f07f5e79ee4716d4df0517dfa0d6ca","datavalue":{"value":{"amount":"+0.8410723209381104","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":"Q4263021$8DE9C3C2-3F38-4153-97F6-7F4C91D88585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cbf21ca5940dcd4e12af4280665dab6786d71f","datavalue":{"value":{"entity-type":"item","numeric-id":3452675,"id":"Q3452675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2089163c7d57c805ba4d915dc3ef925bb1bcd7ae","datavalue":{"value":{"amount":"+0.826987087726593","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":"Q4263021$9322A97A-9112-4DCC-B6CF-55B17B9AAA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0701f0222d934c4ba2274344feeec9b8272d652","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d56303c7216e2e2d9eee44d675a6be863ee96f","datavalue":{"value":{"amount":"+0.8250349760055542","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":"Q4263021$06C58BA7-F8FA-4047-8E51-B7204FE7A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22b407052d5e8a7b574e326c79bdb80a52596fe","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab163af200b0cb2be7a4eafd77c07bd41af45f5f","datavalue":{"value":{"amount":"+0.820401132106781","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":"Q4263021$6DCB58B1-C007-4EF2-BB68-5DF2F0BDF6EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263021","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263021"}}}}}