{"entities":{"Q7007790":{"pageid":21549699,"ns":120,"title":"Item:Q7007790","lastrevid":104083814,"modified":"2026-06-06T09:04:27Z","type":"item","id":"Q7007790","labels":{"en":{"language":"en","value":"Undecidability of admissibility in the product of two \\textbf{Alt} logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016082"}},"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":"Q7007790$3F7F4BA1-8AAE-4070-A46D-813E7A1FAAEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f5fc945aa1363f16960752e86339c9abb1bb634","datavalue":{"value":{"text":"Undecidability of admissibility in the product of two \\textbf{Alt} logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007790$DA7FF5AC-D094-44A6-A9C0-CD2A01C97FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87e0345c0e0be8022e398abeb904c07a0c822a21","datavalue":{"value":"1573.0316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007790$FD697F71-1E48-4533-A34A-FBEF1019E51A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"069095b1c6e8d61a3b682c046fc8cb04b65bdb2c","datavalue":{"value":"10.1093/JIGPAL/JZAD021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007790$B0D06718-3025-44F8-B0C8-48241F2BD997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$200F9E43-E5B2-486B-BDF5-3A6C05DEB4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf7abcc912caa8b9054fccd0320e564c2a8225","datavalue":{"value":{"entity-type":"item","numeric-id":831217,"id":"Q831217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$1A5DAF8C-4614-4184-A56D-F3E66E669634","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$23B8374C-9323-43C1-BD8C-8DA2011F6520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007790$4A0E0A2A-8925-4012-BD80-BBA7E393530D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007790$EA69A6B9-BE3E-4334-9CE5-561D3C31B6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007790$03A2FD14-8C37-4417-9F9C-AD67CA134209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca1171cd58f67887bccb63c592d23cf256124673","datavalue":{"value":"8016082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007790$3A6C8CFB-5C63-4B79-8A04-ED0D118FA9F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f58900d998ed8a456939306010a1b432a65a49b","datavalue":{"value":"products of two modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007790$70984365-3377-4506-A6B5-B1F624AD7C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ca6cf28cbfd79800e2154cfc466eb28dd629d7","datavalue":{"value":"admissibility of inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007790$4FC1005C-0BC4-4D91-AF98-666154FB63AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b3eb1703b5570e60d6f0851282ddd36991a8d7","datavalue":{"value":"domino-tiling problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007790$CA2DF586-7FB4-47D0-AB46-DE90CC1AAFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007790$9EA1E096-0A84-4D03-9E8C-9788F8B5C303","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":"Q7007790$72DEE759-A616-44DC-A4CE-4F05601881A3","rank":"normal"}],"P223":[{"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":"Q7007790$7860EAE8-1E9B-4658-8E99-B5D12433DCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18dcf9d6b1d55c880f5ea8b33415cd43a13681b8","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$BAB1487C-DA8D-4F53-80CB-CC94F1A3941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852686091527b70cb220bdb960318171bf24e20d","datavalue":{"value":{"entity-type":"item","numeric-id":831218,"id":"Q831218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$F86EB720-8A38-41FD-849C-DCDB2A770ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af82e6928fe1cda95cf42ab817724f547c10530","datavalue":{"value":{"entity-type":"item","numeric-id":6612813,"id":"Q6612813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$ABEA05CF-7A2A-44DE-945A-517CED6C2447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b496e25e288046a95a4ae85c43bc962001466","datavalue":{"value":{"entity-type":"item","numeric-id":4636029,"id":"Q4636029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$611B2EBB-7BD7-4535-8261-E47B118F2726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$2EA5A8A7-8A7A-4630-934F-701CE9360291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414ff478075da6ed3a37a40aa68960580097e7ff","datavalue":{"value":{"entity-type":"item","numeric-id":2366361,"id":"Q2366361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$49F63E6C-CE1A-437F-A631-558635728C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$DC6C1078-CD7B-4DE5-81D4-F5BC4FC5B778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33642a283703233b812eb4bc89b990b37b99bd51","datavalue":{"value":{"entity-type":"item","numeric-id":3518429,"id":"Q3518429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$158E89DA-3A48-45EE-8EE0-9B28DB728F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$492B75CB-9526-4898-B6F3-A71A33999F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$5D634D81-8564-44A9-A5E3-001E9C3E24A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2287ef6e5087fff85a9c4ef32f2e620471461b","datavalue":{"value":{"entity-type":"item","numeric-id":3625492,"id":"Q3625492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$AD7C1BD6-7DBD-4EE6-B6E3-F8A1270686BD","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":"Q7007790$211A818D-2217-4A21-8BA6-915B58FAD37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$3F527648-DD2B-48DE-960A-1647E89CD006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49786e968e9be66a475e1ef40df370a08a4031b1","datavalue":{"value":{"entity-type":"item","numeric-id":1815426,"id":"Q1815426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$EA52A85F-40B8-437B-A55D-B8647B9740CE","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":"Q7007790$28D61834-BD2A-495A-B096-967E0035454B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$6559BCC8-8E1A-4345-A0F7-5E2F9646B44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$240D97D4-8CFC-48CB-913F-A1D9180B0AEF","rank":"normal"},{"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":"Q7007790$F0FEFACC-232D-49FD-A4CA-A2ACC04E2636","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":"Q7007790$E93135C8-1EFE-47E1-8991-CF031EDC58D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6a661c2080233a2ef54e07a10037e82f3f7250","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$AD0D6746-040E-42C7-99FB-849C205490BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c47fef618cfd1d626c6d3369e7750059728cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5277814,"id":"Q5277814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007790$94FF0CEB-6395-4B4D-A86C-277097611C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7007790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7007790"}}}}}