{"entities":{"Q4412833":{"pageid":6442432,"ns":120,"title":"Item:Q4412833","lastrevid":48135211,"modified":"2026-01-03T18:11:05Z","type":"item","id":"Q4412833","labels":{"en":{"language":"en","value":"Modal \u03bc-Calculus and Alternating Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1950126"}},"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":"Q4412833$FC067188-4BFC-4DA9-B63A-4B332106AA33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b182f2e8ef1fe168e17a9e3a6cdba1a96c09367","datavalue":{"value":{"text":"Modal \u03bc-Calculus and Alternating Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4412833$15A02659-3CD8-4054-91F3-C47E5BA9B976","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e44dd9886d49d76764f1bfdfb4312e4a82374249","datavalue":{"value":"1021.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$781B06E5-203C-44FB-89E3-AD3A1A79C53B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf0686ceae8d4f63e286706fe21b110511d40868","datavalue":{"value":"10.1007/3-540-36387-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$04EE3512-974A-4477-8599-7C74D4036785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f20628aad6f7dcd6bba28315393a75f92a36adf","datavalue":{"value":{"entity-type":"item","numeric-id":820131,"id":"Q820131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412833$A156E482-20F3-4521-B9D6-D262FB29D071","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412833$A4A8DCFE-C493-4252-83B3-B1E0173F5BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af6acebe0ba8380f0e7105638b65df81e8c477f","datavalue":{"value":{"time":"+2003-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4412833$9E5A3742-CDCF-43D9-90E8-3372F90779AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$82DD1523-746B-4791-B9A8-26A4A5F73BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$D099008E-CAB0-4D7D-AE03-A6C6F43E5579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$2C8DBF02-5B9C-4CB0-9EED-1560F21ABF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$F3C0E3AF-7BE5-4E87-919F-C541A6594607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d7bdb9682a177fa5f38574f2e300df3c8e5d5e6","datavalue":{"value":"1950126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$A6932BA5-535C-430D-BE1A-86C9DADCAF65","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":"Q4412833$A039DE49-2EC1-41D4-BEBF-8798A30C4F1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff6bf73f8b5fc94de70e2e5518f8a92cc8cfae58","datavalue":{"value":"https://doi.org/10.1007/3-540-36387-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4412833$4873534D-E49B-44FD-A79A-0A2FA53476C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0d4669c6ba1dd74d48c2d6d4466a807f87fc48e","datavalue":{"value":"W2176738076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412833$69FFA5B4-30CD-4C7B-88F0-F7B4129C9372","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008c070bf015956bb99c21a0429a054bd26144f6","datavalue":{"value":{"amount":"+0.8619269132614136","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":"Q4412833$3F42BDCA-37A3-4039-8981-A327F6BC020D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740dc471e0b6a212d694c17712f2cfdc4eef21b9","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70d31f60ddac879823d477fb546e854672105b9","datavalue":{"value":{"amount":"+0.8477698564529419","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":"Q4412833$FC6DB109-01B4-4D1F-A4C5-E70D8C78424A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126e707535d192145dedbded1e8b14d8a42bda06","datavalue":{"value":{"amount":"+0.8303625583648682","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":"Q4412833$B1A12E1C-3053-461C-B296-C15C42F19FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126e707535d192145dedbded1e8b14d8a42bda06","datavalue":{"value":{"amount":"+0.8303625583648682","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":"Q4412833$2F407AD0-E320-4EF9-8B9C-6F95D773BBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f64e1cc9e28415bc1698d193f330c3828678adc","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b93e7b377c2b70945d95bbcec80f1178b1885a","datavalue":{"value":{"amount":"+0.829237699508667","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":"Q4412833$7F61A04C-7094-4A2A-8D94-03B5DD54568D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4412833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4412833"}}}}}