{"entities":{"Q4910438":{"pageid":6940017,"ns":120,"title":"Item:Q4910438","lastrevid":51671228,"modified":"2026-01-19T09:43:18Z","type":"item","id":"Q4910438","labels":{"en":{"language":"en","value":"Recursion schemes, collapsible pushdown automata and higher-order model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145853"}},"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":"Q4910438$8A9E354F-E84F-433D-A7B8-DA3F9802565E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f26f2048b98c133b6e20c7225d694e194193ef4f","datavalue":{"value":{"text":"Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910438$2B439ADA-2B65-421F-9AC8-8A72C0407918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"175632f5bde1635a8c8ca8b084f773d5d3ce4d7a","datavalue":{"value":"1377.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910438$3AE65B45-AB43-42BD-AAEC-92A0D3E0D268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0a4c999add2a3452839295e46dff52c51866188","datavalue":{"value":"10.1007/978-3-642-37064-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910438$F99E7A45-E306-40D9-8036-DB8C43B2D912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e0fbc1359d4749edff77de9864558a400296c8","datavalue":{"value":{"entity-type":"item","numeric-id":1641023,"id":"Q1641023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910438$712A615A-D1C5-4D4B-A05C-86975ACC106C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910438$0F96B4B6-D837-4445-AAED-74108B6E102F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910438$022BB290-4186-4254-AC94-AA050DA13FEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910438$DF221A53-E013-43E6-85C9-9837745A3E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910438$BE5F9814-58B0-4932-AE89-4E068F2E4CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910438$C3FA9822-7445-4B4C-B270-DAE5F54B492A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d02970ffab996417b0fa67782ce0cb0acce87c5","datavalue":{"value":"6145853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910438$B3CD27A0-A87B-46DB-BB23-016825553E72","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":"Q4910438$90EFF403-86BF-4D77-8014-B7A35AD3D2B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73b73ae5da9d0d8ba183739392ebc3c135d54911","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37064-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910438$34E18802-8086-4812-ADBE-36FA7471B060","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83a6bdecae2fc9b811b55bc057070b1bf21a2334","datavalue":{"value":"W129748363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910438$643043ED-E736-491C-BEA9-0C03AFF67D90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba8f43d9ababc216e4cce4880d325c2a9f25bfe","datavalue":{"value":{"entity-type":"item","numeric-id":3060985,"id":"Q3060985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f69ae91229bddbef6ee1935e2d9b533d642df0","datavalue":{"value":{"amount":"+0.9503178000450134","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":"Q4910438$96E5CDF0-6699-4A56-9529-58B3C448E16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37104469d5ec0a965f36f80e81bf3b3c10dbf0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5458405,"id":"Q5458405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d891a06d690f86d01c765f32631a871ab4af85b","datavalue":{"value":{"amount":"+0.8716506361961365","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":"Q4910438$1EFE24C1-DBE2-436E-914A-ED64A873E970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b143ecc5518b188b309bae202f417aee6fc7d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337e62f60bca5837ba5e55ad06d8535a47a6604b","datavalue":{"value":{"amount":"+0.8383594155311584","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":"Q4910438$C3F3F8D8-F04D-4ED2-8F14-443A3C070EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadaba022955398c649765841c263b14ee7ae57d","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9d2ac6910e68463989d5b355b0c7306e3dbc5d","datavalue":{"value":{"amount":"+0.8259019255638123","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":"Q4910438$ED114FDC-91BC-477F-868B-031D79238EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46efcde793d6a4798a428a0a0d5ae2133e982970","datavalue":{"value":{"entity-type":"item","numeric-id":4899139,"id":"Q4899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a138d13b00e738876f031e900f90c4c9fb9003","datavalue":{"value":{"amount":"+0.8213598132133484","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":"Q4910438$2933E78B-02A1-4F8C-9148-CC672F7A66B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910438"}}}}}