{"entities":{"Q6563059":{"pageid":14174214,"ns":120,"title":"Item:Q6563059","lastrevid":103543091,"modified":"2026-06-06T07:34:59Z","type":"item","id":"Q6563059","labels":{"en":{"language":"en","value":"Branch-well-structured transition systems and extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7872359"}},"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":"Q6563059$BCFBA40F-4A4E-4517-A7F7-653012EFBC7B","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":"Q6563059$A30F7553-33CA-43F8-8090-08103757BEDA","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":"Q6563059$9A00857E-3979-4FD1-A019-6B4F2C38F122","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":"Q6563059$F7EB4B65-38B9-45BD-A78C-A1E60EE24A40","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":"Q6563059$8475285E-2968-4CDC-ACCC-15E19875A1FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$EA683B8F-C776-4030-ADB6-D720D6711996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52ad18669458f088996fd7b4dd3dee92e307308b","datavalue":{"value":{"time":"+2024-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6563059$70EDFC26-A506-4067-BB6C-990FE463E65F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563059$487737D0-C431-4A00-9900-436118347C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563059$8BB32751-03D0-4444-9A6A-286DBEFEB12E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"848f5a6734d6601faa24fe055c6e7d25963c97e3","datavalue":{"value":"7872359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563059$09565F8F-57AF-421E-96BE-135015B64630","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563059$29C14F41-1A21-4E52-AFA0-E38BC3E223AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563059$55CF1B8A-68EF-4DC1-9307-D748606A33AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563059$2D2A4888-FC37-460F-A582-BBE6B4C77F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563059$652FD4D3-1646-4877-8447-1AEC213586DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f0b298b98b295a382a96fb355398c0cb27c9e78","datavalue":{"value":"well-quasi ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563059$112E0077-74F2-4072-9049-FB8C030A7ACC","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":"Q6563059$005AD806-76B1-4A4C-A862-235EB7124035","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":"Q6563059$B331CE42-9E63-4E4C-B422-D123DC4C3104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c01a8b94e23418e9dad586b3518d53b504e9b0","datavalue":{"value":{"entity-type":"item","numeric-id":553290,"id":"Q553290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$FE4EEB97-B18B-4E43-A8F3-7041BE3C5F93","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":"Q6563059$2EF7D184-0D69-4645-88F2-ED611B4D94AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9eb6f529196acf5385a22f7092e38f3a3abc7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1686118,"id":"Q1686118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$5C298C35-3BF5-4875-96A2-58286D57D8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6075c8055584ab0c70e7d140647001c83ce6e1","datavalue":{"value":{"entity-type":"item","numeric-id":5089316,"id":"Q5089316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$600A751F-3547-41BC-B676-C4DAB987CCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ffacdb497877b62833c0c7c05cf777666f981","datavalue":{"value":{"entity-type":"item","numeric-id":2248074,"id":"Q2248074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$C23ECC1D-1672-47FC-8611-6D6D63A2B1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$FE7432BD-BA41-4B40-98E2-794D430BA879","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":"Q6563059$DF2E7978-32B6-46C9-B975-0C4C6342DED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6eb49b0ffb8a786d850ff2a869eeee9d554ad66","datavalue":{"value":{"entity-type":"item","numeric-id":1476349,"id":"Q1476349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$E44A2762-30A6-450D-89D2-91FC5B03B9F4","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":"Q6563059$CA232C52-DD02-44F8-9081-6C9A9DFB9C4C","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":"Q6563059$8A3C53B1-86FC-4816-B022-0733D0A82C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b6194c92034f63ea2650a7ccbc695e9315b439","datavalue":{"value":{"entity-type":"item","numeric-id":5875677,"id":"Q5875677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$220E14E1-66A4-4DC6-B3B3-F95F65CF5B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b608000f5f07a4eff9f7596994ae2cbf76d666","datavalue":{"value":{"entity-type":"item","numeric-id":3771630,"id":"Q3771630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$1B1B1146-4BA9-42BF-82B8-EF257308AF63","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":"Q6563059$DBCEF5C5-DAD0-4F5E-90F2-CFF9443A3B8E","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":"Q6563059$01F60254-5300-4D0D-BD78-11636B859652","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":"Q6563059$6EDAEBD3-9131-42DB-9A6A-7332A0C219D1","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":"Q6563059$2A939387-E1CB-46FD-8156-FACA8802A0BD","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":"Q6563059$E0E23135-3138-4454-AE06-1316A3CCB9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8101c5e1d9e1c10b31f97a9a8ff7ac594c7373ea","datavalue":{"value":{"entity-type":"item","numeric-id":3401961,"id":"Q3401961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$0BEB7E74-5839-4E93-B1AC-3BD626058FB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0904db4165552e1a500956462dd899b3bb13bbc2","datavalue":{"value":"10.46298/LMCS-20(2:12)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563059$875A812A-1F10-4876-92C5-FEF914B78765","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155f5e9509bb6da138f95982a29579621db1ab97","datavalue":{"value":{"entity-type":"item","numeric-id":2165211,"id":"Q2165211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86317989bd8244a2f0c32dafecb1dee0b142105","datavalue":{"value":{"amount":"+0.9957453012466432","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":"Q6563059$7DF76197-9CFD-4156-8EFA-3C3526D7CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703631dc1182aaecc2092d3e9a8e9baf1a439f94","datavalue":{"value":{"entity-type":"item","numeric-id":5367063,"id":"Q5367063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2772372d4d031e40ffa192845f6d402a673fa71","datavalue":{"value":{"amount":"+0.8863652944564819","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":"Q6563059$DB36687D-906D-4B06-AB08-45EEF29F5FD2","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":"01f5b246f7bb0ccb90d42df17aa2560dff3c81cd","datavalue":{"value":{"amount":"+0.8568201065063477","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":"Q6563059$B203517A-7A3B-4BCD-92D2-39A90C2F1DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf418d07813efb8d4e37aeb55ed10889a3f73b8","datavalue":{"value":{"entity-type":"item","numeric-id":5167823,"id":"Q5167823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a51931023e040778c5c8dc492d18c429c557933","datavalue":{"value":{"amount":"+0.8477302193641663","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":"Q6563059$E7D943DC-1262-43CE-A998-93CE34289C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6648999986ea0b7b50034bf80d8dc93d6436c","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d154257424a86c524eeb53a3225e0e47b51cb75","datavalue":{"value":{"amount":"+0.8382132053375244","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":"Q6563059$9BE38908-3DEE-466E-973C-A82F1D8A7B56","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563059$B890D801-B51D-41E0-9360-15585BEA99E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branch-well-structured transition systems and extensions","badges":[]}}}}}