{"entities":{"Q5932613":{"pageid":8109415,"ns":120,"title":"Item:Q5932613","lastrevid":93592949,"modified":"2026-06-05T04:40:02Z","type":"item","id":"Q5932613","labels":{"en":{"language":"en","value":"Inference rules with metavariables and logical equations in the pretabular modal logic PM1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1603249"}},"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":"Q5932613$75F4ABDB-87C2-42DC-898F-CAA9845A9C11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e50143702c9782b3b8bc62e1cbdceceed1c0d2c","datavalue":{"value":{"text":"Inference rules with metavariables and logical equations in the pretabular modal logic PM1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932613$81F593D6-2563-4E15-B82C-7DAC0F18FD42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c5efb8bfeaf7f4c0576a3cf2582e737fe9d718a","datavalue":{"value":"0966.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932613$52332F9F-2603-464E-BD58-0188C9D58F88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dac1d778b431747a2cf1efb06933e9751e4277e1","datavalue":{"value":"10.1007/BF02673997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932613$B860B136-686D-45F0-9B9C-D9FFE7F20564","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932613$C39EAF1E-2614-4EB7-AC30-F63753CB6460","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932613$45248092-3E58-4E5B-8961-086B59D7B6B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd28ee341bf28c9203a2c08edf8197e3c1e239d8","datavalue":{"value":"https://eudml.org/doc/121134","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932613$862DE008-E135-487D-90A5-94D1B0B528AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d33384b91b5692b8dea1dcc3f7b820e8ee95a4d","datavalue":{"value":"It is known that there exist only 5 pretabular extensions (P1--P5) of the logic S4 [see \\textit{L. L. Maksimova}, Algebra Logic 14, No. 1, 16-33 (1975); translation from Algebra Logika 14, No. 1, 28-55 (1975; Zbl 0319.02019)]. The author establishes an admissibility criterion for inference rules with metavariables for the logic PM1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932613$AE07C143-BDD6-4B33-8689-37EF78D1E229","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932613$E449146C-F266-4D96-AB95-69190E86D31F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932613$563A7B47-297E-47D0-B282-BA992C893CEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a32ece699cabdc0ebab04984aabeed66d71e0934","datavalue":{"value":"1603249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932613$706F8C34-8864-465E-852E-C5ABB63DA677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932613$F874CB6F-A1E1-4947-BCAA-CBB5E9683A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932613$1F7C8989-7B6D-464A-8B5A-018E82500989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ab12fd5a992f561a36e7fb0df9f4a10ca8ccd5","datavalue":{"value":"admissible reference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932613$11587A64-78BC-4B2E-AE04-C8148828DF3B","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":"Q5932613$B9F30D19-1E6E-43BC-A846-58A3B1477FA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a179110da4b43c1040283a3ac7e447ba1b0c3c","datavalue":{"value":{"entity-type":"item","numeric-id":1092029,"id":"Q1092029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932613$AF3F3192-DC3F-49C1-89CD-FD4F50496571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad606f5b66ad05b4a0525f5a938aae1134f6937","datavalue":{"value":{"entity-type":"item","numeric-id":1222645,"id":"Q1222645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932613$EFF1C89C-34A9-49E1-84F9-3E189911772D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15821a5f9b9f0b958c1696834467f5f4c99ea2d1","datavalue":{"value":"W1997691393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932613$CC7EC630-7012-448D-B8E5-9B01A5EC3FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7201e269bf749716457eb147dd881233791db4f","datavalue":{"value":{"entity-type":"item","numeric-id":6115005,"id":"Q6115005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932613$6074D4DB-0086-47C7-9655-B03349B27BC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59af9b668ee96ae391ab14bd6c320f9e150c4f19","datavalue":{"value":{"entity-type":"item","numeric-id":2239389,"id":"Q2239389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c61430f3d4cdbac62122bc674047effc2840e52","datavalue":{"value":{"amount":"+0.7930753827095032","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":"Q5932613$6A2864E1-F695-4EEB-BA5F-934D28334F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd3f59f835db1a7ef8e44e778422803c291aac4","datavalue":{"value":{"entity-type":"item","numeric-id":890977,"id":"Q890977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99e0cdc43b9034acddee8743cb4cad1f8ae35b3","datavalue":{"value":{"amount":"+0.7919439077377319","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":"Q5932613$50BF68C7-A450-499B-9743-5E5EE61D45C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de6ee1a7a42e494fb603370306b0977dd949761","datavalue":{"value":{"entity-type":"item","numeric-id":5391601,"id":"Q5391601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945e9f8761cb167d6f4e21f40fcc5d06f018f8ee","datavalue":{"value":{"amount":"+0.7754589915275574","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":"Q5932613$463C6FAF-0C69-43E4-B7A2-099D92CDA906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9a9d4f6f051b75a3f95fe24151476f23170119","datavalue":{"value":{"entity-type":"item","numeric-id":4501160,"id":"Q4501160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b0603790fdd2f7b851f9f74504d10a697a45f1","datavalue":{"value":{"amount":"+0.7718920111656189","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":"Q5932613$F3BE72E0-275E-47F0-8760-23EDE0DEE0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e9dbb1a0934aa92a3a25ce8232bdc64d88ad46","datavalue":{"value":{"entity-type":"item","numeric-id":3544726,"id":"Q3544726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1304466e008978e3091ead2c96c3ed1a32520c14","datavalue":{"value":{"amount":"+0.7698288559913635","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":"Q5932613$7816191D-D255-405A-9F6C-9D0ABAAB8CD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inference rules with metavariables and logical equations in the pretabular modal logic PM1","badges":[]}}}}}