{"entities":{"Q2986983":{"pageid":2997707,"ns":120,"title":"Item:Q2986983","lastrevid":45203461,"modified":"2025-12-02T14:19:53Z","type":"item","id":"Q2986983","labels":{"en":{"language":"en","value":"Edit distance for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718292"}},"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":"Q2986983$BE8A752B-1042-43C7-A806-EE81E8C9BC94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8079785f32208937466927c5a0bfd3b2c608f4db","datavalue":{"value":{"text":"Edit distance for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986983$2AB750C0-A659-4372-BF90-2F7FD3E393C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"146630b4866063ea09343434a562dad2522cd3f3","datavalue":{"value":"1360.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986983$22D4E328-8567-49D6-9B28-DA7FDF68C7B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9061b58b91a3a9787600c35ae413feb4f38b8fd","datavalue":{"value":"10.1145/2562059.2562141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986983$C9EABA21-68E5-4466-BE78-DD7C2BAA6AE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$664C2C78-8180-4C76-8C46-F794B6D05FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b94a8c94a31fc791699de5d74ddaeb227da9e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1702914,"id":"Q1702914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$25CE19B2-B835-4A35-AF19-F416866A6EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$27F947DB-4837-484E-ACEE-E032208E5AA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a66987d483cf498cbb54fa8b0939eb16d8834895","datavalue":{"value":{"entity-type":"item","numeric-id":2986942,"id":"Q2986942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$92A92DA5-1F65-4055-B584-8524BBF5ED19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-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":"Q2986983$E6AB8771-11EA-41A0-BEAB-3A6D242AE703","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c79334fb1b17b8eb9c82c2d781774d4cd57e04","datavalue":{"value":"https://repository.ist.ac.at/144/1/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986983$ED307DE3-FBFD-406C-B233-44C6FDA980EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986983$61CFDCBE-9B8C-4982-A2B0-CFCF99F2553B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986983$B168E67D-D97E-4E02-82C1-32C9A9FB2532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9e286073a8b9a9f5bf152d3cf2cc09408e79151","datavalue":{"value":"6718292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986983$14063F44-812B-43B0-9BD9-D840D539AF21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91c92c699214b9d1be7a56f31bd929aa164bb428","datavalue":{"value":"edit distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986983$0917AD6E-2DFC-443E-B3A8-5993878F66AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d43cc557a6c23541e41deeca84fe2d154a25d6","datavalue":{"value":"rectangular hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986983$9EEF031E-046D-4D7E-A572-564416456176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986983$1B6D3BDB-CC5C-4FB9-AB66-D904E723992C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$01696D27-0FBE-4C2B-9B6A-4446AA3BA714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$67AD9123-6BF7-4066-B034-CD2FEAEE88B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$CF6A71BE-760D-42B4-8074-D5AC469E1F3D","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":"Q2986983$07F0AFC8-D127-43EE-8657-BF83BC25B75E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69035367a8e618028c56be1c8b69c52f87d3b0ca","datavalue":{"value":"W2004194448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986983$838D77C6-E1E4-4BF3-93DA-B82C82E04CC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb149bf6a73725ed17a5badf81338005e187aa15","datavalue":{"value":{"entity-type":"item","numeric-id":5898329,"id":"Q5898329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$0B8CE8FB-DFB3-4EBE-892A-ADEF2F33E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a6d9d4c005892aa7b849b3d059eda0ed03aaab","datavalue":{"value":{"entity-type":"item","numeric-id":1298283,"id":"Q1298283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$63831894-0619-48AD-9741-E05399A99E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad50836f62c74ebfef5aac7467da42e2b2b5283","datavalue":{"value":{"entity-type":"item","numeric-id":5267136,"id":"Q5267136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$84970FB4-0AE7-4812-9A37-861E6FFCDF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eba0eb74965bba287b4a3647588ff9b1b59f02","datavalue":{"value":{"entity-type":"item","numeric-id":3987118,"id":"Q3987118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$CECADEB1-6066-4D66-8DF9-40FAB3308CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bf8ca5f255dfc9ef274c7c13564bd8b6dea87","datavalue":{"value":{"entity-type":"item","numeric-id":4393080,"id":"Q4393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$8C1ABE9E-4BA7-4937-8539-CEA0612B2C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84654fe3761ac46000e58db2921e5e9255c79eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4974774,"id":"Q4974774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$C81CF0C1-B99C-43A1-B957-F782B905082F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d4a06338875ce2a23e3113be67b69b3915696","datavalue":{"value":{"entity-type":"item","numeric-id":2985874,"id":"Q2985874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$FC74F1A2-233A-4B7F-9B92-913624398030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b420ec1bc0791541a1b349455776f7181d468697","datavalue":{"value":{"entity-type":"item","numeric-id":1977035,"id":"Q1977035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$AFC7427B-69F1-4067-8E15-716C2F111D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c4803d00b49ce453c60909b7af6e4e230ddd52","datavalue":{"value":{"entity-type":"item","numeric-id":361070,"id":"Q361070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$C11FFC2C-52B9-4101-8FAF-D5D5BF998A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986983$2D1DC9B9-BF5E-455B-B118-55642CE5A000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7bced386dc7f2d2e3a1cdbb343f5e33e19f81e","datavalue":{"value":{"entity-type":"item","numeric-id":5367062,"id":"Q5367062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f662134c4a51984c30eb24e60dc3cd9629109844","datavalue":{"value":{"amount":"+0.9223498","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":"Q2986983$2317BAFF-7B60-4BA7-8D26-9F8605252665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9cfa6467862c9fce9634fb4a155c8be28b4c89f","datavalue":{"value":{"entity-type":"item","numeric-id":3449470,"id":"Q3449470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c625d2fc6f552b187a1be17b44b8f930fce06cb6","datavalue":{"value":{"amount":"+0.92234975","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":"Q2986983$581A6BC1-223F-439D-B381-5CA9DCCB74AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f792377e826e65224f535c165a379ca7405e21","datavalue":{"value":{"entity-type":"item","numeric-id":4418594,"id":"Q4418594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139ce3b54da0ff23c49da5380cdeebff1c384fa3","datavalue":{"value":{"amount":"+0.9056309","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":"Q2986983$24BFB983-FDA1-4335-9F7C-5A66F0E19D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60ed81f9c6fc7742726b821cd7636ec9c52a30d","datavalue":{"value":{"entity-type":"item","numeric-id":2176705,"id":"Q2176705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce4c2c465efb3728b04e219477e8b0260d1bb3d","datavalue":{"value":{"amount":"+0.8891642","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":"Q2986983$EFD29C34-F10A-4D23-9544-287E030B15A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465374e66d50363065b4208ff102f9ad80314789","datavalue":{"value":{"entity-type":"item","numeric-id":5920214,"id":"Q5920214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1c1f57ea3873558213566ec563f5f9ff227af9","datavalue":{"value":{"amount":"+0.8814795","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":"Q2986983$5366B433-CAE9-4820-A382-ACF6CE6B4A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61325d084ce0c778b44f129efe0a579f889f302","datavalue":{"value":{"entity-type":"item","numeric-id":5920061,"id":"Q5920061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1c1f57ea3873558213566ec563f5f9ff227af9","datavalue":{"value":{"amount":"+0.8814795","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":"Q2986983$23EE3B4E-862E-469C-85EB-A83564F1C8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc294190066383615a4fe24f9e0402a90ce0614","datavalue":{"value":{"entity-type":"item","numeric-id":5696947,"id":"Q5696947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ad63721f91c9c30c537ce1ffc177e37ab12aa8","datavalue":{"value":{"amount":"+0.87448174","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":"Q2986983$089A4B91-A557-46C4-A65D-A6DEBEC42CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1b5f7e4d603182711edf1f0da67986487a4397","datavalue":{"value":{"entity-type":"item","numeric-id":5919663,"id":"Q5919663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd88f2319d9a0132b77f3dc847678de277bf788","datavalue":{"value":{"amount":"+0.8708437","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":"Q2986983$986DD700-3F73-4DD3-9155-C807C1118A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d89c82800d7a6131b25296127eb9f97d4c98b75","datavalue":{"value":{"entity-type":"item","numeric-id":5918675,"id":"Q5918675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd88f2319d9a0132b77f3dc847678de277bf788","datavalue":{"value":{"amount":"+0.8708437","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":"Q2986983$99AD6303-E672-4D69-A573-5427E9E0D90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e78c7f77cdc3b289aa842f2ca0b589568588086","datavalue":{"value":{"entity-type":"item","numeric-id":3084798,"id":"Q3084798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600f69321806a16996674ec4ff68fc6995d06769","datavalue":{"value":{"amount":"+0.8561962","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":"Q2986983$CAEAFFEC-4730-4CEF-9ACD-82931A5995F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986983"}}}}}