{"entities":{"Q6940580":{"pageid":21147087,"ns":120,"title":"Item:Q6940580","lastrevid":84102380,"modified":"2026-05-10T03:08:41Z","type":"item","id":"Q6940580","labels":{"en":{"language":"en","value":"Semantics for linear-time temporal logic with finite observations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082449"}},"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":"Q6940580$A1FC142F-B7D9-4ADC-A69D-488C5D16D2E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df9556b7f29fbdda3f5a009fd0542e28a7f91fc4","datavalue":{"value":{"text":"Semantics for linear-time temporal logic with finite observations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940580$77CCDC9D-D69F-40C2-8E1E-CD36A4C81AB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17e9ec2461b41b262405b39b1c50b1feae9bbfa","datavalue":{"value":"1571.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940580$BF7C2733-2801-407A-95D9-B4B0D528137F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fef46e0ec47b08fdcc2122b516e914801a5fcc3","datavalue":{"value":"10.4204/EPTCS.412.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940580$34B566F6-0FAF-431E-8683-6463EC100811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbc7df7733995b6d76f2fa8c148fe5bd676a2aa8","datavalue":{"value":{"entity-type":"item","numeric-id":6940579,"id":"Q6940579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$95639E2B-E536-418B-9BF7-C87105644CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$EF92FB6A-F007-4B7B-8F89-E7F999D0C01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd6094f21c1e1d5be129c3232983e75a4ab79dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2829267,"id":"Q2829267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$6BCF1C21-78A9-4372-8DC4-2C656081D7DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940580$6669CE08-54FE-4297-A0EC-3A04F132C0FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940580$C31D7D89-F089-482C-BC0C-880D75675FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940580$29746885-4AAD-4AAF-B757-3C371939FD87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f769ce4469c39cfbb1ce314be33cb273a7628117","datavalue":{"value":"8082449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940580$2A0B3D6D-4F6A-43E2-B089-9C4733EE8E6E","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":"Q6940580$9B52CC88-884C-4030-8A2A-28F8C8C6F650","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":"Q6940580$4822F897-BE09-4A87-A630-599E0025DA59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$83778082-3E35-4DA5-844B-81CAEE09436D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78839893b893cdd75db0ea7cd51c9fc88fc125d","datavalue":{"value":{"entity-type":"item","numeric-id":6826398,"id":"Q6826398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$C8118A0D-A810-42B6-8B20-8D4BDF92F5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$0EAE2998-72B7-4209-A438-DC921481D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$77FBB7EC-7568-4479-BD05-5E9530FE5FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7e591b85ba8a9541a1ee7a2835a47552b1f52d","datavalue":{"value":{"entity-type":"item","numeric-id":6091203,"id":"Q6091203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$B0F3EF2D-31E3-493A-9EFB-7C41276E2780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$16BE6575-8A80-45F4-AB6A-2DB83CEED5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$7AE6FCFB-647C-46B9-A299-15BEE3F18ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$766AB356-E373-426F-968A-12384F1AB94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940580$8A8AAB61-C0BB-4E97-86E8-A3C93167AD22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics for linear-time temporal logic with finite observations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_for_linear-time_temporal_logic_with_finite_observations"}}}}}