{"entities":{"Q4036489":{"pageid":6066207,"ns":120,"title":"Item:Q4036489","lastrevid":88214798,"modified":"2026-06-04T13:56:30Z","type":"item","id":"Q4036489","labels":{"en":{"language":"en","value":"Verifying a class of nondeterministic discrete event systems in a generalized temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168895"}},"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":"Q4036489$82A1D6CB-1C67-498A-AA55-FBB06044647B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecf6c791d55106b2e7bbef44b39242acb3dc52fc","datavalue":{"value":{"text":"Verifying a class of nondeterministic discrete event systems in a generalized temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036489$386092D6-5461-42A8-8A89-12F132390890","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7218c7755ce2924d089d64e3cda30b59ebceb8a7","datavalue":{"value":"0776.93084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036489$8D5CA8A9-1D20-4EF8-AE73-96D429D38E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5399d9e857bcf279d4e9724f87f464c308b14ee","datavalue":{"value":"10.1109/21.199469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036489$86DFF4DC-E07C-4706-86D7-587418D9DCAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"740626573ddd8704cfd878f264dcb8113700ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":76080,"id":"Q76080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036489$047FE9C0-F079-432E-A91C-140B8DEF9446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036489$543EBF52-61DF-4BC7-923B-869C0BE3468A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036489$1795AA97-1689-4B40-AF37-32746B3C5E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036489$F37CA8C2-0000-45E9-9CAF-6EE41B6BC8BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03c97ad686c470ab2ad733170cceff5265d8d285","datavalue":{"value":"168895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036489$8F33B1EF-0CCD-4F16-A908-2AD3A80A37F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906f46cd48ded92aeae4db7f384815b0b794a0f1","datavalue":{"value":"non-deterministic discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036489$47460ADC-9E57-4A9B-9787-1FB76BA0C5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd68c1bd69afd0a113cf3433bf84fa7b891d74b","datavalue":{"value":"flexible manufacturing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036489$BEEE6D62-A30D-42E5-8D93-49EEB6CF4B9D","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":"Q4036489$97EB998B-1BB8-4150-9032-72EA58E80896","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4910cf04f8ce8ed2293aaae5fbf84b138fceaca","datavalue":{"value":"https://doi.org/10.1109/21.199469","type":"string"},"datatype":"url"},"type":"statement","id":"Q4036489$5F025F8B-B36D-4626-A82F-2C46E6801F9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0281de057a247415b406f9b82600d422e21fe714","datavalue":{"value":"W2163668905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036489$1F1CF64F-78C8-470E-9271-9C3ECB8099DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c5717d445f5ab960f93bb8edf98a50975187e5","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cb9d2af97bbf9bc350dfd77c93e8518ae095d3","datavalue":{"value":{"amount":"+0.763134777545929","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":"Q4036489$3FE43A42-EF8B-42ED-A077-F1C92678AF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf90fabfbfef4636cea2af18b289885a6c44eaf","datavalue":{"value":{"amount":"+0.7600077390670776","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":"Q4036489$5FCE058C-21F2-4160-A1EA-7D9F31879029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0685bafb87ff94454e3c2c7c71f51b89cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5047168,"id":"Q5047168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a957cb29ca67a0dbac4c4150eb3620bd5860d8f1","datavalue":{"value":{"amount":"+0.7485708594322205","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":"Q4036489$1F3FB355-05FD-438F-BD3E-A07618CD5B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c759f97e724a6493e65f1c018ea947e660d82a4","datavalue":{"value":{"entity-type":"item","numeric-id":4395809,"id":"Q4395809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2c466268a64686610afe12656520a2322fd74f","datavalue":{"value":{"amount":"+0.74428391456604","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":"Q4036489$0B54F9CE-9AD3-47D0-8093-C565D83F2DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2f76ccad9bb0f2a7eed919ae85f083a6e3cd63","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2c466268a64686610afe12656520a2322fd74f","datavalue":{"value":{"amount":"+0.74428391456604","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":"Q4036489$28F50635-7112-4688-ADEC-140566289209","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying a class of nondeterministic discrete event systems in a generalized temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_a_class_of_nondeterministic_discrete_event_systems_in_a_generalized_temporal_logic"}}}}}