{"entities":{"Q6154574":{"pageid":13288954,"ns":120,"title":"Item:Q6154574","lastrevid":93934283,"modified":"2026-06-05T05:28:49Z","type":"item","id":"Q6154574","labels":{"en":{"language":"en","value":"Fast algorithms for handling diagonal constraints in timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805525"}},"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":"Q6154574$3E2744E5-5624-46DB-A092-CB3206970382","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45d916a34f6fcd44250e92dda67a3fe501e65755","datavalue":{"value":{"text":"Fast algorithms for handling diagonal constraints in timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154574$EAD13448-EA80-402A-BACF-32F5C3ABFD2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f1c0e98f372447cf3590cc12d7749cfda693b2c","datavalue":{"value":"10.1007/978-3-030-25540-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154574$EED68E4C-8734-4A56-AB47-3D2E16E0BCEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154574$9840C21B-588C-49D1-80A6-4B7E1B93450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a88a2c7c543da479f2c4ee9fab3a84a37ac016","datavalue":{"value":{"entity-type":"item","numeric-id":239391,"id":"Q239391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154574$2C284E4D-83A9-439F-B41D-72A7237DC41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154574$C5B048ED-2008-4790-B757-55228721E4C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154574$EE24A2D0-249E-473C-93FA-394A5C9ABC4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-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":"Q6154574$D4BD1317-59EF-4066-97A4-6E58721B912E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c470397acd0307954581f8498e4b0700738ee625","datavalue":{"value":"https://arxiv.org/abs/1904.08590","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154574$B887E0D6-9D98-4542-85A8-C2B3F325F024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154574$70043A12-7695-42A8-B4DD-A3CFF1E96169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a02a0ab7ca69c8f86d0779eaf864510a949ef5","datavalue":{"value":"7805525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154574$D05DA018-D47B-4D61-8838-951DD2062CBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154574$6B5410A2-C376-4567-9179-B196C6CECFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d051d95737b9bb4499cfc4cd5257aee34164d467","datavalue":{"value":"diagonal constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154574$7AEF44BC-4F53-49F5-AB0D-6097F295FE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154574$F7260584-911F-41BA-AC6F-1590517C60FB","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":"Q6154574$95F6BEC9-7E8E-4D2D-B18F-34D22A070AB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5206ada1b191101afcac846b9650968ad69cd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b28c3a660f140954741aae6d8fba44adad64eec","datavalue":{"value":{"amount":"+0.8980095386505127","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":"Q6154574$7E4265D3-142B-4830-8EA4-A880DC20152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464a8f0329144c913a19705c22f19b37a5ac7b77","datavalue":{"value":{"entity-type":"item","numeric-id":5897958,"id":"Q5897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517b71b9f86feaacf3758ee0252f7e4bd5c7f266","datavalue":{"value":{"amount":"+0.818230390548706","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":"Q6154574$82D7EE20-61B6-4523-8829-3037768B2141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07783b54ad19fd3d0569cee41ef766e612cd21d","datavalue":{"value":{"entity-type":"item","numeric-id":5472953,"id":"Q5472953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88026ffdefd2cdd5ccf37c2449cdf426039b082","datavalue":{"value":{"amount":"+0.8171133399009705","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":"Q6154574$891368D1-82F9-4212-B94C-C3175FC4AFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7730acfea263f219e89a5cde2bb3279cdfb699","datavalue":{"value":{"entity-type":"item","numeric-id":1683455,"id":"Q1683455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2062bd66dd0b659954d1dbd91934abae1b68ab79","datavalue":{"value":{"amount":"+0.7506895065307617","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":"Q6154574$6EEE3887-00B7-4B56-B472-17C9FEAB9454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4316c1d32b47bbbda21fe9de6f61b05acd35ef70","datavalue":{"value":{"entity-type":"item","numeric-id":2911614,"id":"Q2911614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84448b5e27fc361b5254a35b7b9505650b4b3bba","datavalue":{"value":{"amount":"+0.7432835698127747","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":"Q6154574$DFA63BBF-A981-49B3-970D-A16470CC3211","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154574$4AA74251-5F7A-4CA7-81E6-DEE479C0F336","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast algorithms for handling diagonal constraints in timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_algorithms_for_handling_diagonal_constraints_in_timed_automata"}}}}}