{"entities":{"Q5957904":{"pageid":8134706,"ns":120,"title":"Item:Q5957904","lastrevid":102076583,"modified":"2026-06-06T03:26:01Z","type":"item","id":"Q5957904","labels":{"en":{"language":"en","value":"A first order logic for specification of timed algorithms: Basic properties and a decidable class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719219"}},"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":"Q5957904$1A1EF010-3A16-4B58-ABDB-6E5F673E693D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbdfc426439bd17693cadf2bdb2c91d755df4832","datavalue":{"value":{"text":"A first order logic for specification of timed algorithms: Basic properties and a decidable class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957904$44162730-CF1E-466E-A2E0-A200310C1450","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fdeb658d75456d55fb26484f3f7fde449f34919","datavalue":{"value":"0988.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957904$7743C69D-9BEA-4AB8-8D6A-93995138080A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eb8664ca4340a656ed15ac67d11833434d554b8","datavalue":{"value":"10.1016/S0168-0072(01)00049-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957904$7F441376-C23A-4B6C-9A4F-30D321430E4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb8212826bd69dc98444cbd64b58f086206d659","datavalue":{"value":{"entity-type":"item","numeric-id":234698,"id":"Q234698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$3169EE4F-8B64-427D-BDE7-00B869651B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d150572e8b9bb6a5fa32f12fda85c9aad1b71ca","datavalue":{"value":{"entity-type":"item","numeric-id":234699,"id":"Q234699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$94D0EF19-B104-412C-9815-BEEDF67A6323","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$232D45BF-FB73-4289-9EF0-24EB69F7F006","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"177f60f76db36577f8776ca332cf7268f5aa3337","datavalue":{"value":{"time":"+2002-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957904$510C261F-F820-4A1E-B2BC-95DC8F42BAF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957904$90DF5F3E-7364-4B84-8BFD-6300A1E4AB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957904$A3B1AA9E-7620-452A-9C16-1EB8690F920E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957904$354CA2DB-B816-412B-8A31-D6A1E82F804A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3731d0c54fe84792d5e9dc5c58e3bcb6c31e7da8","datavalue":{"value":"1719219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957904$5D5C4AEB-9043-4594-A492-4C6038A81A95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$1A757916-BA19-4D69-AEC9-C87A6043B9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$43843F89-ADB3-4AC1-97F0-6DA9AAF84205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$5FFADC64-BEF8-4D7D-8D4A-54D2E8713E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4104dfaa115c64de47f72da25c736250372295a","datavalue":{"value":"reactive real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$294D1250-C9D5-41F4-BCEF-4CF92BC2C792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397a5970c91ba8b64aefb6aa321acbf9da5ed1f2","datavalue":{"value":"timed logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$E1A2CD33-6852-48A8-BA61-1C633318BF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8ed3efcf52db547d8d51f5108779dde36c6277","datavalue":{"value":"reals with timed functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$1D2A561B-DA95-4BA8-ACCC-7D47D0110722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000c24e35e51eda75804ad87348f70f5947652bf","datavalue":{"value":"timed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$8CFB1053-DD89-45EB-AB77-6DCEFF2D9ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e36e5c6ee6056499b3d35242c95c5fe092b8f7b","datavalue":{"value":"block Gurevich abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$982F7EEC-EF91-40C9-8BBB-07D5E46ACEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed96de97b0a609b359b7c86a233bcbfc19923f4a","datavalue":{"value":"finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$C59B03F1-4340-4E49-8AC8-F9DA4212EC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$FDF99757-D320-483F-8969-B88ECA971278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0440e906839ffc54e1f2807b297a724e9a54aafb","datavalue":{"value":"generalized railroad crossing problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957904$EB1B63D8-A482-44A1-B9A5-22D92F3EAFC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$86AA791F-CC80-4C7E-828C-F18AE90EAED2","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":"Q5957904$0E1A71C6-3B36-444F-A8D9-BA5701DAF3A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$8F47CF7F-7E3C-485E-A77A-D1B6116206CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$4863A58F-DDE2-46A9-8FF2-C30DCDA828E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fd0d69e7d3624644483b2eb4d25ad4d37dc7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5957904,"id":"Q5957904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$A35B23EB-636C-48A0-BC02-89F376CF09A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ab547d446e56688961df139f4d0a415e90fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1606131,"id":"Q1606131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$9C7F1CEA-FC2E-4509-9AF1-A02932884946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408defca181e11748239c499302d8cd3c1e9fee2","datavalue":{"value":{"entity-type":"item","numeric-id":4934321,"id":"Q4934321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$3CEEF187-9D70-447C-8282-5315723A9ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$F9D8115F-0A28-4C28-83A8-771A19392A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$43B7BD1A-DF57-42FC-823E-D8CB7F320A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$559DD8E8-DFBF-499F-8980-19BD2AF7A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$C8B7E93E-A71A-4E74-B106-D063038BC072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20e74feaba62bd46513e7af48c16a7db530206d","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$15CE7C2F-510A-4218-9D26-AB97B75D0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$AA970AAA-17C3-4F4A-AA3B-34043A78F850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$FD2F3FA6-1A54-489E-9D81-095D24301C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a14ef5dae22311fd22b93a31a3ce9fc9d7c85c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854330,"id":"Q1854330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$ACBC5A9E-687D-4FD4-BF09-D765AF8B779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b40ca15922708fafcf7fdd65a80fccea7dd5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4221299,"id":"Q4221299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$4983F928-284E-4AC9-95C6-379A0EBA9087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e98d04ef191b093ae24c0bbbd536897a2cc77","datavalue":{"value":{"entity-type":"item","numeric-id":3221371,"id":"Q3221371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957904$51FA0CB3-2172-433D-BA27-96B64A16D083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef5cebd80ebd0cecb802b2437f0d73c4c4b03a0a","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(01)00049-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5957904$8837A036-5B0D-404F-9EA2-4501605D3731","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"934566a71b22d1410a42316ac04661a6b9435871","datavalue":{"value":"W2051073429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957904$00183658-1655-4E2D-B8F7-226A2838B395","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ade0c5b8140f9a5e37a07d585e49f5ecc65f293","datavalue":{"value":{"entity-type":"item","numeric-id":4934321,"id":"Q4934321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e40fce58e88f74d1682e36f76488393aec966d","datavalue":{"value":{"amount":"+0.8844541907310486","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":"Q5957904$67E53410-1895-46CB-A8CC-B0EC54AB8974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfad90fb6753744354f0e61fc0cc4dab7700a972","datavalue":{"value":{"entity-type":"item","numeric-id":2368906,"id":"Q2368906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4faa33419de19ee7c8b207c567696c91c8b782bc","datavalue":{"value":{"amount":"+0.8309863805770874","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":"Q5957904$D1444566-1F06-4332-A419-ECEB30C3F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e658fa9fb0af4df6d72ddd7f084c7dd3c6b025c","datavalue":{"value":{"entity-type":"item","numeric-id":4824484,"id":"Q4824484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ed90d7aed1564f15deb01956f8b13ceca4e52c","datavalue":{"value":{"amount":"+0.8295319080352783","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":"Q5957904$9D428A7E-2E72-4F9C-94AB-595A84897BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5586246ccd721b34e633ee91fbd72467ac8493f3","datavalue":{"value":{"amount":"+0.8237935900688171","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":"Q5957904$3FF3F892-7E1E-421B-8932-E2B801B9A2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aeaa02c24f863e453d608c06d42b2eff41a4da1","datavalue":{"value":{"entity-type":"item","numeric-id":1606131,"id":"Q1606131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6e4c605d510829cc50d3c596e04c1acb45ea48","datavalue":{"value":{"amount":"+0.81356281042099","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":"Q5957904$79C360BD-E0AC-4435-A124-E3F3A5433D33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A first order logic for specification of timed algorithms: Basic properties and a decidable class","badges":[]}}}}}