{"entities":{"Q1791171":{"pageid":1801913,"ns":120,"title":"Item:Q1791171","lastrevid":72966489,"modified":"2026-04-14T09:04:35Z","type":"item","id":"Q1791171","labels":{"en":{"language":"en","value":"Verifying the LTL to B\u00fcchi automata translation via very weak alternating automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946987"}},"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":"Q1791171$B8103800-9E3A-4DE6-8301-AEC7A9E40F26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c953da7c5afa8bb7cea062ac7a0fb84cd0db85a","datavalue":{"value":{"text":"Verifying the LTL to B\u00fcchi automata translation via very weak alternating automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791171$74D6FA45-A2BD-479B-8356-4B9B822DFD63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7934fc1cf7f2d088d2abc9fcce0a81f1fdc73de8","datavalue":{"value":"10.1007/978-3-319-94821-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791171$B779DECE-181E-4FF2-A2E8-416B4F24E70E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38fcb30a53aadaa16c67f4c81a6c40126b13614f","datavalue":{"value":{"entity-type":"item","numeric-id":832240,"id":"Q832240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791171$FD63DC35-D884-416E-8876-8590C0073894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791171$AF2AF023-47D3-4FC5-8824-5417E4B7E7AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791171$AB7684DC-34F3-453E-A300-5A06510F96DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791171$BB3D04BD-4E08-4CA4-92F9-30F70C42E076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791171$E8E26922-CD4E-4C89-8DAC-05E03214A49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791171$E6BCE987-6284-4DBB-8211-53534B02E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791171$3F50FE96-A9E7-421D-9B14-F65C575678E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"121920a71e58793f0806511b13e488dd2479e1ff","datavalue":{"value":"6946987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791171$DF3BF534-8021-4643-A16D-9C68EEFD8960","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791171$69D80807-2E18-4E3F-9CF6-1B50D7CBB74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791171$F0E58059-6BC8-4CCC-86A6-A62741E0AA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791171$A0950752-B86A-4FD3-B080-39088EFAC2A6","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":"Q1791171$6139B295-EB56-44DB-BA3A-41D3F9B202CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00f1b64186808081e5c29b8d1519e52802fe97a5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791171$93C1B220-D48C-4B49-88A8-699E4C70CE6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6984cc4f4ad1121f458b0c3da4b2834e2d25e26","datavalue":{"value":"W2811364843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791171$A26D8DC1-FB56-4619-B988-2D156778025D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27852a71dcb57134c3358ab1f2ff1fb7ac83fa04","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5317e64510951ee66210f9de874d2cd4e0d1a5","datavalue":{"value":{"amount":"+0.8652616739273071","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":"Q1791171$44CB08BA-5333-4856-8AF1-BC2D6E49B506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ceee7cb320da2a0165c0827f8cb7a6d187aa514","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec520573df90d8c072ab963f2003256d823d260","datavalue":{"value":{"amount":"+0.8323447108268738","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":"Q1791171$C5249F72-2F4B-42BC-BBF1-EB1FBA59B478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ce49ec48b485aa795ea158899126e078dd4c58","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6639ef97a52528398392f70cea7680e25f9c45","datavalue":{"value":{"amount":"+0.8277575969696045","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":"Q1791171$6134B12E-E212-441C-A74B-F1C4E693A079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80f1986278e2e39262bf06254305e1904ef1b55","datavalue":{"value":{"entity-type":"item","numeric-id":4945211,"id":"Q4945211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445d3340e694b7a03c341c76e8714d0633fd6164","datavalue":{"value":{"amount":"+0.81500244140625","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":"Q1791171$1185D3DB-812E-4B7F-8C00-FB4F4D6FFEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aea161b8c3619543c5366b4985739b079dbf0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134145e7d95703c6e1e33496cdfd4662c1db3178","datavalue":{"value":{"amount":"+0.8133376240730286","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":"Q1791171$4C805957-D7A1-4697-8012-77B8A85B2586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying the LTL to B\u00fcchi automata translation via very weak alternating automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_the_LTL_to_B%C3%BCchi_automata_translation_via_very_weak_alternating_automata"}}}}}