{"entities":{"Q5277799":{"pageid":7307374,"ns":120,"title":"Item:Q5277799","lastrevid":52850669,"modified":"2026-01-23T15:42:33Z","type":"item","id":"Q5277799","labels":{"en":{"language":"en","value":"Alternating timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744050"}},"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":"Q5277799$23E5C2F7-31D4-4E05-A56C-3737ED406245","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6664bb0bc08df78714228db174f50a80b0de28b","datavalue":{"value":{"text":"Alternating timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277799$1297D250-D010-4CB8-BA12-13BBAFE442A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c04d2458b232d0294f42ed4e53b62345d3a5284a","datavalue":{"value":"1367.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277799$B4261C07-565C-4BF2-BA21-52051EE547F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d786bca1a0ad43b5c68ef27e23079a6b545e8eca","datavalue":{"value":"10.1145/1342991.1342994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277799$C6B89442-E66D-4129-ABFF-E92F742437A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277799$0C4FF169-03F7-42C0-8F4A-B4E386F7089B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277799$E61C6C98-CAF4-48A3-B8A3-D42899D4FB1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277799$9424948B-82F0-4152-A4DF-C9A1B2AD9A7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277799$EA1BF9EB-0223-4DDA-A420-7302FEBBC9C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277799$0342D9FA-AA31-40D3-8268-DBD76EFD4EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277799$B03F6605-78DD-413B-A29E-F12662E7C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277799$8C46D332-C813-4141-BF5B-7131377DF44A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e177807e653c50c5d381c6a9d31bb195360e3e4","datavalue":{"value":"6744050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277799$F0624A5A-325F-496A-B17C-288313370F37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277799$DE30F7D0-BC4C-4BCF-B310-4BB54BD14B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277799$23261AC9-FAA0-4C96-8284-1C73FD04EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277799$9DD7B075-89E6-4947-8642-10C7517DF188","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":"Q5277799$A5BFBABB-F8C1-49A8-8543-145FFC2A7D80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1aad56be796e64a985ad18f5b6305061412df3a","datavalue":{"value":"https://doi.org/10.1145/1342991.1342994","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277799$0620AA30-CE45-4FF8-AAF6-1422D5C918BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adb6cc0a4396b6b99eb69e01e8e52e430b3c0b8f","datavalue":{"value":"W1964297656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277799$0ED166BF-3E3E-4587-80D3-D5B9F0A2800A","rank":"normal"}],"P1643":[{"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":"f97f7df35b24ecfcfcc469170770123dc5972788","datavalue":{"value":{"amount":"+0.9827941060066224","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":"Q5277799$B8BE912E-6FA1-40C1-AEEA-6F314D5B2616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e70dba36a3221d7621d84f057acc9826e74c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":5902153,"id":"Q5902153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec5fc5893d5b2dfee073054ac7a610aced5c4a3","datavalue":{"value":{"amount":"+0.8614898920059204","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":"Q5277799$14216F69-3260-460D-9A06-9209946816AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b1ed07585fed784ec89118309a71d7f880f588","datavalue":{"value":{"entity-type":"item","numeric-id":5891771,"id":"Q5891771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dca2710516672828517e47b6caeeebaa9b4f435","datavalue":{"value":{"amount":"+0.8607503771781921","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":"Q5277799$87F49BBA-E29C-45E0-9621-56EC155B0209","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":"b53f82424b6789b89f1c7c3d46ce995b25d2ecc7","datavalue":{"value":{"amount":"+0.8530120849609375","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":"Q5277799$F78B5542-236A-4628-8340-A3080C0DAC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e88e951ffd6bf0e120ffb34da2e669159aca938","datavalue":{"value":{"entity-type":"item","numeric-id":5716855,"id":"Q5716855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac97444bfcdb2ebf2c44ac5a782d0a27deedf19a","datavalue":{"value":{"amount":"+0.8367422223091125","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":"Q5277799$C2C14701-C47E-4CB6-B198-E3455AC1017B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277799"}}}}}