{"entities":{"Q5891771":{"pageid":7927566,"ns":120,"title":"Item:Q5891771","lastrevid":58617168,"modified":"2026-04-06T00:53:44Z","type":"item","id":"Q5891771","labels":{"en":{"language":"en","value":"Weak alternating timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086016"}},"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":"Q5891771$86EBD04A-F66F-4BCF-8455-36F99DFD6ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88bdcfb7897d8c24a462fa95cd4d5f273f6695f2","datavalue":{"value":"1258.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$63A7B83B-A128-487B-B01D-CD8207C9549E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81cff0fe3ccf92d55983ec3c7070337c6714c136","datavalue":{"value":"10.2168/LMCS-8(3:18)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$AD13CFC0-D1D7-41CA-9E40-B21D197011C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891771$70FD491F-0954-47CB-A3A0-12C3893897FB","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":"Q5891771$C4D305CD-EEA7-4EFA-A6C5-1123FC1B9809","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891771$0EBA0285-246F-49EA-B641-1700B13A560E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891771$C55A1B87-BD35-4AAB-A48C-6BFB79B165C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11b44837964496ecbc2cfd3d8d66bb642a4b26d8","datavalue":{"value":"https://arxiv.org/abs/1208.5909","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891771$2FC7695C-763F-4FF7-8D84-8B7082405CEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$8AEDA855-E225-4603-A581-5096DEE2354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$1ECAF557-239D-42BD-A4D6-431B556C0DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$444F4C72-EEC1-4EE3-9063-3F315A12F58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$462A54E7-4D4B-47AB-BEDD-AA5C2373A4BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0efa1bbefb0c78262bd40722c218b727908daf86","datavalue":{"value":"6086016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$41933C04-F627-4432-AF17-5ABF28FC4BCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891771$E224535E-4AFC-4822-947C-C1642B53CFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f76633f75ad992c87ec1fbb73343152ad2f79e","datavalue":{"value":"timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891771$EC6792F7-5BC9-4EDF-9884-260D76EF74D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5869627cccd77a3b1826e8092e529dc07c39590d","datavalue":{"value":"alternating timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891771$C841DC8F-E358-4013-89E4-4073266947A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891771$EACB3850-4D77-44EE-9039-A1CD77EEE4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891771$F2FE683F-097B-4939-A874-AE8792B72CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67d81a25ebd6039de758c8750caad574fdf7188","datavalue":{"value":"timed temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891771$2043057B-1EA8-4F58-8E8F-EA24CA638FEC","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":"Q5891771$A487E35A-3109-46F8-AA9E-43B3E770FAC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ccf4fd2a6d69109bd8479e58a6b9dcd2fdc0ae4","datavalue":{"value":"W3104737963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891771$D451547A-6F38-4304-A2E1-414A28189386","rank":"normal"}],"P1643":[{"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":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$AD074C8D-525E-4DFB-BB44-DF5686FA30B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4fca16a0a29c450cfab54b33d6bf08726382d3","datavalue":{"value":{"entity-type":"item","numeric-id":5277799,"id":"Q5277799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af0c328f3a75f1321fa8208c299a21e98bb48f4","datavalue":{"value":{"amount":"+0.9210255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$7E108875-F410-4A91-BA75-21AF4C919525","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":"0af0c328f3a75f1321fa8208c299a21e98bb48f4","datavalue":{"value":{"amount":"+0.9210255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$29E8BC0C-EE0F-47DB-86EA-02F8B0DFCD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bf06fc5b450fb6ce8226ac7157dbd379b14a85","datavalue":{"value":{"entity-type":"item","numeric-id":5090957,"id":"Q5090957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9498475a3f1becb3bd32d324199698b0e3ec1b73","datavalue":{"value":{"amount":"+0.8813626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$C4C0FBFE-809C-445E-90D0-AC8A564BD7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967c5d7880f93b77be4e1b42b7a1a5ab344706ab","datavalue":{"value":{"entity-type":"item","numeric-id":2842659,"id":"Q2842659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9f8f298c9bcb4d89b7f9a936f978e05bcfe2b6","datavalue":{"value":{"amount":"+0.87443876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$BEB51F68-8ABA-4FA2-B67F-450DAE6C8D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af63442576abcfd445dab325b8f3989a0951a04c","datavalue":{"value":{"amount":"+0.8721363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$B2B6142A-CC90-41E8-AF99-888A15275DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af63442576abcfd445dab325b8f3989a0951a04c","datavalue":{"value":{"amount":"+0.8721363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$614F7980-3A5E-4263-B29A-A955A0658608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683e2d18d36ecf93f4588c1e5b6a135b47cdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5418249,"id":"Q5418249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af63442576abcfd445dab325b8f3989a0951a04c","datavalue":{"value":{"amount":"+0.8721363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$2E1A5544-407D-4277-A08B-FB7E97F86536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc62161c677dfce3a0f9ff5548fef375db3e194c","datavalue":{"value":{"entity-type":"item","numeric-id":2244829,"id":"Q2244829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af63442576abcfd445dab325b8f3989a0951a04c","datavalue":{"value":{"amount":"+0.8721363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891771$ED2AC5DE-B8AE-475E-B915-EA873B30C12F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51b2e72c803169d5b46be869972570fb8d448fa5","datavalue":{"value":{"text":"Weak alternating timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891771$6E5F6403-2868-4281-8C9F-27E2D51DEBFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891771"}}}}}