{"entities":{"Q4339719":{"pageid":6369319,"ns":120,"title":"Item:Q4339719","lastrevid":46557354,"modified":"2025-12-25T00:52:53Z","type":"item","id":"Q4339719","labels":{"en":{"language":"en","value":"Supervisory control using failure semantics and partial specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1021888"}},"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":"Q4339719$8CEA72F4-893E-4C16-A571-C6CE4557CBB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd6c0f9cee7c809849e6673f69316054de6ad6fe","datavalue":{"value":{"text":"Supervisory control using failure semantics and partial specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4339719$40C6DFBF-BF40-4E5E-AC04-95F1712266D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d7560198db9e65c15bb1f01040ab6ce20e5c32","datavalue":{"value":"0898.93004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$E44E1F10-866C-40A2-8641-CB039E8674B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85855900186916e3f076dd6e0293cd35993ba893","datavalue":{"value":"10.1109/9.566659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$A30FE292-B441-4CC2-8B82-FFE9AA5AB9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44b5039ca65be941bc3e57ccc69617aacaf0514","datavalue":{"value":{"entity-type":"item","numeric-id":4339718,"id":"Q4339718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4339719$FDD2D396-3BFD-41DD-A23B-8E1906B96631","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":"Q4339719$FEC01E47-DAB4-401A-9279-A569896A7E68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d80e07a3ddf6acfcc204218beaa0c72593951fc5","datavalue":{"value":{"time":"+1998-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4339719$DA0D47FA-D2D8-447E-A0EC-348E6153F04B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffa833ead3302a20daa5cf01235cf9454302295d","datavalue":{"value":"https://ir.cwi.nl/pub/2158","type":"string"},"datatype":"url"},"type":"statement","id":"Q4339719$F691CDC4-913B-4C61-B3A0-96FE54AAA58B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$86D3C7A6-9084-4F8D-B500-7479A3AFD536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$8DAA79E9-7ED2-43A5-9EBA-72C762354C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$D5667802-BA39-4A3B-ACBE-AE330C321527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$9DA7CD6F-217B-471F-8571-86A8E94251E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5f0ce9cbc8dbeaf8ed6522af4efd25db447099f","datavalue":{"value":"1021888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$DCEC4FBF-10B4-44E6-BD61-EDAC5764F816","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339719$EB95527A-7E18-4267-8132-8A58A37DD455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a9f6c9532b6e16fc170094e7e28211347222f2e","datavalue":{"value":"nondeterministic discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339719$13679C9A-6290-4B3E-B68D-1127F494E927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939dd32d991ba90a936ad91d55a52e71697c5f9f","datavalue":{"value":"deadlock-free behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339719$F09EBD0C-FD50-4601-ADBB-7E9946980298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339719$E2F4AEE5-6948-487A-9DA0-0663528A7FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcd5933fc8d00c2f18897769ccffb5ec1b80436","datavalue":{"value":"partial specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339719$C051B1AA-5A6C-4B74-87CA-2D3891AD5574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6427e058e526b79f738071cc1c23b1b13a1ea485","datavalue":{"value":"bounded recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339719$3926FE2B-0439-41BE-9F6D-ABF9B42E76E8","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":"Q4339719$D9CB7E67-DFF1-43F5-A7D7-F09BE3E79FA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8cf71ccbf5896c784f0be7bd959188f031c048b","datavalue":{"value":"W2095786572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339719$4444E3E7-51FA-4F5B-86F0-908F042025F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f631fc725c3e7503863246f42e9cfabd53d8bb6b","datavalue":{"value":{"entity-type":"item","numeric-id":4763560,"id":"Q4763560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c00221346acccc298a095e1b3fbc4bbf04c9686","datavalue":{"value":{"amount":"+0.8241233229637146","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":"Q4339719$7B9147EC-DCC1-4F82-93CB-45269DAFA42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56df7a7eae3a61a8707ba8966dfd408fcb0b7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4763558,"id":"Q4763558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b4379aba25aab5e36d504d28167be5962c72b7","datavalue":{"value":{"amount":"+0.8052168488502502","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":"Q4339719$01AAEE7B-6691-4E69-86F8-F74362ECB258","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":"4f3da744ab4380cba494a77959304d76bddfeb90","datavalue":{"value":{"amount":"+0.8038186430931091","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":"Q4339719$7E580B33-9FE9-44E0-B779-B44226304DB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4339719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4339719"}}}}}