{"entities":{"Q2154012":{"pageid":2164755,"ns":120,"title":"Item:Q2154012","lastrevid":43610503,"modified":"2025-10-28T14:52:42Z","type":"item","id":"Q2154012","labels":{"en":{"language":"en","value":"A tutorial-style introduction to \\(\\mathsf{DY}^{\\star}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556466"}},"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":"Q2154012$7EF49478-C266-4E15-94C5-852ECA90D823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54e0a68020a3c389ba7188197ec9a41bea45a383","datavalue":{"value":{"text":"A tutorial-style introduction to \\(\\mathsf{DY}^{\\star}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2154012$5175E319-AA21-4A48-868C-18E97E908DB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c49fd8c0265ad97b0df5e3991b06eaf80ec1fae","datavalue":{"value":"1498.94055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154012$818D7D91-E882-4CE1-8269-D2A18ED6F720","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ae9c8c288a0a289fd961440a2a6743a4420a1e3","datavalue":{"value":"10.1007/978-3-030-91631-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154012$8BD49B8D-C91C-4BE7-A6CC-26BCE73DE76D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68535838fd2019c488fecc0f4dd99c350a7f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":557892,"id":"Q557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$FAC7B391-CC50-4377-9B89-543196C2E097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2bcb71805638a36ae59d4875f2032c27796748a","datavalue":{"value":{"entity-type":"item","numeric-id":2154007,"id":"Q2154007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$03F510EC-320C-492C-892F-419EA44BC188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bd6ed91d417bdef769077fa9f3819fbf2be3604","datavalue":{"value":{"entity-type":"item","numeric-id":2154008,"id":"Q2154008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$0A079C46-2CB3-4D0A-BDB2-83B9C89F99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3801d4898e05ed1b7503a0b65046a0423d819f5d","datavalue":{"value":{"entity-type":"item","numeric-id":2154009,"id":"Q2154009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$A5320033-B4E9-487C-BDD8-1CCE660B2624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0737ca502857607b669ec6afb967ab7ce60981","datavalue":{"value":{"entity-type":"item","numeric-id":196898,"id":"Q196898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$B9EA72C9-27FB-44E9-9659-6DF96C6493B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c26af431ae48c566c35e75d271626b5dfd671dd","datavalue":{"value":{"entity-type":"item","numeric-id":2154010,"id":"Q2154010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$316E9F7E-7AD6-4A3B-8B87-6146D56D092B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a3c4654a9871f6b32b8a042c3fa5f23bc475bd","datavalue":{"value":{"entity-type":"item","numeric-id":2154011,"id":"Q2154011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$EFBDE009-A8EB-4EEC-BD1F-861961509983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a10feb846ab08eff879cd9ad8918c74f60818d7","datavalue":{"value":{"time":"+2022-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2154012$8A8C040F-342E-49FD-98FC-2FA032EF839C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154012$81A959FF-D404-4CCF-8120-E0FA59678F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154012$241E5D1F-F829-4AF4-8A2E-5D95F4324175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa0390f376db522760490a712a797a8734ac61d8","datavalue":{"value":"7556466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154012$DB4279A6-6F60-4817-8A42-143407F9B6E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154012$04E0909A-EC7C-44CB-9A23-3BFF15B629EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198806c59e37372f0e3456be07622ad581fb0135","datavalue":{"value":"protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154012$C57A4B8F-C6EE-4028-92A3-BFA138DE8CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc51f01424a0e99c13f7faf4f8814ddb154b736","datavalue":{"value":"mechanized proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154012$D88AB834-D788-45B2-9931-CFB9900C6D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154012$D9B047A5-7320-4F91-8066-F9944E7B09CB","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":"Q2154012$EEE44331-3264-4F94-AB9B-E75E64CCBFE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb785890ad2055b91a3d732138ead929df875cf2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-91631-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2154012$43AD261C-64A6-488A-9E7B-79E8653F78A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8c27f572e790dee933208d70e8c9e9e1d7fc6c2","datavalue":{"value":"W3217286445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154012$3A4956C5-5AEB-43BD-B6C8-36CB4243EB9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$A8CB70D3-0234-413B-A5ED-C772AC5669ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7521bef4e1d06d1bc91b727b4cf2c09696156f37","datavalue":{"value":{"entity-type":"item","numeric-id":5255101,"id":"Q5255101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$D25BE04D-CFB6-4008-BB4E-E574D7F612E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d4b69c424c8db80f6be35cae6a132069304c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$5C2DA292-8DCB-496C-AAF0-AED57B9F3943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb7caae390be1020bb0cdd028a92d1c35d24097","datavalue":{"value":{"entity-type":"item","numeric-id":2210444,"id":"Q2210444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$340568E5-C0E6-43FD-9DB2-B7C535F4FEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$5BDE102C-E0BE-4A98-ACB6-1152ED630C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a8dd6d07dd6ae960ffc56968d5ac03d5dce852","datavalue":{"value":{"entity-type":"item","numeric-id":1603655,"id":"Q1603655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$2AD502A3-2EF1-4AEF-AD9F-5B398B83A184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a7b57a6358e3b2e64dab60f81152fc2d2d6fec","datavalue":{"value":{"entity-type":"item","numeric-id":5428133,"id":"Q5428133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$FA6FB1D1-F235-40F0-9E2B-D6A109E0C0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$1E60FD9C-4CBC-4B81-B5CA-5CC9AB2F4CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$636ED169-E829-4243-9627-403E347FE242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275936cfd6130214e9d1021873d4a644d84981c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398328,"id":"Q5398328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$43EFB8C2-537E-4BA7-8D91-13A606606EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ff8e8a966403637a8e7b3a44a0970aabc9f760","datavalue":{"value":{"entity-type":"item","numeric-id":2828265,"id":"Q2828265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154012$0E4EB315-3343-4ECB-AC8F-23C35C074494","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38cfeeb6ba667ba42474888c4f9246b531dab46e","datavalue":{"value":{"entity-type":"item","numeric-id":4304755,"id":"Q4304755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea7281bcb86e424cbb8b65caba3b0c41dc40279","datavalue":{"value":{"amount":"+0.8380531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$FCD62D2F-91A4-447E-8CF1-B5D773BDA0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a681cd73a4bcaeb8a4faa52046d6970bf05903f","datavalue":{"value":{"entity-type":"item","numeric-id":5085785,"id":"Q5085785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea7281bcb86e424cbb8b65caba3b0c41dc40279","datavalue":{"value":{"amount":"+0.8380531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$4DDB57D7-7E2A-4B0B-8B92-EA4690F5D8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a763f2e2c15cfd4db7784aebcd0e37260f5c06","datavalue":{"value":{"entity-type":"item","numeric-id":2962236,"id":"Q2962236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1741d27165fe4228053aeea57002ea7e4dc09e6f","datavalue":{"value":{"amount":"+0.81550145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$5AC7847C-6CF7-4D9D-9907-91F653E2FD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078e43729db1186b7ac73fa25e2acfee2fae137e","datavalue":{"value":{"entity-type":"item","numeric-id":5194772,"id":"Q5194772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62efbb550a917924dd70affef74647e10eb250ca","datavalue":{"value":{"amount":"+0.81144196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$DD1B58AA-89BE-4139-AA40-BDB837FAB623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d031c387c614ea56204d7e6f33851cb06bd4942","datavalue":{"value":{"entity-type":"item","numeric-id":3976214,"id":"Q3976214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8401a116b35273e676a7cb9f0b30f477aeade305","datavalue":{"value":{"amount":"+0.80847543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$973B6D3B-0E78-4440-80EA-6E71E8DB550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230b74bfa99873f9b97a0512c70c49ae6f3b6568","datavalue":{"value":{"entity-type":"item","numeric-id":5316334,"id":"Q5316334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17111a4341b652d1e0e59750a6f143666a8bf906","datavalue":{"value":{"amount":"+0.8083873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$3E5CED51-274B-4F1E-81E7-003410BD97CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e170340f2892a7441536a1f51244e8c52af53d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3171848,"id":"Q3171848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6af6c9c121b15cd323117a46cc9c5097559cd5","datavalue":{"value":{"amount":"+0.80820936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$9332BF02-70D6-4333-902C-D9BB7B0CF9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d724f44ed8dce6346aaa1fc7942dffff6fc110","datavalue":{"value":{"entity-type":"item","numeric-id":1202749,"id":"Q1202749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfe13decf354b869b966f0d6672a5c185eb2c93","datavalue":{"value":{"amount":"+0.80797845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$8C722681-98CA-4E65-B2C9-7D804B6DE7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8962a3215c0a45afb33f01988625557912f687ab","datavalue":{"value":{"entity-type":"item","numeric-id":4269135,"id":"Q4269135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c99e851490fa682184981cc7a9cbee2a874730","datavalue":{"value":{"amount":"+0.8066097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$9F6F9663-A804-4018-9386-1BA3F008AFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8698324426010c1a0a93c2f6969dc03848aa23f0","datavalue":{"value":{"entity-type":"item","numeric-id":2352708,"id":"Q2352708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338ae7641a185a845e9eefea83327918ae3c5fd8","datavalue":{"value":{"amount":"+0.8048897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154012$6D5351D2-22CE-4EE9-A043-4C39204949BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2154012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2154012"}}}}}