{"entities":{"Q679342":{"pageid":681191,"ns":120,"title":"Item:Q679342","lastrevid":63433281,"modified":"2026-04-11T13:07:04Z","type":"item","id":"Q679342","labels":{"en":{"language":"en","value":"Executable temporal logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002415"}},"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":"Q679342$ED897BB3-EF8F-4CFA-8B14-E0AD5D4CA8D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b02b23375bd326532639cbed1130b8fcbbd47f38","datavalue":{"value":{"text":"Executable temporal logic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679342$0982092D-A63B-4FBD-994F-609AB64420AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cec347c4a18f93c2a69c5a5307bef9f8ac995ecb","datavalue":{"value":"0874.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679342$D1D23DC8-8B5E-4479-8250-6FDD0C506D75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679342$3508F0C1-3098-4E8B-8A5E-AB3D484A2D65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679342$BCA9F0C3-C573-4594-91B0-3DA839FA23BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"531448b054d901d689e0e77d001f1c0af06ec12c","datavalue":{"value":{"time":"+1997-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679342$E8669CF0-FB44-4D9E-9C48-08D56FF0D461","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679342$A16AADEA-3580-43E9-8846-C272EC85F5FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"788fd4513ff5df313ce727a1d8b689e92f5999f0","datavalue":{"value":"1002415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679342$F14EC6BC-E616-435C-AD76-B22493B459C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc6c139b1b9cca509dfe8280d0849ca8f18e3cc","datavalue":{"value":"chronolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q679342$8A451EE0-B33D-4ED4-9A1D-E2AE27F35320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4931d875178083ebc464981143b73a59385aee31","datavalue":{"value":"F-Limette","type":"string"},"datatype":"string"},"type":"statement","id":"Q679342$5025E67F-91E4-4893-B3D6-926889A28DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"832b605a3373b076f5e88709a9e6ddab62a61194","datavalue":{"value":"concurrent Metatem","type":"string"},"datatype":"string"},"type":"statement","id":"Q679342$E2E191D0-BCDD-48FA-A206-33AE6E307261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0786d39c1fd106744e4e373708315146d515ad","datavalue":{"value":"Tempura","type":"string"},"datatype":"string"},"type":"statement","id":"Q679342$102CFA9F-533A-49CF-B5F3-38186AD86F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deb613a193e31ffbd9583e234b95dd0799703b05","datavalue":{"value":"Tokio","type":"string"},"datatype":"string"},"type":"statement","id":"Q679342$5F041D86-5B06-4F5D-A1CC-DB25D5EAAAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3076dff9e314904cf828efde1bdeecb7b390ad7a","datavalue":{"value":"executable temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q679342$78C0D27E-DD7F-4168-AE37-22DC8FE4C836","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":"Q679342$EEF390DA-5341-4EAD-B81F-623D05956336","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4da4d5a8753f87e8e1220a00e499b4675f4e404","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0073","type":"string"},"datatype":"url"},"type":"statement","id":"Q679342$774AECCC-D6FE-4D0E-9B83-1E730E83A6BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d819ccb48c62a660fbc10c6b561d297954a68503","datavalue":{"value":"W4210581856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679342$4A2457E7-7D46-499C-9A7B-6999CC822288","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"852175df6874edabedcefe13a3d73b93e99ec281","datavalue":{"value":"10.1006/JSCO.1996.0073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679342$2C3801D6-09A3-4D2A-AB29-9CAA7B78104D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c386be788eaf0f6449ebf2c0ed525de082408b7","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405caecf9d6fc6743c6a502a8d18577f5e87eb96","datavalue":{"value":{"amount":"+0.8604172468185425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679342$42A5E60B-62D0-4135-B5E5-7A792E1BEB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951ed91a008acda6c420f71bdfa83dae0b73cb61","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897b029f48a9df8987c60f461e9671f78212c989","datavalue":{"value":{"amount":"+0.8494082689285278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679342$DA7750B3-2050-46E5-B737-28ABF24B40D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09d3cc35783e4b4d2a895156e4265f8ee4400b4","datavalue":{"value":{"entity-type":"item","numeric-id":1904643,"id":"Q1904643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd19b454f9e2f8861b2b2cba00c3bad7bef37c5","datavalue":{"value":{"amount":"+0.8443968296051025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679342$41AA3171-17E5-4908-8B83-E77173CB8506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978a42e60a73248c917509380ff8f108c964b533","datavalue":{"value":{"entity-type":"item","numeric-id":4733442,"id":"Q4733442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b0187c0505cfd4b81ffe94efe94accecf9ff9b","datavalue":{"value":{"amount":"+0.842724621295929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679342$0CB88F86-CD41-427B-841F-A41B20998E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cfa2e0b7c179951ce7ac2f129255180797e29d","datavalue":{"value":{"amount":"+0.8363485932350159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679342$6B6BD238-70F8-43F7-BEC1-8CACE0689C59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Executable temporal logic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Executable_temporal_logic_systems"}}}}}