{"entities":{"Q3000614":{"pageid":3011338,"ns":120,"title":"Item:Q3000614","lastrevid":51249254,"modified":"2026-01-17T10:56:07Z","type":"item","id":"Q3000614","labels":{"en":{"language":"en","value":"A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897375"}},"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":"Q3000614$00385C07-2609-401E-B0B7-22A2DB0C5F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"355191d65ef102dcf59535167a043722ce8822ae","datavalue":{"value":{"text":"A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000614$D1326A5E-76F2-4DE9-85D2-669C2F3280A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c6c1c75eddcb246f3732375a6224654a5596918","datavalue":{"value":"1326.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000614$D88FE233-CBFD-4AA5-9B2F-E49BBFBF14AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e78c8614a808c45ab01c5ebad0f237bb59f5ff","datavalue":{"value":"10.1007/978-3-642-19805-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000614$BAFA9365-5A32-4EB0-B82B-B42EDB8F6A99","rank":"normal"}],"P16":[{"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":"Q3000614$B5F041F3-81AE-4F3E-9D57-CB44A4879D13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000614$A9B817F6-5C25-4C54-B43B-61A0AB1BD10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000614$216035F1-330B-4FBC-A7AD-728FD95E899D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000614$B37330DE-B653-4233-92E5-6ABACEC599C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000614$1EFAB861-1E25-4B15-B3B9-030B6F604851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a97f7bfa64ebc06ed5dee097fea9e3d958c43e3a","datavalue":{"value":"5897375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000614$4731F461-2930-45FD-B97B-0485CDE2E35B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000614$DB48B8D7-C317-4CD3-8BB5-19E05E20A8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000614$6F032364-B598-486C-8803-539BF1D495CF","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":"Q3000614$899CF34F-C2CA-4711-B80F-8D979E021495","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f77bdbba7f66b60536223c3526bb1431c6fb1b9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000614$69A4C43B-C9C0-483A-96B6-243CC32F541C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87537c067557d7f39869cbfbf44762fe6dbc3fe0","datavalue":{"value":"W1549097197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000614$457ADDA4-8C73-4B6D-BE49-9E86A1EF61E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4f9a7383f542082834062c3e5d00d948918b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c423a2da4b7e042bfb4b6861b752e6e46d6dc76","datavalue":{"value":{"amount":"+0.8360278606414795","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":"Q3000614$AEB818A4-907D-4402-B605-A865BE3D8782","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":"3a877adf15657a65b1d713be36d36ab38b59f2a4","datavalue":{"value":{"amount":"+0.8330574631690979","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":"Q3000614$04F2A502-42E6-434B-87DD-602B9339189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0154aeec356a7c9819dc2ec846d9fd63b64de2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2789057,"id":"Q2789057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98feb00704b8e49eff98bb1aec7f1744f70922f","datavalue":{"value":{"amount":"+0.8322063088417053","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":"Q3000614$DD2E22C4-D037-48B6-9B53-0926CA4E9547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c8c3fe9b3eae0c510cba1cd10b65226a7b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ccd70b5a453b496bb1ba0a09bc067c40ddd74b","datavalue":{"value":{"amount":"+0.83119797706604","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":"Q3000614$CFD100E1-272F-4850-9B3C-AA105ADC4141","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":"862a003225bfb4505dee369dc268783e4a1a9b1f","datavalue":{"value":{"amount":"+0.8301525115966797","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":"Q3000614$DB168477-0C2E-4DE9-9EB1-963501B78804","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000614"}}}}}