{"entities":{"Q1623288":{"pageid":1634028,"ns":120,"title":"Item:Q1623288","lastrevid":73107900,"modified":"2026-04-14T14:33:55Z","type":"item","id":"Q1623288","labels":{"en":{"language":"en","value":"Sufficient conditions for the marked graph realisability of labelled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983759"}},"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":"Q1623288$AF88051D-E18A-43E8-9348-F184F38FEE21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df6e1f3491082f8ff683d2e241f961ce7866b804","datavalue":{"value":{"text":"Sufficient conditions for the marked graph realisability of labelled transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1623288$DF94DCD8-661F-494E-8A19-253B8C240D06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07a9c63ee0dc55317da1c624c9ec2fbe835a17ea","datavalue":{"value":"1473.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623288$4599CD5C-4160-497C-84DB-91C4D6CFD1A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$E5671FC9-F428-4E4C-AD70-7AB57D8A3CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d7912b66b573ce26594bd93e05229a12e4d17b9","datavalue":{"value":{"entity-type":"item","numeric-id":1623287,"id":"Q1623287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$5B07D6E9-0201-4CF4-B82F-97A2B5F8F4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fe8e1d078b2f0527d73ee9b65fa61d7f07395c","datavalue":{"value":{"entity-type":"item","numeric-id":927094,"id":"Q927094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$0C6127EC-D235-4E9D-ACB5-B434D1613823","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":"Q1623288$79B41C9B-704C-4177-8E01-C02A15D76897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1623288$73BBA98A-6347-4E8B-85FD-43F6BABE2B5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a9e338c8a6e2360831c56cb3f7c032fd52fe576","datavalue":{"value":"Let a system be described by a persistent (once two different labels are both enabled, neither can disable the other, and executing both, in any order, leads to the same state) Petri net which is plain (without multiple edges), bounded (there are limits on a number of tokens in every place), reversible (initial state is always reachable), and has an initial \\(k\\)-marking (a number of tokens in every place is divided by \\(k\\)) with \\(k \\geq 2\\). It is proven that there exists a marked graph Petri net (every place has exactly one incoming edge and exactly one outgoing arc) with an isomorphic state space. Let a system be described by a persistent Petri net which is plain, safe (maximum one token in every place), reversible, and has, in its reachability graph, a cycle containing each transition once. It is proven that there exists a marked graph Petri net with an isomorphic state space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623288$EEF633F2-6387-4DE8-9A68-6F02CF940C60","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$7B8AE4C6-C9DD-49EB-9EBD-6AC6177EA0A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623288$A494D13F-07BB-4F6D-80B2-D40D312CD66A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f03255551d12a89c03f0403634c0aa64f1286e","datavalue":{"value":"6983759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623288$0B61FB23-06E4-49D9-93BA-3BCE8ECC9B85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623288$A5EA345F-0776-4744-BA41-A97C86499559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623288$84709847-A3B1-4E4E-AA06-8FD6F099DBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623288$2C13A083-5CE3-4C5A-A070-C835BA162A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aa588e4f5e4578a5ce68662ac6bff84baf18c7","datavalue":{"value":"realisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623288$B53558B5-5C72-442E-8331-BB7B1E44BED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8c5f0fda903eb57fdf6fc9ddfea71c702a9060","datavalue":{"value":"marked graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623288$DEFF5054-B115-49EF-88DE-3A11CA2B5232","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":"Q1623288$3D3172FF-4DA1-45FD-9A7C-5C30EA9D135A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d14094ebeca2bdc1ae69ea7fced42720a7d3cab","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1623288$ED04EDA3-C631-457A-86B4-EB643940829A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7395d0a804a1c1f1cc575228b72b7d3118578389","datavalue":{"value":"W2763847243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623288$292672CF-333D-4900-A302-97FC53CA2F8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8b020e4d3f5bacacd5f3a7479d3cd33ad53be4","datavalue":{"value":{"entity-type":"item","numeric-id":539433,"id":"Q539433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$1967E406-36C6-4E0C-8D43-290B6FC66DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567ce89aeeef171d23a1057e1743495850479123","datavalue":{"value":{"entity-type":"item","numeric-id":3550623,"id":"Q3550623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$511CC65A-4DEF-4230-9CE2-82373EED47EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c809324dad89dea1ff7eed3c15e089468094a1","datavalue":{"value":{"entity-type":"item","numeric-id":3940832,"id":"Q3940832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$4C0657DA-67F9-4B4B-BA71-2F8C9E51F2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cf1d5d871fd5755b77acd01deaa51f98e63eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4164838,"id":"Q4164838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$6FDF3739-9C8A-42F7-B852-3B666C799CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"183eb5f98ccf0458bb0675d48b59db85c0e55a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3030246,"id":"Q3030246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$27F91291-E8B6-4363-9D97-5AEB9DEA3FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6102adcba105153d3e6e82f152154849f24757c","datavalue":{"value":{"entity-type":"item","numeric-id":3225713,"id":"Q3225713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$4D92F3AC-EF53-4404-BFC2-6C1C8C037915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f964f7d46b1d8c678c9c9e88feb6a00c7a058add","datavalue":{"value":{"entity-type":"item","numeric-id":3401931,"id":"Q3401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$15779281-5288-439A-AFC3-1FE181CD3335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$DEA1B887-EAAD-4223-93E7-108BBCF12031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aba6a9c1e60cd1f9f1767cc72a1ddfd6ac66d5","datavalue":{"value":{"entity-type":"item","numeric-id":1216050,"id":"Q1216050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$AFC8EA10-4BFE-41C0-88A8-567127CD1356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45674943e543059b7bac638c13624e47420b549","datavalue":{"value":{"entity-type":"item","numeric-id":897109,"id":"Q897109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$BDDF0F89-B8C9-44C0-A793-617075CD515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34300dddca2acf33b0b98f9b4eb0d8928e7c3ee8","datavalue":{"value":{"entity-type":"item","numeric-id":515678,"id":"Q515678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$7617622E-8A63-46F4-8F65-9E0DAEB98785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744d6ef3537beca7abf0af02c552eacd47a9431e","datavalue":{"value":{"entity-type":"item","numeric-id":1015394,"id":"Q1015394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$FB78086E-993B-4EAE-8DBA-7B53BCB19DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68274163d90ce4711a68b0279a3a80b8279fb529","datavalue":{"value":{"entity-type":"item","numeric-id":4055201,"id":"Q4055201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$8404B232-536F-4199-AF84-02F0193A2714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b10886ca8b4810e91e18ed9a8c6b352daf84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4341774,"id":"Q4341774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$22C6B5F9-AA58-4A1B-A8BB-34BC692E9BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623288$46B77A64-5FB1-4021-BD8F-C49958286749","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9387183d09ec6840659a539e8fdf79cac20ed043","datavalue":{"value":"10.1016/J.TCS.2017.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623288$4E8A2955-7E51-4DD1-AC22-7410FC11E0DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f598a43183970243d45a2ad32f55576bce46190","datavalue":{"value":{"entity-type":"item","numeric-id":3397630,"id":"Q3397630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56c2605452ac76722236d119dd2acf2b66337c7","datavalue":{"value":{"amount":"+0.8601932","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":"Q1623288$4CA64401-583C-4F39-BE86-DC8D93483331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17423dcc0b01bc5a477aeab36dfb4851576b5d73","datavalue":{"value":{"entity-type":"item","numeric-id":2032916,"id":"Q2032916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b83e85c2f7ecd295749b920e8e5da6524d7bf76","datavalue":{"value":{"amount":"+0.859519","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":"Q1623288$B96D97F9-E5E6-4100-8115-A21AAA360786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1007059c1d8aee5f8de6064d7b17258f8341dc","datavalue":{"value":{"entity-type":"item","numeric-id":4373413,"id":"Q4373413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e64771dd35ab123d9899d076b84c702238e6df5","datavalue":{"value":{"amount":"+0.84444356","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":"Q1623288$999EC272-9029-49D9-8302-EAAAF3747251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbafcad9427b3c029e218e6bc16545390f0509b2","datavalue":{"value":{"entity-type":"item","numeric-id":3706510,"id":"Q3706510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a46c3ec753ed5dfef521904a2bf5b6cf870697","datavalue":{"value":{"amount":"+0.8432327","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":"Q1623288$E5673447-03AE-4FD5-B0CC-0DF6A337F0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc963eedd1b52e8abc665ad3baf269888f48edb8","datavalue":{"value":{"entity-type":"item","numeric-id":3339297,"id":"Q3339297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a46c3ec753ed5dfef521904a2bf5b6cf870697","datavalue":{"value":{"amount":"+0.8432327","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":"Q1623288$835DAE3F-7986-482B-A51A-41F32A8D6A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c50905c45dc96d24a01ca9edac19b7a08afb27","datavalue":{"value":{"entity-type":"item","numeric-id":515678,"id":"Q515678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0feaab16ed4eebcfe3fdcf4d3a69cf5b252e2894","datavalue":{"value":{"amount":"+0.84211373","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":"Q1623288$E1330724-FBA4-4314-A6C9-EF803272C423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831ca712bc0c5392867abc40f29a3960a17a3968","datavalue":{"value":{"entity-type":"item","numeric-id":1713877,"id":"Q1713877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8e59d48c1afb14615efdf7dfac22cc0b98b955","datavalue":{"value":{"amount":"+0.8388533","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":"Q1623288$0CD49898-A2FA-4793-B30D-B61780307782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5f19b1e1d38f831f0407fb0da44e69c8ebeb17","datavalue":{"value":{"entity-type":"item","numeric-id":4791269,"id":"Q4791269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6ffb888fa543cea82ed243bd9bf63680cb93c4","datavalue":{"value":{"amount":"+0.8386735","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":"Q1623288$4C811191-D808-461E-8563-75632956E501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af43e60674ca3d5f676b07a0657748788657bda9","datavalue":{"value":{"entity-type":"item","numeric-id":3347316,"id":"Q3347316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bedbe9766ab880c93c858cb5a186f762a1079e5","datavalue":{"value":{"amount":"+0.8380406","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":"Q1623288$00E1F3AB-5EAC-47AF-9F39-0C3359E69CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sufficient conditions for the marked graph realisability of labelled transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sufficient_conditions_for_the_marked_graph_realisability_of_labelled_transition_systems"}}}}}