{"entities":{"Q1189069":{"pageid":1199818,"ns":120,"title":"Item:Q1189069","lastrevid":66804579,"modified":"2026-04-12T12:59:46Z","type":"item","id":"Q1189069","labels":{"en":{"language":"en","value":"Semantic admissibility criteria for deduction rules in S4 and Int"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 54481"}},"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":"Q1189069$DCF16E77-6C8F-4B81-BA06-032F35272574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93a5547d6d3ccd96db9de8a735b8c1e868820233","datavalue":{"value":{"text":"Semantic admissibility criteria for deduction rules in S4 and Int","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189069$ADF1A7DD-49B1-4A88-A150-DC71B7818CFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8591d4999f152550a0d9d5ee3e7c342b80c8704","datavalue":{"value":"0745.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189069$ECF70C90-B727-4534-B52A-0766D2D67BE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae5e06492aec9f61079c6c2b8bc4ea8b2254d0a8","datavalue":{"value":"10.1007/BF01156607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189069$1FEFB672-2157-4DFA-A237-C06339573119","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189069$435B923F-37A2-4397-B19C-116AA3DF60FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-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":"Q1189069$268DD99B-76D8-4523-9AC2-CB0701B70CE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e9a79d7ad6c75f29ff8444551dcaf8d1e012177","datavalue":{"value":"See the review in Zbl 0729.03013.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189069$F7EB1A38-BAD5-4044-87AB-2D1598EC859A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189069$23737352-5A9C-483F-9797-6D56404303FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189069$B575B4C4-7154-4CDA-8325-430C63840361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"069e5adc4c01afa38b7352b1777c5021e46c4338","datavalue":{"value":"54481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189069$F419AE0F-6B46-4B1C-873A-089749169526","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189069$7902BDEA-091C-4C0C-8800-C26116397176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189069$AE2B1839-DAC1-4CA9-9DA0-CD287A91ED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189069$5E12EC33-1F43-4E9F-854A-1F359010D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189069$F197BB2E-D8C7-4F54-8722-0E98CF3432C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189069$4F32B013-AEBA-4834-BABF-DBE91025D9DA","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":"Q1189069$F8A05762-87A6-4D8D-9805-F2B42307E501","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189069$78BBFD38-3BA0-4D4A-B35E-0D14E15D12FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"588d72ee03edc13eaa7f67dfc86d86c5d0617a8b","datavalue":{"value":"https://doi.org/10.1007/bf01156607","type":"string"},"datatype":"url"},"type":"statement","id":"Q1189069$D3D87A8D-7F7D-4DAF-9AD3-0664FD5D179C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"add7fa6f80863f593edaf5fbec5379b3f481a2e4","datavalue":{"value":"W2034407637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189069$EE4C9720-1187-4447-BA55-3E3C7D9298A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f594a1f095d0dd5bab0109287228e6a716b42225","datavalue":{"value":{"entity-type":"item","numeric-id":3352998,"id":"Q3352998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f5ddfa2cb5ca90035d8543da831030cdadc2f2","datavalue":{"value":{"amount":"+0.90750575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$439DB74D-A18B-40ED-8C5C-7D221B0AC6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e32b818e429ad0b6b270769587e5a50c6a38bbd","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a105c6b13c100bfccc30f5a351a0b13524a2401b","datavalue":{"value":{"amount":"+0.84984237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$56D7DDF7-963F-40B7-B697-7B1EDDEFCD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ffb2f5b23c556a6514f2be6da5b5b71b049600","datavalue":{"value":{"entity-type":"item","numeric-id":1068809,"id":"Q1068809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f6ea1bbc66118ba17b6a337263745b004edad1","datavalue":{"value":{"amount":"+0.84574234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$1D8CCED5-847E-4344-83F2-2F74DECA399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c938a79167e2d96812f708bfb7b073d565d4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b186e80027637a7281055bd9fede34a533d8ed7","datavalue":{"value":{"amount":"+0.84554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$36965E57-4427-4A69-BEEC-CADB794F0D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff95a5fb5f4cd73854defa2df217fa98ba68b95c","datavalue":{"value":{"entity-type":"item","numeric-id":4795513,"id":"Q4795513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6200851b000ffcdf11e2d99a1b9f23a4b400d153","datavalue":{"value":{"amount":"+0.8278595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$27BFA006-AF56-44D1-A7F7-AD4EEDA33CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe202942da2f3e0a3b9235dbd2db5ed8da9a148","datavalue":{"value":{"entity-type":"item","numeric-id":4934059,"id":"Q4934059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacfc20021c5924ece3b40825945042eb2e39803","datavalue":{"value":{"amount":"+0.81549156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$C16C250D-4540-4561-9275-FC1D3A58E398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d36fb9b0db7c6901a5acd4f44a6f7f0a797d75","datavalue":{"value":{"entity-type":"item","numeric-id":4489066,"id":"Q4489066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fc627d293e243efe76087e19e93ea5fbd803ec","datavalue":{"value":{"amount":"+0.814778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$827AFAAF-1866-4567-B913-0952C3D69309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9938aea63beadaee8d43673745b5abff62807429","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3ce1dcbb8f46949f970791d43b2448695b7f83","datavalue":{"value":{"amount":"+0.81423783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$E18C9AC1-6286-4E39-9945-83CC190F7D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d4269d49eebc821722311bcd25c343523613a1","datavalue":{"value":{"entity-type":"item","numeric-id":4451639,"id":"Q4451639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1036bb2bedbcfb19ce7d1a2e9c31f8e1b06e564","datavalue":{"value":{"amount":"+0.8121771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$04910C5E-8771-421F-8F04-7FDE2CF5001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6847f57c334724ce91fd163daa6046b336569d91","datavalue":{"value":{"entity-type":"item","numeric-id":2765566,"id":"Q2765566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9660bc2521377d966fad3a79d7d1f62d79de4ad8","datavalue":{"value":{"amount":"+0.8087317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189069$667BF01D-9B18-4ABC-A93B-F112E8F61D1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic admissibility criteria for deduction rules in S4 and Int","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantic_admissibility_criteria_for_deduction_rules_in_S4_and_Int"}}}}}