{"entities":{"Q3559779":{"pageid":5589683,"ns":120,"title":"Item:Q3559779","lastrevid":50976548,"modified":"2026-01-16T01:22:01Z","type":"item","id":"Q3559779","labels":{"en":{"language":"en","value":"Constructing B\u00fcchi automata from linear temporal logic using simulation relations for alternating B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705597"}},"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":"Q3559779$FC0D6F80-C5D1-4709-8696-A51866059660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2d1822b22712e362699d8d175eb5f9e7753d9df","datavalue":{"value":{"text":"Constructing B\u00fcchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559779$23DBE1B2-2477-4AD6-B0B1-D7D8E4A6AB7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"445f6e7b23e9b8f70d02443afcfbfcaf74af0557","datavalue":{"value":"1279.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$279806FF-BD42-4BA3-94B5-3F2C7093F069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afdfad4d3a9559850255b3d44690d91f0779d014","datavalue":{"value":"10.1007/3-540-45089-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$53878635-E09D-48F9-96CC-71D3BD0C5D52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"353dcfc201312b19a0e12c8dea717a3e06c26a9d","datavalue":{"value":{"entity-type":"item","numeric-id":557800,"id":"Q557800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559779$F53171E6-0EF4-4D88-ADE0-989A65789573","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559779$04DA4163-B862-443E-9188-96AE2CD4E3DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3559779$459E331C-CEC0-4AC5-8A97-158610811046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$9401B98D-BD46-437E-894C-6E84E79E03CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$DD61143B-746D-4833-B596-B8C235B9E37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$F8720D4D-25B9-4602-AF33-67E495F7DA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$A5B3CB7E-1131-4DCD-A620-8E0FAC41E4E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f574427941e275499420627af97161a5d3205d9","datavalue":{"value":"5705597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$E973F048-03DB-4F19-9554-43CC783E4BA5","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":"Q3559779$D91D0D7F-980A-4FE8-B44F-171DCF38AD69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3197fb01cf383abf2cb185bedbdfe16516a830cf","datavalue":{"value":"https://doi.org/10.1007/3-540-45089-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559779$04E44C7D-575F-4010-B1AB-36FD4A19C7D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a786dcf1a318bf12185d4ea62c2a336196b92f86","datavalue":{"value":"W1521991348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559779$C6AE0839-1D82-4D5F-838F-861E468BF991","rank":"normal"}],"P1643":[{"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":"6ec495c605ac076a5a1829ab6bb7079bc2a0aa94","datavalue":{"value":{"amount":"+0.8624078631401062","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":"Q3559779$309F739F-E3AD-44B2-A7B3-5C5A24CC2417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca69431b13671a465cdc002511419143ecf1456","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e9448e096149847ed5419efd6e9b37d55d5683","datavalue":{"value":{"amount":"+0.8592713475227356","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":"Q3559779$5408E9BA-26B7-4A5B-ABF5-2473952CE07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6b82e5150448b7941e280f24dd00f9f1e85439","datavalue":{"value":{"entity-type":"item","numeric-id":5955787,"id":"Q5955787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b63f90b9df15ef6fbb0863d63c24159b86a834","datavalue":{"value":{"amount":"+0.8338167071342468","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":"Q3559779$82253D59-26FB-4731-AE62-02ED97D79FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035259ecbfa109f4140e19b20b77a851a3b5d10d","datavalue":{"value":{"entity-type":"item","numeric-id":5499149,"id":"Q5499149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d717f5611bf323f9414134ee87ec9d0e00a94e59","datavalue":{"value":{"amount":"+0.8300555944442749","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":"Q3559779$9B7257F3-543E-473D-A1C9-98A1D141971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ff5c5704d7c393a836969185b008981f867e13","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488cdf9d4e0497704436ec91815f7c1b16f251e2","datavalue":{"value":{"amount":"+0.825939953327179","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":"Q3559779$52AE8734-6C62-4F42-9656-350C001CC81E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3559779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3559779"}}}}}