{"entities":{"Q1004340":{"pageid":1006188,"ns":120,"title":"Item:Q1004340","lastrevid":66531789,"modified":"2026-04-12T10:46:23Z","type":"item","id":"Q1004340","labels":{"en":{"language":"en","value":"Solving liveness problem for marked nets by exhaustive coverability trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522297"}},"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":"Q1004340$7B7B14E5-0BE4-4761-BB65-ABD6F42084F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"225f61da6ee9ba554f1e4008ff109a46f31639db","datavalue":{"value":{"text":"Solving liveness problem for marked nets by exhaustive coverability trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004340$46BA2B34-7B9F-4D48-8F2B-FC24222601E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"227998d3549deb9830bf27a713819eebda25d2c8","datavalue":{"value":"1154.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004340$9583B87C-9EFE-48D3-8A19-57D3A401BDFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31d0854139602aad6a1e4375b724876ad4d4ba27","datavalue":{"value":{"entity-type":"item","numeric-id":1004339,"id":"Q1004339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004340$8B477FAC-B70A-484F-B7C4-11E2C8D5AE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4817972e3416c81fe0a5b1745f658d75fe726dd","datavalue":{"value":{"entity-type":"item","numeric-id":180760,"id":"Q180760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004340$1CF02AA5-5864-4315-A503-EB488C9DDD9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5cca04c8ee62fe50f03a25f0a32af477a0360c7b","datavalue":{"value":{"entity-type":"item","numeric-id":815650,"id":"Q815650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004340$5825DED2-48D6-4396-8FF4-C4370D84081F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004340$39A52F65-AB0B-41BB-86C5-692A93F8E968","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004340$8EDBBF4E-41C7-47A2-B077-14805AB2C5FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0973ce11422f3d9f30dc2eda1a51bfa26e28331c","datavalue":{"value":"5522297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004340$E5703C46-D042-4ADB-944D-73686CD95F61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd485208ff614bbebce472ff4e2295fdcb03fb5","datavalue":{"value":"coverability trees, deadlock, marked nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004340$B4F689BB-932E-4A98-A30E-608C9115BBB3","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":"Q1004340$32634E77-CA85-44EF-86CF-ABFAEA08B2E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366cb32940a187f6934c6a7ed8b26d5e0eb50799","datavalue":{"value":{"entity-type":"item","numeric-id":2117182,"id":"Q2117182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af783a5f01e6ce0e05aa335fad21d8c7843cb3b2","datavalue":{"value":{"amount":"+0.7495847344398499","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":"Q1004340$4AC98686-0ABC-4078-8B25-4BF764445EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db1f03c063783134d90a60b0427bff1f9309e2","datavalue":{"value":{"entity-type":"item","numeric-id":3746895,"id":"Q3746895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2d8b134a89e8b9de197fa35a74f422ce922ec2","datavalue":{"value":{"amount":"+0.7486081719398499","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":"Q1004340$AC7709AA-8DBE-44DC-A2BB-B3DD2779646B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e6fbf9c67774b7bb8ea3593d4576fdcfbbbd48","datavalue":{"value":{"entity-type":"item","numeric-id":3510790,"id":"Q3510790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca29254eb142104fb60fca0793e5581675ba052","datavalue":{"value":{"amount":"+0.7359033226966858","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":"Q1004340$3F9557B7-25A5-405E-A184-8351348722C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc16fd1110ca58adfd7fd7d432c39fe476c0a70","datavalue":{"value":{"entity-type":"item","numeric-id":3552518,"id":"Q3552518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5219d9c2a998df68cf0a3a8a2125036526f8b488","datavalue":{"value":{"amount":"+0.7312056422233582","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":"Q1004340$B13A4C2C-3343-43D8-852D-7ED32EED1E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dceceac41deecc22dbe7bbb05a504ab0366d613a","datavalue":{"value":{"entity-type":"item","numeric-id":893846,"id":"Q893846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b9f419c413935a59da6ca07a2a7cd6bcdc84aa","datavalue":{"value":{"amount":"+0.7264862656593323","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":"Q1004340$6274BAC5-9EC3-401B-82DF-AA42C5F0B5E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving liveness problem for marked nets by exhaustive coverability trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_liveness_problem_for_marked_nets_by_exhaustive_coverability_trees"}}}}}