{"entities":{"Q4454754":{"pageid":6484353,"ns":120,"title":"Item:Q4454754","lastrevid":41856578,"modified":"2025-05-09T02:57:27Z","type":"item","id":"Q4454754","labels":{"en":{"language":"en","value":"On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2053110"}},"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":"Q4454754$703D5FC1-8520-4512-88C6-044557AB16CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4dfb9fde269b02621d105743ee8362af75d8406","datavalue":{"value":{"text":"On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4454754$A773AF5B-EB3B-464F-AE0D-74DE7589C188","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b555b08111862146fb528b12cf218d0f008f264","datavalue":{"value":"1044.93041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$C656051B-1B95-4571-B964-7BF045199A9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3cf6ad868d8ab1cd4fe9507c0edb56cc576a49b","datavalue":{"value":"10.1080/00207170310001628570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$EBAA1FB8-7D7C-4555-97D5-7CFFDE1B0CD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aab928ea98533065c47c797ca3f8710c986833d","datavalue":{"value":{"entity-type":"item","numeric-id":2496815,"id":"Q2496815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4454754$67E06FF9-8A15-4864-A0CA-AE74D4843F72","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":"Q4454754$10E741FF-8E1D-4C9D-AF16-A686826A6C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d647c6aea86f080abca0b657f474344bc755fa73","datavalue":{"value":{"time":"+2004-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4454754$3614B0BF-826A-4794-B8B9-942678B65ED9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60faa124426dfc83f7b1fc79e58f331cafcb4789","datavalue":{"value":"https://figshare.com/articles/journal_contribution/On_a_simplified_untiming_procedure_for_supervisory_control_of_timed_automata_when_the_time_increases_strictly_monotonically/96515","type":"string"},"datatype":"url"},"type":"statement","id":"Q4454754$133980BA-1289-4251-B11C-0FF4BCA1EBDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$B742C890-A219-4D16-B0AF-E819922BA904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$DA2661D9-0CB7-4AEA-8A1E-00015FBA0CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$98D82E4A-823A-4956-927A-1539A92C4EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$4F363367-CB9A-4441-ACB3-C5408C9CBB22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df0565c0803e96b30eb77e1b60085046e0b4cc74","datavalue":{"value":"2053110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$E6B23EEE-A1CC-4DA0-92AF-2CCF76BD272F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454754$BBE15327-C3B2-4E1B-B45A-7D3FB0ACDB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454754$8018F88C-14BC-4869-A553-0E575DC28479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700d0d0c1ec78e3b4683b0aa504ff69b54439fc3","datavalue":{"value":"untimed language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454754$B1EE3714-E2D0-45ED-A04D-561114F08A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454754$A6452407-BBEB-427A-9169-0421966DA257","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":"Q4454754$6EB2428F-628A-4C80-81FE-1CA1D8758A28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b8a49c0e4665bc49bc2dd892c303221de94998f","datavalue":{"value":"W1967754004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454754$3C3801AB-09D3-463B-B698-250510E531E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b912fb22f82b1fa9f1d7f859c5b7081d7d44bf7","datavalue":{"value":{"entity-type":"item","numeric-id":4608678,"id":"Q4608678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf42d2461f4bec328337001d2655f3021c19277","datavalue":{"value":{"amount":"+0.8382626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$972DF2A9-92A0-4F49-A23C-71D6387CFA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b376c6353efcfa59b83ceb12106d12432b516f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7033d0c8af8307d8ccf73e70fd87a4a54b7fc8","datavalue":{"value":{"amount":"+0.83493245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$84FAEA6B-9F11-4E4D-B04E-A598D80DA6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56ccdcb5fba739cbaa313f99ef25cc406405469","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f281c51c7f9a0cef2c565a666706a841d5ffc00","datavalue":{"value":{"amount":"+0.83324075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$727D3521-50DE-4423-BAFD-8CB402B63F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f151773d0e214dcd0451cadb82a952c24c5a18f","datavalue":{"value":{"entity-type":"item","numeric-id":5092184,"id":"Q5092184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6f8b27e619d382eb97b0161521564624ad168b","datavalue":{"value":{"amount":"+0.8325237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$4CFD70F3-92EA-4FB3-88FF-37E1D35CA445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd558a9b0bd2b49dd81c07951ecec1f110c65875","datavalue":{"value":{"entity-type":"item","numeric-id":1699229,"id":"Q1699229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b5fc2bbc43b7f6ec484a286dbdb11cbf6ae46f","datavalue":{"value":{"amount":"+0.82745934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$D2396A34-2FA2-48A7-A23A-3393A5FCA27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd333429ff292404947998492e92d53c16d72e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5166676,"id":"Q5166676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d6b921105cc35d3de65a7bb5d24d96ef525f6d","datavalue":{"value":{"amount":"+0.82592624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$43C6C4DE-F065-48C6-9397-FBCBB2D53C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a0c69f6a6ebbaaa30caa25dfcad52ca4e0d4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2799292,"id":"Q2799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306b13a7afdccff700f555e270b2270fb64d8cd3","datavalue":{"value":{"amount":"+0.82543015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$DFD43814-A799-4CE5-B122-88A5D1CD2D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a8a48416ad3804dfe629cae0cf8a01d4a21cca","datavalue":{"value":{"entity-type":"item","numeric-id":4837492,"id":"Q4837492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5233de15e5ba5dbade120b8a8bd20b0e7b4f2f","datavalue":{"value":{"amount":"+0.82162255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$D9A961B0-2BE4-4EE1-AC34-DF98C93FC2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd91e6985b3d777f11a2b3e9af503181710f00c","datavalue":{"value":{"entity-type":"item","numeric-id":1949086,"id":"Q1949086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a7ba69719c20fa0327d228732f652aeb6e48d4","datavalue":{"value":{"amount":"+0.8191106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$A46D86F3-5207-4B46-ACB0-F3D52F88FD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60657b20b22812b44b4c584e5f556a3cc0b4eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3506869,"id":"Q3506869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6bc13f52f05985d42f555a96505e5d5669c056a","datavalue":{"value":{"amount":"+0.8190745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4454754$12ECDD4F-3570-4F84-9EF4-436EA2A218BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4454754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4454754"}}}}}