{"entities":{"Q5747771":{"pageid":7777322,"ns":120,"title":"Item:Q5747771","lastrevid":51080438,"modified":"2026-01-16T13:41:06Z","type":"item","id":"Q5747771","labels":{"en":{"language":"en","value":"A decision procedure for \\(\\mathrm{CTL}^{*}\\) based on tableaux and automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785459"}},"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":"Q5747771$D26E378B-455C-43A6-A1F7-7DFCCF4EFAA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7d758ab3cfa3f2a41895d6d71db417e45706f13","datavalue":{"value":{"text":"A Decision Procedure for CTL* Based on Tableaux and Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747771$5D89A6EC-149C-40EF-A49C-149C400785CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"618061cd0889958673647113cb9ddc7d9f7aa251","datavalue":{"value":"1257.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$DD003976-71A0-434B-B8A8-6052BFA97D3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7e553ac765fac737a7a3f376fe1558043918ec8","datavalue":{"value":"10.1007/978-3-642-14203-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$5EBDF995-48C4-4F6A-A920-AEA4A28D96DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4837f0d122d5493100cf3a55fa0f0b33a2b57f68","datavalue":{"value":{"entity-type":"item","numeric-id":507320,"id":"Q507320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$2D95CDC5-0D45-4DF8-A9CB-1EFB60734DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40462a16b9cc04098cc18dfa55292a866d944377","datavalue":{"value":{"entity-type":"item","numeric-id":386035,"id":"Q386035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$4D7FFA49-4B01-420C-883A-073B0E9AE3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$97A4FD66-33F9-4D9E-B387-7813CEEE5AA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$FC78EC29-904D-4F83-94F5-8BD178F1A994","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747771$83F30365-C31B-4FA7-B629-7319ADAE34DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$29CDCB56-016C-427A-B18B-EC8B6F207CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$9DFDD4D9-7E09-4BAD-A9C7-B4A5534FF2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$955E122A-92C5-4ED8-944D-E3C9C340B341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$0032EE50-C335-4791-AE0D-6689D7942650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$EADAC3B9-7C0A-4D2D-A8ED-3CA5E49DFED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06e0dd333e962072c326644b8ebc8c6803d27c68","datavalue":{"value":"5785459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$E67587DC-195A-47C3-BC2A-FF7BC204D8C6","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":"Q5747771$693564B3-8C2D-4E17-87B4-19F0C279BC54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39455b12c66efb867785b209c25fad0b76a56557","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747771$652B1AF6-497D-4730-9DE5-A5F7A98699F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0513226752582e0b532d512bd5bf29b4f7fad93d","datavalue":{"value":"W1534088363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747771$DFD9BB38-A97D-44EC-9CD1-CC737C49A44C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$68064A9E-ADFC-4E1C-B87C-6BFF65B2EB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$D71755A2-7CA3-42E4-8E47-AF710A3DA96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$B316F291-3F0C-4B1A-BEA2-A288E9614E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$BF7EFF66-1AE5-4075-BB0E-4925B6E77F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$E9B9300C-0189-4B17-B5F4-45966CF6FC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857bd992197c315cd9c9b62d7b8c7b4bc4ff019d","datavalue":{"value":{"entity-type":"item","numeric-id":5504119,"id":"Q5504119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$20B92D37-D43E-44AA-A8B3-D9D5C074BC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$FFE41F39-1206-4BC4-97C4-95CEA6B8DD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b388c0771db5db3897588379bd4b417551adfb47","datavalue":{"value":{"entity-type":"item","numeric-id":3521961,"id":"Q3521961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$6EDBB265-7FE9-4BC0-9F2F-E6159350DAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$D8F33308-9B5E-4421-B4CC-C4F72F32E603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2caff7ee1612d67e6023e25fcd3afb3640b37c8","datavalue":{"value":{"entity-type":"item","numeric-id":3814796,"id":"Q3814796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$E20A0C40-5ACD-4182-9326-C1565F0DE01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$43B0EA93-FA90-4134-B9F9-337614B09061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$DFEAD610-ABEE-4FE7-B46E-119D16BDC0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f353ad170e54f87f94c55f9cea2b36a3ecf99c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747771$C40AE48E-517F-4B09-AAE8-4E6A57F70361","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53395aaa84297bd8074d9b7ce599df24b764d90","datavalue":{"value":{"amount":"+0.8903272747993469","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":"Q5747771$C4115C9D-2A8A-479B-A737-28B8B6302125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"034fb3511ad172b210e4e9cba1d3a2247cfb13d0","datavalue":{"value":{"entity-type":"item","numeric-id":4992506,"id":"Q4992506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c55ddf3e17f33f9b4d2d474c72920967a34493d","datavalue":{"value":{"amount":"+0.8809679746627808","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":"Q5747771$3632A4E2-154E-42DC-822C-B0FE182E7AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23de453f775486c73bd1519a9c7b7e37186fe8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48145d442215c50a35ff04e480be69402d1e3ec","datavalue":{"value":{"amount":"+0.8403494954109192","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":"Q5747771$859414B7-1CD1-4CF7-8F33-19608DE76FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337315712da885cd327294fff0fdedb0ae6c4378","datavalue":{"value":{"entity-type":"item","numeric-id":5897785,"id":"Q5897785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae96e2e97d7727059b925712c0c866eaf1668733","datavalue":{"value":{"amount":"+0.83902907371521","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":"Q5747771$89AE8A4F-B67A-4363-9C59-7361F0B08D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791346cf0a02b0cb1561d66dd010768374d83c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5184412,"id":"Q5184412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e5f6e30d7c087c8ab0cd9513f963ecdfd4e400","datavalue":{"value":{"amount":"+0.8382391333580017","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":"Q5747771$908A8A79-D0D9-46BB-9782-0F85D2DC8311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747771"}}}}}