{"entities":{"Q3544726":{"pageid":5574630,"ns":120,"title":"Item:Q3544726","lastrevid":50518517,"modified":"2026-01-14T06:45:07Z","type":"item","id":"Q3544726","labels":{"en":{"language":"en","value":"An admissibility criterion for inference rules with metavariables in the modal logic S4\\(.\\alpha_N\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5379363"}},"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":"Q3544726$4FAD5B1C-005A-4562-A6B9-78DC16A453E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52c23ba8eceb2bf0223b6d3b0d6c62b56bcf542f","datavalue":{"value":"1164.03303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544726$40F27061-8374-4348-B8DF-AEC2A06F0A0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bab550c055b45967e3c1a70c8a63e183153c269","datavalue":{"value":{"entity-type":"item","numeric-id":3544725,"id":"Q3544725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3544726$C3E45B89-BFA9-463D-A509-3029AA83099F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03942c210b5c806fbe48b82452bbcc5f2d751c53","datavalue":{"value":{"time":"+2008-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3544726$11D78FAE-AF10-419C-A95D-E95B9906012E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd8ad2a70d880fde910d32999d7669f13576026e","datavalue":{"value":"https://eudml.org/doc/55566","type":"string"},"datatype":"url"},"type":"statement","id":"Q3544726$43FBBC3F-0857-4C21-B66D-AF7AC2E120B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"315bb10e731a1ed51f5d9e0c297d01adb5d66e20","datavalue":{"value":"http://www.emis.de/journals/SMZ/2007/02/396.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3544726$A2CE80EF-A383-41C6-8A42-8C245A7DAE2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544726$FE041226-60E0-4DBB-8E13-5CD16B964853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"140a67b86855b1cc89d5473e05c9b88cd76720c6","datavalue":{"value":"5379363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544726$CA801490-47DA-4939-B0E2-60B5D472D8A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf532abd57dc8f8a321cfaf4e769da8decc72c9","datavalue":{"value":"admissible inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544726$5DFE3BD9-65FE-40E0-BFB7-DBB893E1DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a91c90b94e39e0940f15678a9cc8615d04e1735","datavalue":{"value":"metavariable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544726$6BE38298-5D19-4E28-B64B-84A82A82BD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544726$D222194E-345C-428B-A5B5-8078F506B600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3544726$E2FF0C5E-D148-4D5A-8CA6-075F29672809","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":"Q3544726$67288C14-9E2B-4238-837A-1384FA4B6641","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"017abef816a021b19e235422c49de72ffcda54d6","datavalue":{"value":"bafkreifciv2mg3n4llwvy7252tljngqpmavzjdepbyu2awwuzaqsku57ze","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3544726$AD0CC108-EE90-4EA3-BF35-5ADC4E0DE36B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53063ba406d572a26f08bce70660b07dda141a2","datavalue":{"value":{"amount":"+0.8276178240776062","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":"Q3544726$9EB58491-CA4C-4AF3-8629-F53ED693F5E7","rank":"normal"},{"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":"da139eb6c99342c502c925e67913f878ae120711","datavalue":{"value":{"amount":"+0.8115413188934326","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":"Q3544726$7429E1F5-207D-4F68-B0D7-AD36DCF3B713","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":"09d7ec92615f8fb3b9cef156bb9eabf4e82d1d9b","datavalue":{"value":{"amount":"+0.809303879737854","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":"Q3544726$ECC8AF52-E9EE-494F-9576-A259F0C91556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356c9f351e497727e1c3c860774c778e9c663559","datavalue":{"value":{"entity-type":"item","numeric-id":805609,"id":"Q805609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd05c4ebbacab7c307d3e5d0249d0136c2aa1e07","datavalue":{"value":{"amount":"+0.8038807511329651","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":"Q3544726$071C430C-4CCC-4B33-B13A-C826DBABCE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0b5f8ff389b4318ea9b4095effd578d2f46715","datavalue":{"value":{"entity-type":"item","numeric-id":4712747,"id":"Q4712747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec77a883df0a959b7d8402b26d1c1f4e6fe6093d","datavalue":{"value":{"amount":"+0.8032388687133789","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":"Q3544726$0269D437-4225-4F41-88E8-63C6C07A4B2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3544726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3544726"}}}}}