{"entities":{"Q5752401":{"pageid":7781952,"ns":120,"title":"Item:Q5752401","lastrevid":49463683,"modified":"2026-01-07T05:08:18Z","type":"item","id":"Q5752401","labels":{"en":{"language":"en","value":"Decidability for a temporal logic used in discrete-event system analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187594"}},"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":"Q5752401$89ED66F4-7F68-47B7-BA13-6C0B07F875D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25d4d5ea717c121b829900b4caad50d1ae40efad","datavalue":{"value":{"text":"Decidability for a temporal logic used in discrete-event system analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5752401$F5D2FC72-6489-43BC-B113-718E12DC1479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b81abd75212960839281532da04a170490dc5c1","datavalue":{"value":"0719.93005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752401$524090E9-AE5E-40C2-91A4-3BE1F3187736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9397f0a5419f9ad0006fde4b4bb62ecce8a72e75","datavalue":{"value":"10.1080/00207179008953606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752401$ABECDCA4-BAE8-48E8-B1D2-365922EFC056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fb634f4734608e195f8a7a138ef4cfa719af171","datavalue":{"value":{"entity-type":"item","numeric-id":212021,"id":"Q212021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$291597D6-8F1F-4645-A39A-FE5D8F38AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$3D9A8E9C-F285-4A0A-8120-4E88D83E6663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$06E1EC18-BAA9-4A4E-903F-0ECA9C300A6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5752401$C17FA6BF-7729-4C4C-9A10-D99D503617FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98c8953a849a41f73de6c789d289dafdf7e2b4d","datavalue":{"value":"93A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752401$6BA5AC12-2989-41FC-8D15-671C9E3F0228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752401$7ED92A40-BA0D-4BA6-9B91-4A75C29550D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbf07090b4eff0dbf5bc562f2e79c60d90908ac8","datavalue":{"value":"4187594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752401$A2DEEEE3-DD27-444E-8A22-DCE96FF7F241","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc71430e267eaf72297eb4385aac483fe3c3a46","datavalue":{"value":"non-deterministic finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752401$7699B15F-CCAE-42A2-BAB8-A4B550859123","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":"Q5752401$E0DB408C-B8BC-4545-AC71-1A1DA874C459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf4fd32fdbc3ec6111e6680bb13a1a6d4d6f0860","datavalue":{"value":"https://doi.org/10.1080/00207179008953606","type":"string"},"datatype":"url"},"type":"statement","id":"Q5752401$4CBE48AB-D392-47EB-9206-890C09D01E58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6923c70bd093b72c0c708d2bf485448c1b2e33d","datavalue":{"value":"W2056790232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752401$F1986D3E-CE03-49D1-AF0F-3BD72D27C270","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f2bb30baf813e6df9e761521cb58e57d6d331b","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$36709FD2-E44E-41C2-9188-FE67AF7BD003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$55C7F345-56FD-476F-9139-A2ED64B91534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$C77D4F9C-A6B5-424D-BE9E-AC5D8C0A5D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$446BFB47-5AEE-499F-82B6-064BCC6F709F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54094cff1080fe555cb648f965d875615302a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752401$58EFC964-7182-42DF-A898-3C18083028CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0431db232f25b6835a05871c6b1c32e366cf0c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8536f17e88defea37159fbaa509eea0293fa259d","datavalue":{"value":{"amount":"+0.7915213704109192","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":"Q5752401$7BEA26DB-4FEB-49B3-84FA-9857CCB15DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cd7b725f10eea2157eeddb7a7f47da3826b66f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e677f746fb11a911b1fc608c0094addf3a1fe25","datavalue":{"value":{"amount":"+0.7762421369552612","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":"Q5752401$8EF39EE1-E2AB-4645-88B4-B2615E176F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4320679b7c1baac50081316ca56a03919bd13a1","datavalue":{"value":{"entity-type":"item","numeric-id":671584,"id":"Q671584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7275ddca8dbc00c053c64e7cab0d0a0454fc2614","datavalue":{"value":{"amount":"+0.7689609527587891","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":"Q5752401$F62CE670-953C-4783-853C-711C95CA94B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c32eaa50c13863f7dcee28e8f2f8b44fc578258","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b75a3a8048f2232bebc6fa16e426ff0e459c7c5","datavalue":{"value":{"amount":"+0.7540698051452637","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":"Q5752401$68D20CD6-E12B-443E-B0E2-29A37A42AE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830568d6bc124a06cd305c9a1ec08017b571f72a","datavalue":{"value":{"amount":"+0.7526065707206726","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":"Q5752401$BF32299D-BA7A-443D-B492-6C3E00E63AC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5752401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5752401"}}}}}