{"entities":{"Q6153443":{"pageid":13287790,"ns":120,"title":"Item:Q6153443","lastrevid":39802042,"modified":"2024-12-31T13:47:12Z","type":"item","id":"Q6153443","labels":{"en":{"language":"en","value":"Admissibility and unification in the modal logics related to S4.2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7804700"}},"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":"Q6153443$9DB22A1B-3F82-4376-843A-197113E546E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d0cf61ae272e400e2bbcdf78a24f88125ba6728","datavalue":{"value":{"text":"Admissibility and unification in the modal logics related to S4.2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6153443$66827EFC-9C06-4E94-BFF0-604BBFDA67C2","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":"Q6153443$BF078F14-4164-4952-8F87-F21ED0E718F5","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":"Q6153443$5C2BA431-D767-4355-9161-C30B0F1CD4AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"749f7dc4505ab7598f63dc39e6a52996cfa01334","datavalue":{"value":{"time":"+2024-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6153443$EBA66840-7759-4274-A65B-326F46C36EDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153443$600F990F-B03F-47BA-8D2E-47948F0E22B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153443$5342A8AD-BF7C-4520-91C1-3769EEF9217F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d77c4a1b53ac3abcb18b1cbec785c787e8f905c","datavalue":{"value":"08Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153443$88E08EAA-E2D3-4E8B-AB04-6BFB30E4148C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3617f68f4854d2f4885047a227000a45145ad5c","datavalue":{"value":"7804700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153443$91A6A4A0-F9A2-49E7-A612-A2CDC02C6C4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6153443$C6314B70-539C-4465-8C65-338929BCE234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6153443$4AFBD69D-561B-4555-8B94-732F4EC1E368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102000db4d3eb866b7830ebc6b8c91cf9c5c0e15","datavalue":{"value":"admissibility problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6153443$D24EA14D-947B-42CA-BA64-0125811AE925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d0a3365c1b97b216643c1a8662fa3bd4f97c8b","datavalue":{"value":"computation of unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6153443$08351DCB-D717-42E2-9649-AB7037677E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef7c6e5058a01f0c1f2ebc2df54c95d1e680e8fc","datavalue":{"value":"projective formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6153443$A728C189-CA49-49CB-993C-D153A28305D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6153443$F5B9361A-D50F-4EFE-8293-6486FD9D7BC8","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":"Q6153443$6089247A-34AC-45AF-8BFD-ABDF2E2D5772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58c43fbe998f386d9b7adb3dd723b8dcf2818104","datavalue":{"value":"https://doi.org/10.1134/s0037446624010154","type":"string"},"datatype":"url"},"type":"statement","id":"Q6153443$7117861A-8403-45BB-BFA7-9D232F65032C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daafe417fc80442c2a4dbf5cccc477714c70089e","datavalue":{"value":"W4391620296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153443$50F114D5-E60F-4306-91C1-61E714CFEE85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$9CA5D56E-8B2C-408D-A8E3-5C8FD4DF0F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$89C3D05C-FF06-44C5-AFA9-C417ABC80363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504179d3369bad63812171f461960968b16504e1","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$075FB289-D625-47FB-BAAB-C9B542FCB271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e28c2b0514e86460c293697d8c87c5f03b1d18","datavalue":{"value":{"entity-type":"item","numeric-id":2786134,"id":"Q2786134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$1B3E5D16-87F2-40AB-9635-C679762F8987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4c41c43b7e902992efa361cf5672a438d4de99","datavalue":{"value":{"entity-type":"item","numeric-id":2996164,"id":"Q2996164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$79F0C04E-1296-46AC-B095-56CCC2FF0BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092d62405ccf45cfd5cf25dd4a0bc605b3b3cd7e","datavalue":{"value":{"entity-type":"item","numeric-id":5929707,"id":"Q5929707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$47640EFC-1058-4D17-8DA7-50704B27C2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bf7b60ffa69e85b236a52322720f62f3667ee9","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$60BAECF9-2A69-46F0-8EB5-B197F0BBE6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e04418175c987dad1abf52407873a3edc2c40a","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$2643F7FD-F9EE-460A-9FBE-FD2FBBC9458E","rank":"normal"},{"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":"Q6153443$92F6394A-CA01-4719-BDC7-31808276DDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$BEF43486-8CD7-4A92-AE5E-8F8F1E5DD5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91dd72da9b1cabb581c68cfd54aeac6803a5c3a1","datavalue":{"value":{"entity-type":"item","numeric-id":598304,"id":"Q598304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$A146F0DC-EE80-4A75-92B6-6E4A67CF7C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$5DA536EB-6D1D-446B-9F33-4FFB68D3269E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$45DF8D79-C7BA-4BBB-B3E8-C14D72EA2A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a482d3b0a6a8341248ed0be90289e0fe7d2fa86","datavalue":{"value":{"entity-type":"item","numeric-id":5311759,"id":"Q5311759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$795BAD4E-9668-4042-9C32-9061650E5CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$2178B226-7F57-4E86-8E2E-C032F639844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdaa622836d078fa3fb4edaf82e381113fbbf02","datavalue":{"value":{"entity-type":"item","numeric-id":3508162,"id":"Q3508162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$C784A649-9DE3-4F32-834E-43F6ED85C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3497635f4008d062fcba9abb75ba5577251c0aa","datavalue":{"value":{"entity-type":"item","numeric-id":2346953,"id":"Q2346953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$9602FAC9-060F-4A98-B274-2770AC623C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$9E032BEA-5435-40CB-AA80-0519B2ACBA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670906e70de679c1edf77ce20d747c3dc6356b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$B5DF58B6-AB5B-4860-BF68-C8B063FD665C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5731a328bc1bbeda956efb7921c3feba2de8ae36","datavalue":{"value":{"entity-type":"item","numeric-id":5092561,"id":"Q5092561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$EDC697A3-E4FF-4251-839E-86BC2BD46B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5860231b861fbe7a08c9816e02f4b6a2d7f8d534","datavalue":{"value":{"entity-type":"item","numeric-id":2284172,"id":"Q2284172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$2403BB64-8F47-4F6F-B3A5-FBA6208ECA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f0f7f36bb0d98e21e1383560933b6a474619b6","datavalue":{"value":{"entity-type":"item","numeric-id":2402133,"id":"Q2402133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$785DFEC3-D8E0-4C78-A869-B9ACBBCDDFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$F3288E4B-0BC2-49D0-839A-FE0AF2572FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$54477F9D-3448-4ABE-91D8-1199E7C60D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$CEC07338-9857-4003-993E-42C33E406E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$BD80CD2C-134A-4E2F-B730-AC49619CDAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f93d6fe2fae1c684c4f3c15ccaafeac2ad027a","datavalue":{"value":{"entity-type":"item","numeric-id":3006112,"id":"Q3006112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$40DC17E6-DCF4-4891-B78F-505CC8C6A963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd83c2edaf0d75e016ed7b02b9fc228c8c72b04","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$6C34B3DC-151E-456A-A9FC-7686BE664942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cc0cc0127b35e1649c62857aaafad60a28e326","datavalue":{"value":{"entity-type":"item","numeric-id":3647278,"id":"Q3647278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$AF12319C-4040-4724-BB9D-40B13B9DD8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4b8af54d66781b9f226a9ac9a2f5d2a3103868","datavalue":{"value":{"entity-type":"item","numeric-id":3165757,"id":"Q3165757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$23604083-7247-42D3-B281-B992C664EDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90a09f9a9bcb9d73d58bbd9839f6d29cf479203","datavalue":{"value":{"entity-type":"item","numeric-id":4925168,"id":"Q4925168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$35F6B9F7-533D-47C5-A0F5-910E00D4B364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea235c296ca99950ffed6eddae22dd0800e3617","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$47A1BEFA-34AB-4709-8130-0AF86A7C814E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f140a7581674d465232e25c6f49907ec7a79cc","datavalue":{"value":{"entity-type":"item","numeric-id":5690146,"id":"Q5690146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$B7135BD4-B23D-4E4A-8FF6-52E08C5D4F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6153443$79CDA134-7086-4E8A-A4E6-6C14534E0006","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58bc182397b0c47d90c618ebba83d85bbcbe77f7","datavalue":{"value":"10.1134/S0037446624010154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6153443$0ED43875-EB6B-4EE4-89E8-6F7613457856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6153443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6153443"}}}}}