{"entities":{"Q6925638":{"pageid":21056878,"ns":120,"title":"Item:Q6925638","lastrevid":84131699,"modified":"2026-05-10T21:59:27Z","type":"item","id":"Q6925638","labels":{"en":{"language":"en","value":"Automata linear dynamic logic on finite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097702"}},"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":"Q6925638$129726D4-9B50-4619-A235-C92D42BCE760","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"578075be860be72ab530bf6034bafcebd8b25e44","datavalue":{"value":{"text":"Automata linear dynamic logic on finite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6925638$00E543A4-6449-4552-9D35-C1AC08CD31FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d4fffc0c5a92f1d55eb4415f2d99983f168891a","datavalue":{"value":"10.46298/LMCS-21(3:2)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925638$094BF34E-E61F-4A4B-AF0F-4BF0141619C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a1a2e62fdccef27546959451be17dd7c123d6be","datavalue":{"value":{"entity-type":"item","numeric-id":6925637,"id":"Q6925637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$6FC91D59-2650-4B1C-B60C-935DD4A85637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$7362D589-3FF1-4BFF-A8AC-832A7CC10F79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$52CC556F-34F7-436E-A997-507ABC058212","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-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":"Q6925638$AA60823F-B47F-477B-A962-B30935906919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925638$9FFB05FD-F6BA-48DF-989E-032845A01AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925638$77F2935A-0F7C-4933-8F3A-489E167DD6DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"579465a0b5bf73a6a80e1212ec7ca44cf9e9bd24","datavalue":{"value":"8097702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925638$FC614CA9-F0B1-4EA3-A160-3D988C4597B2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$03989132-AF7A-406A-A77C-40D8CA33F453","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":"Q6925638$66F7114C-F668-4D45-A28B-A0A86E6FD5E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$AF46FFAA-858F-4364-B881-5D62C91B8ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd94b527680050a8d882dec94332eda4fd8dce2","datavalue":{"value":{"entity-type":"item","numeric-id":3637232,"id":"Q3637232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$9C38C208-A65A-47AE-9350-868FDCCE3E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c9363d098ff7ec8143065e00866ee0c4dd1f09","datavalue":{"value":{"entity-type":"item","numeric-id":2800411,"id":"Q2800411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$C25E1687-A710-4EB5-B41A-2AECF03BE0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2bb525c53947c14888da4b8b880513fae1a78f","datavalue":{"value":{"entity-type":"item","numeric-id":2922024,"id":"Q2922024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$7A8DDBF3-972D-4DEC-B9F1-E3615B3A5AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2f74900a9f10244242a7857163ebbd23c95073","datavalue":{"value":{"entity-type":"item","numeric-id":2029487,"id":"Q2029487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$5FD56672-0D6C-4852-908D-FC1F18238FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$6E3099ED-07F7-4F59-83EC-62EF683D6BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$501CED3C-1B11-4954-B446-A4FBD10C2C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$6A6F9825-E7D6-47A5-B0B6-EEA49E8B4AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546f4d086c0636fbf1f6ee05616645e1a9d8a89b","datavalue":{"value":{"entity-type":"item","numeric-id":4251040,"id":"Q4251040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925638$A9BAC6F9-8D21-4050-9C5E-41B8D3053C6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata linear dynamic logic on finite traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_linear_dynamic_logic_on_finite_traces"}}}}}