{"entities":{"Q3510831":{"pageid":5540735,"ns":120,"title":"Item:Q3510831","lastrevid":50400713,"modified":"2026-01-13T23:36:19Z","type":"item","id":"Q3510831","labels":{"en":{"language":"en","value":"Undecidability of Universality for Timed Automata with Minimal Resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297067"}},"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":"Q3510831$9BC74B88-0D79-40B1-84CA-8154E47F2029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0b37ce880e4d1ec974115ff13627d25d72c630","datavalue":{"value":{"text":"Undecidability of Universality for Timed Automata with Minimal Resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510831$806C6A6D-CA34-463B-8CE4-91C915DA2591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44c7aae459ecc8faacfd527c047dd3732ac522c4","datavalue":{"value":"1141.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510831$6E70518B-EB31-4559-A10C-6B1C1E55B9E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45cdc731da7acb7b29105e4c980b54ae8048f38d","datavalue":{"value":"10.1007/978-3-540-75454-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510831$E19646B6-2C2A-4B1D-A78C-74365CDAEC61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98f57d09d4d72c2467d543db1e963c709524fbde","datavalue":{"value":{"entity-type":"item","numeric-id":3510830,"id":"Q3510830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510831$203B3656-40A5-4E91-A3A9-0692B51BC16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510831$D0D040EA-0DB8-4CC1-9472-3863948FA952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510831$861100F5-293E-42F7-BEA6-22ACDCC30FA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510831$7AB35804-2CA5-4A12-9959-5269E9E1A4AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510831$F6882135-EE7E-42FF-812B-CE01F1682D68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"453de007984daa94fc6e1daf386ac03f4f47fde8","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.1077","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510831$D6DB75A9-42DE-41AD-854C-ACEBEC307F69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510831$8C224FB6-1D38-4C54-912A-6DBA0946C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510831$F14D81DE-BE72-416B-A324-8461E3C6F0F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"369bc96c934535fad417c3ef4a52b4ba598692d9","datavalue":{"value":"5297067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510831$28E809D2-A1DE-4948-896E-3C98869F88EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510831$F68679C8-9B00-4AF5-AC90-84AEDCB7E4D4","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":"Q3510831$C5645C6E-7D97-4C3D-A530-69AAA9A3325C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"044ea56e571364e81eb1bab42b29d775cd16bf79","datavalue":{"value":"W2116411132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510831$B1AEE573-0976-4A5C-A97D-46D94B7B93E9","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":"2c1347601680c3285955ab3f386c68b7c2e64092","datavalue":{"value":{"amount":"+0.8458529114723206","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":"Q3510831$8F5E2651-EC59-4897-B309-67398964618E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3a1f1e04bf9916fd4b76a9838e88ffe3963c81","datavalue":{"value":{"entity-type":"item","numeric-id":3601411,"id":"Q3601411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14b2ce0ad9d1d76eb45506b51984bc9372d90b6","datavalue":{"value":{"amount":"+0.8379037976264954","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":"Q3510831$FF6F4F8D-DD05-4B30-B8FF-F651E865596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6250073bbcfaef979c5f46947f1c1b05cd6518","datavalue":{"value":{"entity-type":"item","numeric-id":5450118,"id":"Q5450118"},"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":"Q3510831$40D1C879-F7AA-48EE-8284-0E2A931CC536","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":"2704744607d48c7a905beecdbb6ea3e7ff1b2cf6","datavalue":{"value":{"amount":"+0.8254241347312927","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":"Q3510831$254C5851-F927-4882-AAD5-487536A2BF39","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":"d36b8af5e7ddcd03a99f5c546844c4b57430ae96","datavalue":{"value":{"amount":"+0.8218448162078857","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":"Q3510831$93E5EA53-4B4D-4356-B1BE-648FE3A764F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510831"}}}}}