{"entities":{"Q6639617":{"pageid":14250769,"ns":120,"title":"Item:Q6639617","lastrevid":42397983,"modified":"2025-06-14T21:01:38Z","type":"item","id":"Q6639617","labels":{"en":{"language":"en","value":"Correction to: ``Decidability of interpretability logics \\(\\mathbf{IL}\\mathtt{M}_0\\) and \\(\\mathbf{IL}\\mathtt{W}^*\\)''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945602"}},"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":"Q6639617$D6A981A1-8592-4C9E-B550-E80C3BC67C05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6a655ffaf8880f898bcca563cea1d62d024ea03","datavalue":{"value":{"text":"Correction to: ``Decidability of interpretability logics \\(\\mathbf{IL}\\mathtt{M}_0\\) and \\(\\mathbf{IL}\\mathtt{W}^*\\)''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639617$BF70575A-8991-4832-B228-A31BA73B1E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdea14c9c892f1018c43ba6716a2f1392c696644","datavalue":{"value":"1548.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639617$B1F85EA2-D787-4F4C-A6FA-FD0039D98525","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5f933fd9f21d04239df86a9d8bb310b7f417d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5025699,"id":"Q5025699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639617$9EC46B1F-774D-4A06-825C-0AF2C3B9EFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b84d8f0372e932b2f1e8b5d8340f5af45dac789","datavalue":{"value":{"entity-type":"item","numeric-id":714725,"id":"Q714725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639617$7F17599B-E3A9-4896-86B8-9187D4EBFD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0adf3c00216a49ea198818eaf1e832ec99c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639617$DC71F647-14A3-4858-9530-FC0EE222528C","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":"Q6639617$1D0203E5-3306-45E6-84AE-4A3E307D7CB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639617$F244E564-1326-41D1-8899-8A0DDFFECDCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639617$92E7CCD7-465D-453C-B40E-B892DAB2484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639617$BEB84E44-CC97-45EF-993F-661D1249E310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639617$8CBA3E40-1179-4B0B-B07E-AC3A30E0DD05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"885408bdb0cc3a1c1cb57a470236df0d88d7b6cb","datavalue":{"value":"7945602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639617$774AFEF5-EE46-48C3-8287-2248077DA876","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":"Q6639617$C6B68FF9-C88A-4F85-980B-092C94A6AD7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd23f8b24073080b9e414d9823ea85303b7ba8e0","datavalue":{"value":"10.1093/JIGPAL/JZAD020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639617$74E2B485-022C-4C31-B10C-0EC6A9593B2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6639617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6639617"}}}}}