{"entities":{"Q5450118":{"pageid":7479677,"ns":120,"title":"Item:Q5450118","lastrevid":50310254,"modified":"2026-01-13T19:26:36Z","type":"item","id":"Q5450118","labels":{"en":{"language":"en","value":"Classes of timed automata and the undecidability of universality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5251109"}},"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":"Q5450118$C1D1B8E2-FAEE-4E63-A571-EA1D95FF818D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d981672a1ebdb3d08c59ca29f83da8b8b724fa2","datavalue":{"value":"1148.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450118$DA5E9F2B-42E6-46B4-B5AD-BD021BEB463A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b68a5e136f5db7a04a31010d40933c246905902","datavalue":{"value":{"entity-type":"item","numeric-id":294872,"id":"Q294872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450118$F57D0194-11A9-4801-BB09-5942F9A6728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e5814b970b5f0fb67456a9171b66036917a49b","datavalue":{"value":{"entity-type":"item","numeric-id":891045,"id":"Q891045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450118$B710A384-0272-4897-8463-11C76BED1A40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5502baf3530eb4ba54eb978f9bc54f1314c6bec9","datavalue":{"value":{"time":"+2008-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5450118$D10026BA-5A92-4488-8CF6-B645FC1939F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450118$090BA9D1-3A69-43C0-A2D8-A900903BB1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450118$177312F4-0405-4040-B43A-9E06998CDE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450118$D071F121-82ED-4F11-BC8E-798F58F658B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450118$DC1975CC-B4CD-4F0D-BA1D-FEA7EDEF3D7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ffa772e56673d3e2cc1d892f897a2cdee885fa1","datavalue":{"value":"5251109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450118$D6066CC4-C936-44A8-BFD3-B9CDBD3299A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0883dc59be9c265b1ecb0d04271388021a21527","datavalue":{"value":"timed automata: universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450118$B302BCFB-BDB5-4733-A73C-8B022FD6BEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"173d7f79044a5de0b718445161f59f8d6ec09060","datavalue":{"value":"analytic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450118$265D49FA-F200-4AD4-BAAB-66BE20EA1429","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":"Q5450118$460D3601-BC14-4B83-A0C0-5CF58B91F4A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0ea491282ad27e1f4e81812357eb2cb3b8e2e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842589,"id":"Q2842589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49c91563b0d5f334c1f8ee367ede16044b07f35","datavalue":{"value":{"amount":"+0.8952271342277527","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":"Q5450118$FA6BC082-DB2F-43EE-A08E-D2891BC7F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718489a289676537198ae32405d8f635f14df783","datavalue":{"value":{"entity-type":"item","numeric-id":4418006,"id":"Q4418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33be49b5d0bc7097910452073764b9c42753d489","datavalue":{"value":{"amount":"+0.8426676392555237","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":"Q5450118$E2F3D984-3686-4F60-9F41-3CED8C1A03A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1395b95b89e73242afefcd1dc09c6087f98f1e08","datavalue":{"value":{"entity-type":"item","numeric-id":3510831,"id":"Q3510831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20afc4854aab3a24cd9e21f2d15523131e386556","datavalue":{"value":{"amount":"+0.8254501223564148","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":"Q5450118$9EFD3DF3-26A6-4346-A151-424F6D2813B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423f1294af34fe9f0fb076da2e61bb338ac2c852","datavalue":{"value":{"amount":"+0.8064473867416382","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":"Q5450118$FFD87613-CB38-4B39-8F0A-54E3BD5850C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332db9717d6fe9249a592a8a39c29bb9b61f1ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5705879,"id":"Q5705879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18183c39073c0f167cc97b27fb8bcb72648c3242","datavalue":{"value":{"amount":"+0.8054568767547607","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":"Q5450118$F665946D-EFC1-4CA2-8380-BE7E3634086B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5450118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5450118"}}}}}