{"entities":{"Q1186428":{"pageid":1197177,"ns":120,"title":"Item:Q1186428","lastrevid":66800031,"modified":"2026-04-12T12:56:41Z","type":"item","id":"Q1186428","labels":{"en":{"language":"en","value":"Temporal logics need their clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36588"}},"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":"Q1186428$728F8EFB-C020-480F-934C-6404ADFB737E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6472695c534940768395293aa00c926a80182b11","datavalue":{"value":{"text":"Temporal logics need their clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186428$26B4A4A3-6A74-4325-9BDB-201B7F0DDFC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"611d41c5bf44212018f8291198b355d9c6950d9a","datavalue":{"value":"0751.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186428$1678929D-2E86-43B5-A362-1A2B05BDF3C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a5ca7955de1442b8c6547a5abaa7e4ab852f146","datavalue":{"value":"10.1016/0304-3975(92)90067-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186428$94C9A9FE-59CE-42EB-BB94-ACAB342661C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$BB431E18-B1C9-40F6-B704-A1846333B4B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$84676E05-776B-47A4-A884-BD33BD3FADDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186428$D6506BAE-DB97-4667-9D18-D15217E9D63B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d555c45f9a2c237059ab88c341075575dc2518c","datavalue":{"value":"Some open problems concerning completeness of first-order temporal logics posed by Abadi and Manna are solved, and some theorems stated by these authors are refuted.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186428$F708C875-D96B-4CF0-B6A0-CF3863F47835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186428$4937278A-BBCB-43EE-A3A2-DEAC55422EDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64c2e275256ed1eaca82b0e854892ccf01b4b1d6","datavalue":{"value":"36588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186428$9E44EB81-6AA3-47F2-8CE0-B444C6437F8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186428$E3CA808E-2A2A-49ED-BDE4-5E4689385A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0e8135f8bdca5eefac22d7a1ef8887860103e6","datavalue":{"value":"first-order temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186428$87475D59-00EA-48F2-A6BA-E75187ACD9A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$A2C9E415-6A7B-4521-9512-8A6CFAF39669","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":"Q1186428$383CBB9E-9D32-4578-92A6-DC7BD97A725D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"306e12a9cf0eda54a3cc4a9ea9a5f408097e0e07","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$722FFCCC-433E-4F96-B7A7-3EA6B944AB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11203684130893cf54423f7adf4d373f04cdb7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3208642,"id":"Q3208642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$D24C8C63-657B-4456-B9B0-2341AB474634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1270f4d60a05bd67d01053664f9cb16ad0f1e99f","datavalue":{"value":{"entity-type":"item","numeric-id":1159460,"id":"Q1159460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$4F45ED51-9C2E-426B-9521-56938F7BD623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28056ed53ef07a9d6632c6440711fd2b65f1640","datavalue":{"value":{"entity-type":"item","numeric-id":1159461,"id":"Q1159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$28665A6A-B8E2-49AE-BBE6-8771B79B5D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38caeb656a3b05239fb1e8e281f9c0f328a152","datavalue":{"value":{"entity-type":"item","numeric-id":809066,"id":"Q809066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$92C407A4-BC4A-419D-9D35-3F841AFDE272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$E0A6737B-6223-45A0-BB95-1F65E3A5C0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$53A98E10-34CF-49FD-BA25-713385014E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f83c85c3c55b3dfc7804518e3d46331adb457c","datavalue":{"value":{"entity-type":"item","numeric-id":4726228,"id":"Q4726228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$CD5F67EC-53C0-4F43-953C-950ACC0D42E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b78fa16516cb2e010d5012b4ad2e441984e5e6","datavalue":{"value":{"entity-type":"item","numeric-id":1124311,"id":"Q1124311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$5C2590B4-8ACA-44F6-8272-D72B53C5FA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$0E3FA099-B6F7-464C-A63F-84F6AFAA63AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7a3316329cfce249f69c13171c2ebaf3fd06f7","datavalue":{"value":{"entity-type":"item","numeric-id":3956390,"id":"Q3956390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$79E6FFEA-DFE7-4988-9D90-9E4A6B9AE4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99725306d8f46bbbb7ae718caf3b7c4ee63c6bf","datavalue":{"value":{"entity-type":"item","numeric-id":4268476,"id":"Q4268476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$EAF7E03A-A03A-4AB1-A983-089F4349463B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396fe5b9e8ccbc7dc1473c86accd716c3e50cd58","datavalue":{"value":{"entity-type":"item","numeric-id":3896482,"id":"Q3896482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$423F0DE6-53E6-4BAF-9DEF-93F1099C7899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178206957f1ef7c0cd7065687539a80ddab0dcef","datavalue":{"value":{"entity-type":"item","numeric-id":3698302,"id":"Q3698302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$EB59F851-DCFA-492B-8671-C1DE2B1F9C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a5ea97f81b547cbf103e27040dc6f1c9a350cb","datavalue":{"value":{"entity-type":"item","numeric-id":580955,"id":"Q580955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$1127F260-9C9B-41D7-A7F3-006F75638471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7481ef5e177e83da292ab9c46c04191734ec10","datavalue":{"value":{"entity-type":"item","numeric-id":913784,"id":"Q913784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186428$A84C76C7-19A7-425D-AA4F-07B0AA555EAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logics need their clocks","badges":[]}}}}}