{"entities":{"Q2842589":{"pageid":2853309,"ns":120,"title":"Item:Q2842589","lastrevid":51800933,"modified":"2026-01-20T02:50:01Z","type":"item","id":"Q2842589","labels":{"en":{"language":"en","value":"Classes of timed automata and the undecidability of universality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198630"}},"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":"Q2842589$8AB2DC0B-0A31-4392-8504-BF4D12DBC6FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd8a979a17921593096eb9b07640d6c5ed808f82","datavalue":{"value":"1270.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842589$E2C585EA-467C-4087-838B-A29C50B75C62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c70a1575f5c4bd65d4b3ca7c1f72798c9cdf44","datavalue":{"value":"10.1016/S1571-0661(04)80479-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842589$5F889D43-1000-4B5C-89EA-417B53263559","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":"Q2842589$5EC05BAA-0E8C-469F-986B-6B94DF11B386","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":"Q2842589$3B255A32-880E-4963-BFCD-E20D2F214AD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$7ACD03C9-EC16-44BD-A81E-36D103F7E10D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842589$45629ED7-6266-46AE-813A-28802F5FF96F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842589$6F5E7AE9-CBF0-4E91-AA85-1A97B05CD60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842589$9F58F628-BF93-493A-8308-0C992D719E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842589$42653834-1440-400E-BF94-6D5156496D16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6d85c7d9b16134a4ad5fc4fc02883e701d1efc0","datavalue":{"value":"6198630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842589$176DD621-1231-4F78-B845-5AF2F646FB50","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":"Q2842589$CB77162B-E455-4925-91D5-0B44BA345BC6","rank":"normal"}],"P223":[{"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":"Q2842589$5C5B8E02-2EC8-4E52-9E2B-CE8CEBCC240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557e35a8e6e7d0878aef210349805d47b6793b60","datavalue":{"value":{"entity-type":"item","numeric-id":5906326,"id":"Q5906326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$8217B6EC-442A-409B-B433-7EB5D5636D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc16f8cedb7d78e285968e2fee744790b4947ea2","datavalue":{"value":{"entity-type":"item","numeric-id":1274806,"id":"Q1274806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$9B145D2F-5D36-413D-BF4A-F03DEF1D3352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78026834786cebf1e420a937b1ce53e19baa1509","datavalue":{"value":{"entity-type":"item","numeric-id":3809783,"id":"Q3809783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$1D4257C2-1E71-43C6-997A-C96D2D5C8309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$A0892BCA-8144-4A59-863E-0B26BDF0D6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$960A0ECE-057D-4FE4-AB34-A01A97F56228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$66E7A0B4-9538-4DFA-B271-575F568DA6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2406a3464477fc09f4f68f3666c747d2a5279d","datavalue":{"value":{"entity-type":"item","numeric-id":4645197,"id":"Q4645197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$A2FDBBE6-37E5-42BE-AAAB-4496BBF7B722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$5A6F5CF1-6AA1-4DBD-A169-1C0C3F469598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$558BEDB5-A7B3-4215-A82A-3BD6F76344B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01606b31b31e8b61a9dd407ff0c242abab542c68","datavalue":{"value":{"entity-type":"item","numeric-id":2842589,"id":"Q2842589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$4F9C1A7E-12E3-4229-893D-074DDFFE3280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$7E76BF6D-EB20-4C20-93F4-1E69984167FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e7b069411337947dfa671009bef117bef64450","datavalue":{"value":{"entity-type":"item","numeric-id":1123589,"id":"Q1123589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842589$F67F904C-53BC-4288-8666-4C09A9FA7AE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5de77529d4b49f4ce2c699eb761a731daf488ab","datavalue":{"value":{"text":"Classes of timed automata and the undecidability of universality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842589$2DB7E677-F82A-42CB-B89D-B5814B09A6C4","rank":"normal"}],"P1643":[{"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":"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":"Q2842589$C61E8B13-F520-44FC-AA24-DACFCEDB0196","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":"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":"Q2842589$4337C965-4BD9-4B7B-B681-AE6C5D52FEB6","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":"0b81c03510519981d7d76d8b6d19ca6b46d2cb91","datavalue":{"value":{"amount":"+0.8407253623008728","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":"Q2842589$23F8B6C9-8AB5-458A-B882-76058DAA9036","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":"f9f062d85a536d8ee0f54943dd447d383b9a5d7f","datavalue":{"value":{"amount":"+0.8116393089294434","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":"Q2842589$C49E3BBC-5F3A-4F09-A1A9-A5AC9BC2F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcaa2951bbed1ab2ff5f4c4fd406bdb663b8a25","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f3a46db91279a4ff4f543694cbea02ae256885","datavalue":{"value":{"amount":"+0.8090678453445435","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":"Q2842589$90B7FF78-7575-46D6-AE30-39054E7382C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842589"}}}}}