{"entities":{"Q3012916":{"pageid":3023640,"ns":120,"title":"Item:Q3012916","lastrevid":51286229,"modified":"2026-01-17T14:47:42Z","type":"item","id":"Q3012916","labels":{"en":{"language":"en","value":"A fragment of ML decidable by visibly pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918141"}},"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":"Q3012916$5EC07ABD-3C0E-4CCC-9CFB-1CD2C9AC716A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1f1872777e7261a835245da27110f7374e83306","datavalue":{"value":{"text":"A Fragment of ML Decidable by Visibly Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012916$E198F5F9-2A97-4E99-9744-5380D54F71EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44f5680e29e1e1aef3f4360cde1f32c317e20930","datavalue":{"value":"1333.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$50FACC00-FBE4-4A42-9B3F-67CD512915C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e156243d772bdbf05f7e16ac37cff2cf468b457e","datavalue":{"value":"10.1007/978-3-642-22012-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$47C4D6EA-F3F3-42A2-85F1-A37463C13347","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$5E4918CC-0121-474F-93F0-6C5CA6A59E78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012916$8A6233D7-E7A0-4768-9601-036D4DAD8FE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$3949E3DC-9A7A-4025-87CF-5AAE54C6F62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$B9B7BCCF-A1CF-411A-856C-BCC2907E088F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$4CF39F20-313B-412E-8CD6-D71CDBCD291F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$A1EFB777-59F7-485A-B2C4-37EA9B16FCD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84baaa10a7d638f75d0f257a06e99a5be282b1bd","datavalue":{"value":"5918141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$84D2A5C4-C9B5-445C-88DF-4BB86601466A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb90f4d7d866c78af48a638639e392c0f9ae4ba7","datavalue":{"value":{"entity-type":"item","numeric-id":25236,"id":"Q25236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$E4B8D169-305C-4CB2-B39F-D92E30B541A5","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":"Q3012916$6A96F1BE-CFCA-47CD-8410-38B40B9B9E4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76d0cc22109b1e9d9726bf68e691081ed34ee7bc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22012-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012916$F3947CE6-FA7E-4EEF-A528-61180FBA2131","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c39950a54de6dd2bb7b1594c4d4ac511452cbcd5","datavalue":{"value":"W2205883199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012916$E75B8241-F557-40A8-B579-44118CB87ED2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$451EF3DD-8044-4F3D-B705-D0D9FF8C82DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$43A88001-A91D-4450-A114-413CD6795B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$D1E064D7-A2D9-46CE-9DE5-42ACE25FDA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$D7553CFB-99F5-4FAC-989F-038342022C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73fc23e0e328f8c04156aa61bcdb245b6a446e","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$84BD98CA-06AF-4138-80CC-D1370C1836AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6c2a0bbfd65e6f3d4ca31107fea6b84b41955b","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$0356B168-EFBA-4B3A-866F-3E575894ED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$A1260B4F-0852-4010-9A6E-95D1DD711945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$63A2B457-B775-4E60-9081-1B522F2001FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d46dea3860dd2244d5c66e6acd1180b501787c","datavalue":{"value":{"entity-type":"item","numeric-id":5277737,"id":"Q5277737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$A8F1F71E-EE83-4FF3-9AAB-93AB4163168A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc340352b2684097bd113c10d2abffefaca30754","datavalue":{"value":{"entity-type":"item","numeric-id":557802,"id":"Q557802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$658E9517-90C6-40BE-A62A-2192E0BFBC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4f4844a0a47622670efa8447716336e8b1d7f8","datavalue":{"value":{"entity-type":"item","numeric-id":5716839,"id":"Q5716839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$755532C3-3A5C-4982-A802-728B22737FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87371f396e7d8ca9e0468b38a5a6531479d4245","datavalue":{"value":{"entity-type":"item","numeric-id":3557842,"id":"Q3557842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$5A36BE9C-6899-401A-B8FD-F38F3D5DA394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$E16E40AB-A552-421D-B03B-E3C163D4700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d5ac2610edb34eb2a989a0fd8988c00fa985e2","datavalue":{"value":{"entity-type":"item","numeric-id":5705875,"id":"Q5705875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$2B8F2A80-5E09-45DD-88FB-F8B09445467D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$4263D255-352F-44F7-9E2B-0E03390A9340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012916$519A6E1F-C13A-4926-A721-2C97BAA6F879","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc333a14ffd8ba808df566ce09cc4e2530e96dd","datavalue":{"value":{"entity-type":"item","numeric-id":2949443,"id":"Q2949443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad5f2048b6398aaf108f2e93cd247aef5e206f6","datavalue":{"value":{"amount":"+0.8703808188438416","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":"Q3012916$738EA5AB-65FB-4F04-8AE8-9F0D606F586F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac27645422a8acc420ed8cd18c060bfe5f12fcdf","datavalue":{"value":{"entity-type":"item","numeric-id":2988645,"id":"Q2988645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80f9c48b1ba5ac464bccbd18916409acda58b59","datavalue":{"value":{"amount":"+0.7493152022361755","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":"Q3012916$5CD0FDF1-3C6E-4B45-9F5B-904334E29DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94887202c0b9166620397b09561284b9372d1211","datavalue":{"value":{"entity-type":"item","numeric-id":1650867,"id":"Q1650867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e222a2c5edad8acdd9aa8876fdf7fda2db822d1b","datavalue":{"value":{"amount":"+0.7241342067718506","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":"Q3012916$01FC3DD4-6EBA-45E6-A8E2-28505128342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3d2b0c2a0081e50148edf0993411ef65948bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3167021,"id":"Q3167021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06ad6206bacbdcd32397cf399e55e48ac878c26","datavalue":{"value":{"amount":"+0.7174604535102844","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":"Q3012916$1D64C14C-FA16-46C7-B70C-75E92349AB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068e066446b13a521b0543764e2bca64709cf13d","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439aa9e048827874bead1c0a2e3da55b4d47e798","datavalue":{"value":{"amount":"+0.7069615721702576","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":"Q3012916$A5C67DAA-C4F1-4D79-B414-0DF293557EDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012916"}}}}}