{"entities":{"Q431663":{"pageid":433430,"ns":120,"title":"Item:Q431663","lastrevid":61784277,"modified":"2026-04-11T01:38:47Z","type":"item","id":"Q431663","labels":{"en":{"language":"en","value":"Bases of admissible rules for \\(K\\)-saturated logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051424"}},"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":"Q431663$9CE53B27-984D-420B-87BF-C57B2C0BED9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aeccdb36c6e924b53a5a670c5d600e373198559","datavalue":{"value":{"text":"Bases of admissible rules for \\(K\\)-saturated logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q431663$AD2F9268-7305-49C7-B782-595991C0A333","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fd9066b269f11bb42310c5c623654771186058a","datavalue":{"value":"1241.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431663$E443BB47-3D0D-4B58-8BDD-FC7D41E04A65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfb9c507dc0b90cb2bd047a78ff6a6bb0ab83de7","datavalue":{"value":{"entity-type":"item","numeric-id":431662,"id":"Q431662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431663$F290C445-0E5E-4E01-9817-608149FB7085","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431663$0181CE5C-4362-4C66-B116-41996CDFFA90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q431663$6F5025A9-5D21-4837-B247-AED0D3422C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431663$A52477E1-D858-43CC-8F85-82974DA98A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431663$96271EF0-FC1B-4A36-B7A0-6B0A73DE832E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29463763f770ade959b9400575584ae0fbe3be0e","datavalue":{"value":"6051424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431663$5029BF4C-EFC5-409B-AD1F-70207BFBD73D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q431663$DC85D0A1-757A-4EA0-9B82-618DE44CBE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f783eaadeb37957fb6e0d5f16d2cfdd8f28f02c4","datavalue":{"value":"basis for admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q431663$50E17988-F8F6-488D-9C3C-5F9FAC7412D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01bd2ab065008059b186f77e31d94076506e7c22","datavalue":{"value":"tabular modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q431663$35A2D400-1DF1-43B7-9EE8-9E1097B20D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a8bf90a2987867c69187b4414c62418b402bc31","datavalue":{"value":"tabular superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q431663$51C79D92-5B4D-4342-A62D-9C21ACF91F41","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":"Q431663$D82E54D5-6823-432C-9811-4D1B274795EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"230c604fe18597f5994b8302fa2326ad9541d13a","datavalue":{"value":"https://doi.org/10.1007/s10469-008-9033-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q431663$D9790568-B84E-4957-9179-6F5E379C83F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9606055fff60875f3b66ff428e7596131bc8bf0b","datavalue":{"value":"W2007420955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431663$CA285448-663E-4EC1-BB6E-D9F0FEE694E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431663$C2913D9E-D806-4AFC-A095-6187E466A99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6777b3ce4c5bd70129ca90378e73e6e2db282917","datavalue":{"value":{"entity-type":"item","numeric-id":4390775,"id":"Q4390775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431663$BCA4089D-F27C-436E-8E23-C6A631BF292E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4de847b7cc16deb9d46a0924ffc2a4120573315e","datavalue":{"value":"10.1007/S10469-008-9033-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431663$9329C0D3-22EA-4750-96BA-90901822DDB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5793785a90f6f9253c66ebdc9b5c26bddfa8fadd","datavalue":{"value":{"entity-type":"item","numeric-id":2709317,"id":"Q2709317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a727b19c62d0ef5f26f97e58b0fc21fcb186b913","datavalue":{"value":{"amount":"+0.8474991917610168","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":"Q431663$57B1295A-D9D7-4450-94E5-20034ABE6582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ccc9d0f1e149ebc954a014d3000c7f12a9547c","datavalue":{"value":{"entity-type":"item","numeric-id":4390775,"id":"Q4390775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3358e55ab113d32483b449fbb70489ae9bda8552","datavalue":{"value":{"amount":"+0.8474246263504028","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":"Q431663$65E5C0DC-0627-4DA0-A3A3-499906BADAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388abb6f2254d0ae8592b3923f491836cf863beb","datavalue":{"value":{"entity-type":"item","numeric-id":3508162,"id":"Q3508162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0836d5ebf2f5eede6d46b9cd1bb4562dc313b81d","datavalue":{"value":{"amount":"+0.8474243879318237","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":"Q431663$5578058A-3AF0-4061-B0B2-D82D93507DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980115639711bb7eb092310c36654db5fea07f5f","datavalue":{"value":{"entity-type":"item","numeric-id":431693,"id":"Q431693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd1e7c5ed5fbf576832c06113d5bca5c8ea5d7b","datavalue":{"value":{"amount":"+0.8448041677474976","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":"Q431663$EE05F5F1-FF3E-46B9-9C32-C564ABE133C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79e9fc4d4c24197a362f8a14a15f8e6b2f9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb68747eb5d3d43ba24592ba07c3cfe9f19c63f7","datavalue":{"value":{"amount":"+0.8379243016242981","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":"Q431663$36F117F0-6DF1-49D9-B694-00D833A53723","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bases of admissible rules for \\(K\\)-saturated logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bases_of_admissible_rules_for_%5C(K%5C)-saturated_logics"}}}}}