{"entities":{"Q2220863":{"pageid":2231606,"ns":120,"title":"Item:Q2220863","lastrevid":53916137,"modified":"2026-01-25T22:31:52Z","type":"item","id":"Q2220863","labels":{"en":{"language":"en","value":"Multi-matching nested relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300945"}},"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":"Q2220863$6270273A-5FE4-4EAD-905F-9E85A8C5C2FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cce1af1aef23e8f78fb59023465d60418b17425b","datavalue":{"value":{"text":"Multi-matching nested relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2220863$BBF79545-F734-49CA-B8A8-CFD30AE51756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ff2fc699e9b62be2804e51336c39797a138bbd9","datavalue":{"value":"1477.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220863$A18EFF38-B3DA-4B39-B69E-D8C93F1D84EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f79f91427349fd96568a13dc53e76817e622e493","datavalue":{"value":{"entity-type":"item","numeric-id":336395,"id":"Q336395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$1042B69E-C482-4080-BA27-7306FFD8B231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$8FADE8A4-6EC4-48B2-B388-AF072C219A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$28E15EC1-347C-4D08-B89B-09512AB3A179","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$253F6F0D-92F2-4012-868A-D24B02985D79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2220863$7DAC4021-C76C-4377-842F-FD110B7CF0C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220863$73D01A84-9D99-4101-838E-25133D935A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220863$13139073-3140-4473-8FE6-A5CD12EDD3E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b65a7a1ed30d59870fc1da5d687f5cf33dd31c9","datavalue":{"value":"7300945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220863$DDB935C1-1FA9-4715-B520-6588B9D649BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd53675e6decd07fd3bd114ee827534da862d2d","datavalue":{"value":"multi-matching nested relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220863$88BCB808-7CE3-4752-A6C6-26F7D7FAF29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ecb3ff947efceb5d84b44ab1c9d2c6141910cb","datavalue":{"value":"multi-matching nested traceable automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220863$24AF3318-DBB0-4D29-B87A-E6C9EEBEE0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde416a51417f83570a3e4ed210d6507dd4010a5","datavalue":{"value":"MNCARET formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220863$9DA363AA-76A2-4445-BCD7-169FC5B10049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220863$C968148F-2E85-4879-8E18-371B18C1DE30","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":"Q2220863$EAFC4838-2623-4F10-B70F-E72EC51ED9AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa37f3ac5c3770c7482431cea138c81b8cdff393","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2220863$5D14FEA7-37A4-405E-A78A-0797825E172D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5cbba8685a5e4a60cf59c62426237a198e195bc","datavalue":{"value":"W3112900002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220863$BD8DA033-EC85-42C8-8FBB-519FF798754B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$C0C5E287-9DC8-472C-B15B-7C8ACCFDB4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$6D910C0F-63F8-4BE9-B842-9D06E33B0AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$3A6BBF66-76DA-45A5-8376-DA83A7473DB8","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":"Q2220863$4FBFFB4B-1DD1-4BBD-93B0-284E214CA5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2884deba1ab4d15dfec90a1987de4fdc7674e9a1","datavalue":{"value":{"entity-type":"item","numeric-id":3484370,"id":"Q3484370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$4E83F111-A873-4551-8CF0-2A14ACEB82EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28415c2fdc9cf4fbb4ddf313db6e38750a0880f","datavalue":{"value":{"entity-type":"item","numeric-id":4398808,"id":"Q4398808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$08BF30EB-F07F-42D8-89AE-5842532C6BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2dcca34b147c280edbed8fdc8e5ead33595261","datavalue":{"value":{"entity-type":"item","numeric-id":5326341,"id":"Q5326341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$473621AD-FA94-4069-B3F8-6247272DFA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$7C338E45-6A54-4306-B949-1AA8D7EEFE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$B259ABBF-C155-40CD-ADDD-7C9E596682C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$8B9A2EEA-41FB-49A8-85EA-D2B04F54320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$F8B74416-31EB-41EA-9E01-B062A20F7576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10afdd89c86662d74e2b53723ab2117dd55eee5","datavalue":{"value":{"entity-type":"item","numeric-id":2279129,"id":"Q2279129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$0EA3CC9B-4F2E-4B5A-B155-BCEFAB4E6EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8fc7489dcee1bc7292222041e49eaf9b5e2989","datavalue":{"value":{"entity-type":"item","numeric-id":1671142,"id":"Q1671142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220863$184A12CB-8635-42F6-BEBD-1176468039AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5eecf5a6500da1cdc3c6627968764daea1dba181","datavalue":{"value":"10.1016/J.TCS.2020.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220863$46255F2A-92F2-4C85-B4F7-29E8E232B05D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02288a6b54e9b7fdaa239fdb79d57edd04bf95ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756734,"id":"Q5756734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e882062f88819b4bbfc3d89b5b8365afd36504","datavalue":{"value":{"amount":"+0.7382356524467468","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":"Q2220863$4B287FA5-9F60-4383-8CF3-E1150E69289D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ef6710afac447413bab06166697605ef0cc607","datavalue":{"value":{"entity-type":"item","numeric-id":3617042,"id":"Q3617042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65d183a9cffe01b84e3fe487062cd256ac3eb4c","datavalue":{"value":{"amount":"+0.7234063148498535","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":"Q2220863$308A42ED-DCBC-40D1-A633-A0927BD15C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2926f45d044bdd4057c99963c17f05de5cb82c","datavalue":{"value":{"entity-type":"item","numeric-id":3499762,"id":"Q3499762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7163a5e7fdc2e4fa0ac85dc07057f180725b27ca","datavalue":{"value":{"amount":"+0.7232133746147156","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":"Q2220863$EA2151A2-0D75-46CA-9743-D295254E121D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1be9455741e97beccf8d99c6fea14ed8f8a142","datavalue":{"value":{"entity-type":"item","numeric-id":5505411,"id":"Q5505411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7163a5e7fdc2e4fa0ac85dc07057f180725b27ca","datavalue":{"value":{"amount":"+0.7232133746147156","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":"Q2220863$D5FD2CB9-EA17-4AE8-BA82-78DA9FB5FC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31de6cb34a79b6964f2aa6717eae8b5f49870c80","datavalue":{"value":{"entity-type":"item","numeric-id":649107,"id":"Q649107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fbdb4ca5c8052331fe0cac14e7355c9fadd686","datavalue":{"value":{"amount":"+0.7230790853500366","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":"Q2220863$007BEB03-B49F-4A3C-ABE2-1392C8393030","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2220863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2220863"}}}}}