{"entities":{"Q2165211":{"pageid":2175954,"ns":120,"title":"Item:Q2165211","lastrevid":57761280,"modified":"2026-04-02T10:16:21Z","type":"item","id":"Q2165211","labels":{"en":{"language":"en","value":"Branch-well-structured transition systems and extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573243"}},"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":"Q2165211$58C59AB4-CB5C-48F7-AC4F-3CBAF8FAD017","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dbc6921e33a74400f96ac0879e4552546a9c221","datavalue":{"value":{"text":"Branch-well-structured transition systems and extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165211$4E5E05FA-C6C6-4050-A892-84220B3D5E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e9fc7b2effe14cbb9e6e4870d54f07b4adc2b2","datavalue":{"value":"1499.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165211$5CCD7C28-7FE2-4B60-BB49-E7CA711287F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d34544edc64c43d680d566471e8ba7625711f4d","datavalue":{"value":"10.1007/978-3-031-08679-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165211$5B62AFD1-63C1-4C34-B118-A3F85EA2A659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$EFEFCEC1-CDE2-4F01-B044-31E2FA984CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$39BD839E-AB64-4ED5-93BA-D478D47078CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"390b719c6561c768bdef2d4067a0c583abc76872","datavalue":{"value":{"entity-type":"item","numeric-id":2165210,"id":"Q2165210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$367ADFEF-02A8-4BA0-AE30-C88898B7A65B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-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":"Q2165211$99E63A4A-0242-46A8-ADC0-5F774008FE57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e0366f4359b73bce807916a8232208f2bb20647","datavalue":{"value":"https://arxiv.org/abs/2211.15913","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165211$82FEB36B-235C-4786-88B2-380EEADE3CB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165211$74448DF8-7A29-4B90-AD6D-F3E09F328460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165211$31A01E0F-0B48-46CD-9ABE-9401086DFB68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9351d2e7c7a56f5717355dab1fc5ef5634f23d43","datavalue":{"value":"7573243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165211$5A0C152B-F365-4506-8749-1CFD811199BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165211$1A7A3934-39F5-40E4-B51B-A634154BBB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165211$2F91249A-24F8-463D-91E0-A770D6473FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165211$D7A29AD7-22FA-4FC5-90EA-8274FADE1B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165211$7BBB583E-1469-4AA0-873C-15970B5E7504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165211$71B929F4-EFD0-43FA-868E-FF1D851BA2D5","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":"Q2165211$002DA541-264E-43F4-A573-18299A37E1F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ad4d977519bf1eebea59fe5effc7ddfd1a87a03","datavalue":{"value":"W4293197419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165211$CDB97443-E542-4A1B-986D-4F0F7DDC15F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$87CB4063-FF4B-4BAB-B440-4D4A604B0828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea85f6ea2f61c53be79c98ef6f839ccc8f942a64","datavalue":{"value":{"entity-type":"item","numeric-id":5167823,"id":"Q5167823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$9FE015A2-0043-47EE-8FEC-9DE862B2CCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ff984909af9e1948c736b9cea645a4d67b1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":5367063,"id":"Q5367063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$506ACAD5-142A-4D86-85E4-8E220FFE8528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0438f93be356d9cc20f5882f655656d1169bd9","datavalue":{"value":{"entity-type":"item","numeric-id":5028474,"id":"Q5028474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$6D62AC01-AE5A-4D63-B766-A6BEBAD4A655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe81e6dde2994c5ab9bf85f6128e8ff6a52df79","datavalue":{"value":{"entity-type":"item","numeric-id":732003,"id":"Q732003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$9AF52774-6A27-4C05-9FD1-E5036760FB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d492955bc12e9da88672888602fed56dbfd07bf","datavalue":{"value":{"entity-type":"item","numeric-id":5089298,"id":"Q5089298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$BF582165-2B4C-4680-9A03-5EE5839F0D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$DEC9C216-0815-40CE-80E9-8CC3C287D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bef25bf28ebce0c8dc4719615dc3b84fe63927","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$AD957000-EC87-476F-9CDD-FED053BC289D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c809ec82f632b6c385400f097fa447743bc7db2a","datavalue":{"value":{"entity-type":"item","numeric-id":1173681,"id":"Q1173681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$466038D9-6787-47C4-9804-EEAF06C1DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bed64006543fcbf7ebcc1c7d552e5c3071f2b84","datavalue":{"value":{"entity-type":"item","numeric-id":1763373,"id":"Q1763373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$7AEBBE10-0F84-4B89-9E7E-45D952EC7C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57129dbc0b964e83c75a99f71c425fd35e59b727","datavalue":{"value":{"entity-type":"item","numeric-id":5129947,"id":"Q5129947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$54BA7C5A-D905-4913-9802-7F66C8CCB2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$8194E1E2-5875-46ED-ACCD-62DAD2779AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$349E6AD5-F554-42FD-BBA4-DAA57F6BA453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6c4f58f0ba4d30c576c1cecd76e1d83cedb04c","datavalue":{"value":{"entity-type":"item","numeric-id":685434,"id":"Q685434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165211$F00B64B9-886D-4543-8E04-C0F460F65303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86d7d231ff54ec619f50876b16b8e55872e33c3","datavalue":{"value":{"entity-type":"item","numeric-id":4536629,"id":"Q4536629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7846c23a03863cd8d1fa170dc8d05448484955f","datavalue":{"value":{"amount":"+0.9032026","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":"Q2165211$F020F5F3-19E2-42B4-9842-88FE0D03B3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8956b8ce36156dd6f7a8e206b3693df7938fa9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1686118,"id":"Q1686118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e06cfd3588c681404b5a7c20608c0fbf99a23ad","datavalue":{"value":{"amount":"+0.9003619","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":"Q2165211$1E868AC3-664E-468A-9C2D-CC317518A8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9bf8ba953bf10aed5053ffca784e009cb6cdef","datavalue":{"value":{"entity-type":"item","numeric-id":302231,"id":"Q302231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce7e553b308318004d7d97707e372ceb0fc4c98","datavalue":{"value":{"amount":"+0.8993578","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":"Q2165211$74DE0874-B268-451B-995F-06E2C98B2BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7060f08b03f4438658575d17214640cb5132a87e","datavalue":{"value":{"entity-type":"item","numeric-id":5394328,"id":"Q5394328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96b46c4729e900130346619e1237bfc5027c566","datavalue":{"value":{"amount":"+0.8920384","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":"Q2165211$BE8B9F04-451C-47F8-AE7A-9D9890961655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eea595ee365bf6f93155bb503add5db944e849c","datavalue":{"value":{"amount":"+0.88943195","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":"Q2165211$AFDEBE62-A9EF-4865-8D8F-6D0B9B130E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f326ef95e4759df2a72a88bd84551c8a178d6f83","datavalue":{"value":{"entity-type":"item","numeric-id":553290,"id":"Q553290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f7a9b583ad1b340d691b60cc8a78c4fe2cec38","datavalue":{"value":{"amount":"+0.8859917","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":"Q2165211$45C2EFEA-8AE3-405C-8967-2912FA492862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d8ec0ee51457ff4e66fb3f04a397c79b962972","datavalue":{"value":{"entity-type":"item","numeric-id":3184728,"id":"Q3184728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a18b0eedba713205aa013876919d8e3f20f507d","datavalue":{"value":{"amount":"+0.8752217","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":"Q2165211$B1E68F1F-5E92-4510-AFBA-7B10DA73EC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e336bf4cc8f24c3b3a566600d6cc53d7a969d0a3","datavalue":{"value":{"entity-type":"item","numeric-id":4630292,"id":"Q4630292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba01788efc6e30168d41dcfa06bc88c61ea2917c","datavalue":{"value":{"amount":"+0.8727538","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":"Q2165211$996C07B8-E758-46BA-A5F2-D68A5BFF624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba9d3b44f69296a2c5ab65be472a77b71c31bfe","datavalue":{"value":{"entity-type":"item","numeric-id":5758140,"id":"Q5758140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4082bebc2e569a37bd40d38b67e6cb60708426a9","datavalue":{"value":{"amount":"+0.86791354","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":"Q2165211$2FB45FC0-61D7-47C6-BA93-C988A4890F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cfbdd00c9a332e878552ee2b899cbcb7bcc8bf","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7166193ce23fa776a3d1396fd39b111fb11303b","datavalue":{"value":{"amount":"+0.8677766","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":"Q2165211$DA748C73-0C01-491C-80E1-F82B51BD813C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165211"}}}}}