{"entities":{"Q6441271":{"pageid":13574280,"ns":120,"title":"Item:Q6441271","lastrevid":59160381,"modified":"2026-04-07T17:04:32Z","type":"item","id":"Q6441271","labels":{"en":{"language":"en","value":"Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900597225"}},"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":"Q6441271$B54212F9-C5F4-4D87-8C06-5CB5659CB182","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6441271$07CA7C3F-C58F-4574-A1E1-65C6E91FA047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d32e4f059e24c8c00dfc8e9b78870f079b0a35d9","datavalue":{"value":{"entity-type":"item","numeric-id":6418548,"id":"Q6418548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6441271$6146BB41-FBBD-497A-8346-C4543B1CADF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6441271$41BBFC1C-3CAB-4834-B11B-A5DCBA56BB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea73a40049d8e1370446e5d4197f69444703729","datavalue":{"value":{"entity-type":"item","numeric-id":5395234,"id":"Q5395234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6441271$23B4CE38-9B75-466C-975F-C5748AB876F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a55ec14bffe5eb4921f7ce4ce250939b35d9bc3d","datavalue":{"value":"900597225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6441271$048DBB48-A123-4172-902B-611CA8B9B25D","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":"Q6441271$6AFA321D-04D7-4388-BF5E-11197348B90C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6441271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6441271"}}}}}