{"entities":{"Q2937780":{"pageid":2948500,"ns":120,"title":"Item:Q2937780","lastrevid":52170161,"modified":"2026-01-21T02:18:49Z","type":"item","id":"Q2937780","labels":{"en":{"language":"en","value":"Practical alternating parity tree automata model checking of higher-order recursion schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385639"}},"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":"Q2937780$1BD881D6-F217-4185-A88E-A5AAB98AB42C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8439d3a6ccf3f98d6ec79e7f7414d51d086c9a4b","datavalue":{"value":{"text":"Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937780$AF493E10-A7B1-45F9-B66B-BECC0DED5AAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5d480bc5f82cd7686fb1cce0217d773d34e432e","datavalue":{"value":"1426.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937780$9B7E6DF6-ADF6-4514-BABD-61C3E08ACE8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"597fdb532f1910965bfc7a8910578cdd2fe3ab83","datavalue":{"value":"10.1007/978-3-319-03542-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937780$B342C9EE-A2EB-4474-B022-A1114404BEE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bc37b39e62cbc08d2f3d7da8964cb42c8653b55","datavalue":{"value":{"entity-type":"item","numeric-id":2937779,"id":"Q2937779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937780$25F77AFE-B459-4B7B-91BC-0AEE29445E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8bc1306612d5b5df5ced78bd26f4f2ecc0b50a2","datavalue":{"value":{"entity-type":"item","numeric-id":2355691,"id":"Q2355691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937780$264A64CA-F47A-40FB-BF79-9259FEC908E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937780$3695FAEE-3F52-4731-9E9C-CC7C9B0D13F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937780$AF818653-475F-41A4-8CE4-28A223395475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2937780$030C3C4D-4983-4A57-8DFF-75B15A689F6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937780$8AACAD3E-DF58-487E-9515-A4E56E5AAD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937780$8A391A42-E065-4414-916F-06338F1B7FED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"322b46a46ca34381881193a873d5d5c40a3d7c7c","datavalue":{"value":"6385639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937780$A90E9ABD-1F85-47EC-9158-3E4A8F2C2897","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":"Q2937780$D9CF849B-1BE5-4692-BA40-C792E8875A4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c1a8d7a28e734ef39aa128ada2d91b62664e8b0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03542-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937780$E2BF0E14-7CE1-4CE8-8D19-59CE4F67CF78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e407b3cfe4bc4ed769e56e6bfe1b5dfe6bacfdf3","datavalue":{"value":"W156616570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937780$E28328E6-A10B-4B20-8B4F-B3B1FE046EC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8848cff7d1cd43c8c5b9c0047dd396bec7d74f4","datavalue":{"value":{"entity-type":"item","numeric-id":5111330,"id":"Q5111330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afaea8fff27f1b05914c7d07f304a42efd52052","datavalue":{"value":{"amount":"+0.8532308340072632","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":"Q2937780$09C3125F-0D5B-4C16-B211-B6CB99A5196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1982d9b548ac797cdd6204653effa1199bfdbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c644b7d3bca9e1c7926542d792050ed235f2ea53","datavalue":{"value":{"amount":"+0.8458530306816101","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":"Q2937780$7E33AF35-0543-4506-8151-B680A91D901F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93799b1f638a99cf0cc7abc5aad262ecfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f4d2e76f9145106e0f859ec79f045c03fb8042","datavalue":{"value":{"amount":"+0.8440940976142883","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":"Q2937780$53D3E30D-E3C8-4F64-87BA-A5A2EE2890DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55439710e2babbfe7ae246e1e8cf83f5fb1cc807","datavalue":{"value":{"entity-type":"item","numeric-id":5326300,"id":"Q5326300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ce62522e657f38af005e408bf5b8ad2fd8ae2e","datavalue":{"value":{"amount":"+0.8399481773376465","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":"Q2937780$B224E5F6-EEEC-4374-AB8D-9CBEC87ED8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c51b09a671c633d4abb8602a348666f9e3667c4","datavalue":{"value":{"entity-type":"item","numeric-id":5168915,"id":"Q5168915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cfba5f7d8fbcdbfbc1c6c88d621fd30af691df","datavalue":{"value":{"amount":"+0.8390587568283081","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":"Q2937780$1E6ED464-A7E8-47E3-B3E0-4C6ECE6B70EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937780"}}}}}