{"entities":{"Q844195":{"pageid":846043,"ns":120,"title":"Item:Q844195","lastrevid":64766415,"modified":"2026-04-11T22:04:58Z","type":"item","id":"Q844195","labels":{"en":{"language":"en","value":"Improved undecidability results on weighted timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659927"}},"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":"Q844195$F155F5E9-146B-4E10-B803-E76127F67878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a65794f80811731bd4524536b4b16d95ea27616","datavalue":{"value":{"text":"Improved undecidability results on weighted timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844195$2B2B7A42-A1D5-49C6-A6E5-B11B913BFB2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d44901f133e2b65cd3c2d1b1e612138ba3f95b","datavalue":{"value":"1187.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844195$0ADE06A9-2636-4207-B0D5-3FF42935E885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$D4E14557-8820-4378-9A72-6923A7C24F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$C455810F-68BF-4588-A04E-D10AC1644F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$61FF1566-C249-4E9A-8D58-61E4E6ED8C18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$9F2E01E5-1808-475D-B29D-649E9C0E31C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844195$40EE5570-4139-4575-907A-DFC07CD717F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844195$5A22C3D4-3517-4252-8486-E6CC53A9449C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cbb1fb8a01e05ee4cba0177315b4d1a3c676772","datavalue":{"value":"5659927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844195$E831A63A-28B2-432A-98E1-DA908BD162CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1830611f60e73ba6d127e5cba1326aed2487f131","datavalue":{"value":"weighted timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q844195$D9383DFA-A326-49E2-ABCD-992FA37E71D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe8b6c3774dfb47415c5cf1b9ccb1911aef3590","datavalue":{"value":"weighted timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q844195$AA78FAA8-71DA-4031-8A38-819581A4D748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q844195$EE475CB8-0715-46B3-B465-4D9D0E80EF3E","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":"Q844195$4BDE1379-6AB1-46D9-A45F-C9116DC71C3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20869d01864f5c0e678ae30ae52ee4d1e3591452","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.01.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q844195$74A6091E-5621-4C3A-AC0F-F754A08930D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"906ca2b0e0523ce7d855af366fbb232be20f4a75","datavalue":{"value":"W2081128931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844195$EE789C8D-5242-4BCA-BF64-16C6DCAE5393","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5352eafda026df0ca8bde0e787c3dea427f206","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$70FC0C92-1D23-4127-864A-50D7425BDE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$361661AB-1743-4896-8BED-F8CAA7E2A826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$46CD42F5-5FB5-4481-8635-B6E318249350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$AF8B4901-AA85-4879-B738-7E739B63DF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$40DAE0B8-FF4E-4CB8-8D03-F8B8259A2631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c43f46aca23c169f26439c4a79ec43333e81d","datavalue":{"value":{"entity-type":"item","numeric-id":5465848,"id":"Q5465848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$0D6BE283-3F93-462A-A501-E1CAF431A0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$9E6C8800-BAEF-499C-A1A7-C46973716E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7086d42a3026d8c0b740b2a1629e424efd42f0","datavalue":{"value":{"entity-type":"item","numeric-id":2492187,"id":"Q2492187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$5A448C1B-6945-4AD2-92C0-627E24300EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb90bbfdc61aee8c84150d46056ce0f1a0e39f","datavalue":{"value":{"entity-type":"item","numeric-id":5897953,"id":"Q5897953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$8BF33A9B-F29C-4052-85A3-4B3080755AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1cca5805b0cd78664cf35a1eb9a2408c930a5","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$EB55BC4C-255B-449E-8C70-71A66C1B0724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844195$4C30F6FB-7888-43AF-B975-E32B55FAB779","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cae9640b64b6d9029ea0909aa6242754eaf3592c","datavalue":{"value":"10.1016/J.IPL.2006.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844195$2FDD7095-BB5B-41E1-8C9A-E40288F784A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9be0ef2173b9a697c39e55dc7f230c8c1c9912a","datavalue":{"value":{"entity-type":"item","numeric-id":3510834,"id":"Q3510834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a73848392797edf4e3e836544fa850d4c84ca2","datavalue":{"value":{"amount":"+0.8133204579353333","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":"Q844195$356CA8D7-9296-4CE7-B579-0675E03D875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa90602de353a772a5d244c5485d5cea145d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98950ac27406238c53000d9cf51f41e182dcd253","datavalue":{"value":{"amount":"+0.7985202670097351","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":"Q844195$7188E3F7-06AD-46BE-A01C-64FA1FCF5550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045b16a0ba12160ac9072dea210dfa62c8e9dfe4","datavalue":{"value":{"entity-type":"item","numeric-id":2842657,"id":"Q2842657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb57902ce540952931d94b2ab6a2c6e18c079047","datavalue":{"value":{"amount":"+0.7942994832992554","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":"Q844195$A2DD088D-4531-44CA-A4E8-87E90A59B162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bb819c8f68f641587161e5264bf1042a256e9a","datavalue":{"value":{"entity-type":"item","numeric-id":537908,"id":"Q537908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9cdad070f09b32c8c50403ec78482d7cc31dce","datavalue":{"value":{"amount":"+0.7914260029792786","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":"Q844195$9F1D10E1-1429-4F3B-BC8D-B445074BDC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788d615c3ae5cc432a05f81481bb3004b1db8fd3","datavalue":{"value":{"entity-type":"item","numeric-id":3004604,"id":"Q3004604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5539911a94b2245977dedfb11f4ad22b31cb80","datavalue":{"value":{"amount":"+0.786537766456604","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":"Q844195$D3208E45-053E-424D-B16D-F9BE2DC99D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved undecidability results on weighted timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_undecidability_results_on_weighted_timed_automata"}}}}}