{"entities":{"Q5288513":{"pageid":7318087,"ns":120,"title":"Item:Q5288513","lastrevid":46299669,"modified":"2025-12-24T12:45:29Z","type":"item","id":"Q5288513","labels":{"en":{"language":"en","value":"Predicates and predicate transformers for supervisory control of discrete event dynamical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269699"}},"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":"Q5288513$1100F7CF-0758-48BD-A1B3-BE2E257C97CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95cd511739a73968e1b690cf58ccbf5b65cd271b","datavalue":{"value":{"text":"Predicates and predicate transformers for supervisory control of discrete event dynamical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5288513$022B8B7E-3268-49CE-931A-B555E60D64A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2067597441729c924270c7e132970e61cedfc0e4","datavalue":{"value":"0774.93003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5288513$8FDCC9D5-792F-4177-A99F-190B6276023E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd970667aef9ad7cedbcce170b279ca989a1775a","datavalue":{"value":"10.1109/9.250512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5288513$3EDEE600-3C1F-4664-BC12-33469429C74A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f45f82d5e189cd4082ece2dd91de330307ec2b2","datavalue":{"value":{"entity-type":"item","numeric-id":287189,"id":"Q287189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5288513$23E449F5-9B80-4916-89D1-01136CC1CFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aea9e72fca281113bd461c67e0f2e8956cd73fe","datavalue":{"value":{"entity-type":"item","numeric-id":300755,"id":"Q300755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5288513$67130866-9313-4298-9272-3A8243290EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bc86ddb24621ffe390dca2a4daa7ffc245ec9c4","datavalue":{"value":{"entity-type":"item","numeric-id":434479,"id":"Q434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5288513$6C058585-37B4-41BE-BAFA-8BB05DDC9A62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5288513$5D4C722B-AE85-4CFE-9323-7F9353B68A29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e7e408f96b064caddda1ca5f9f9174c517b1b3e","datavalue":{"value":{"time":"+1993-08-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":"Q5288513$C620E1E6-EB5F-4BA3-9D1E-7324039F2D14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e9688bef5631f4103a495f9361bd461da8cd1df","datavalue":{"value":"http://hdl.handle.net/1903/5156","type":"string"},"datatype":"url"},"type":"statement","id":"Q5288513$CF2C9631-8161-4657-832A-490891C46410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4ce24ea798cb24d40f7f7b071db8f0491546ad5","datavalue":{"value":"93A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5288513$87110ABA-21C7-4E46-B69C-BEF2C3A45D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5288513$D948CA92-9D6F-46E1-BA98-5CA589B81D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5288513$45597DEE-02FA-47A6-8025-F89522C63702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccf83c6eb8ef23e311b6f7cdf7460b37e9edafac","datavalue":{"value":"269699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5288513$014A8954-3356-45E3-BC4E-61153DBFF1D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cae59550c0e54c152827c36ddd7143791bb6b71","datavalue":{"value":"discrete event system models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5288513$F6CE4BA3-E6C4-48E1-BF72-8D18849F31AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5288513$45DB66D8-D516-4DD1-9B94-ED1494E0DD55","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":"Q5288513$DE88A872-1DD7-4EAA-A3A5-32951CEBDFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cbb5fce9184d78f51bdc0ba29b13977c1b6cc2e","datavalue":{"value":"W2121782671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5288513$E3431DF6-C515-4348-A944-81043DB57FF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69c8aa0fcd7abc4b277e886d9efa6be32b5fa60","datavalue":{"value":{"entity-type":"item","numeric-id":4021550,"id":"Q4021550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6118864848b499033944175847792bd594ecaf","datavalue":{"value":{"amount":"+0.8858019113540649","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":"Q5288513$83C9CDC2-E538-46E6-A773-EE9021C057FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621f0d2e5b218eed0435b2c8854fd39e1a73181e","datavalue":{"value":{"entity-type":"item","numeric-id":4850257,"id":"Q4850257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce488c7397c538f5c64d5869178252d433c23dcf","datavalue":{"value":{"amount":"+0.8590871691703796","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":"Q5288513$8CA7BD08-A6AD-425C-9EE5-574DDBCFE46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611f2e4786935e401616cea078386bc53e5e3a08","datavalue":{"value":{"entity-type":"item","numeric-id":3470292,"id":"Q3470292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3400f9f0e7fe54a9180059b97d04cbd3d9689373","datavalue":{"value":{"amount":"+0.8442233204841614","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":"Q5288513$C1DFC709-2B4E-4A33-B94A-59D66B235F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7cc5da151083e40d92b26635be0acaca826a94","datavalue":{"value":{"entity-type":"item","numeric-id":3827852,"id":"Q3827852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4db905257eb8ba391a5fc3d2e3f803057fef5e","datavalue":{"value":{"amount":"+0.8314312696456909","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":"Q5288513$FD195070-EFBD-49FB-93A0-EEBDD7642D9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5288513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5288513"}}}}}