{"entities":{"Q2581762":{"pageid":2592505,"ns":120,"title":"Item:Q2581762","lastrevid":48625729,"modified":"2026-01-05T10:34:32Z","type":"item","id":"Q2581762","labels":{"en":{"language":"en","value":"Expand, enlarge and check: new algorithms for the coverability problem of WSTS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245147"}},"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":"Q2581762$10A4F817-D74C-4BF8-9B9D-70C15A3BE4D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0fd8058df0d7386b89194a8ff156466eeed1d01","datavalue":{"value":{"text":"Expand, enlarge and check: new algorithms for the coverability problem of WSTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2581762$A731CF68-95BD-4F9D-9213-FAD48B7C8827","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"065cb290bb92d3f4a3906a8f985bc0d5c6033148","datavalue":{"value":"1105.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581762$D1C6EA9F-2CC5-4584-A57E-94A22ABD771D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$E8BAA7C6-BDD0-4223-8968-151675DCDE7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$41944E27-11B8-4C67-AAD0-7B25E67D574D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2581762$4FC1B2F0-5E52-4887-8746-21FC0D80E64C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581762$A278641F-8748-4784-97D2-9272A3048309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581762$3654156C-0539-490D-B78B-F51BFCDC6C28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e04d50ed9a8fe1dea772720713851d3bcabf728a","datavalue":{"value":"2245147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581762$B8B46B0E-6278-45D1-83DC-1CBD6E79FD6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1e867957a5e8937680e8ef9eee567469bd265e","datavalue":{"value":"Well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581762$ACD3C08C-DDE9-4748-9F7A-7ABB59EAB79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581762$4346E6D2-AE4E-4348-8BF5-64DE54B5C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c266535e97b13de29fa3a8f1d2ba3f41fded2a","datavalue":{"value":"Coverability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581762$82E0DED1-DFF4-4A7D-844D-80C2ACD03020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc43e70c80bc1ea1844f5d097e313b46c99a549","datavalue":{"value":"Parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581762$A8C45FC6-502C-4279-AE6C-D63B1E3A4E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581762$0C63E958-327C-4C68-A46E-26F6A9DF1BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fcd088e562393f41a8b90ad3dcdd3985ee98744","datavalue":{"value":"Lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581762$9B7EE70B-2203-4D36-B340-3C4169CFC6AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$A9F19F5B-C2C7-45C9-A257-113D4D8CD1A4","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":"Q2581762$F725366F-77A1-4944-A4B3-14878A7D9177","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b344f740da2745514dfb1648b0d45a934969b66d","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2005.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2581762$A91FBFFC-E006-4E5B-947D-8BDEF6A74F22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adfd51f0d3733984637307ed434d95ff50610f4d","datavalue":{"value":"W2087997226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581762$8BED67D4-E6D2-4F41-8E90-B775D3CCC23D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$93D6F0FE-3015-4B33-8529-86291557C5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9607fa2e8936896b847c2dc05d86aec0f2ce39","datavalue":{"value":{"entity-type":"item","numeric-id":1235983,"id":"Q1235983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$F3D0D999-09BA-4D7D-8A5D-13B51BB89AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$2D018A0C-E19E-4F7D-80A1-937B491E45A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8364c618ad76db52057e29b74d52fa66ec4e18c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251060,"id":"Q4251060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$11444245-F7C7-4A3B-A0CA-81AB3EE77A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555e70759b9d3f8c50939cecd8cab09c5fff9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$3DD07768-8732-4FC6-BC72-2DD12B0CDF49","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":"Q2581762$C63F6846-5F85-4F62-A57E-90A3624560E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$92FD59AA-6EE8-43E0-8B36-A73123E03C13","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":"Q2581762$08E62C4E-000D-492C-BD4C-53C35743B65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20fd256a0f4aeec06022a5b29d0de9ee5960e4e","datavalue":{"value":{"entity-type":"item","numeric-id":2842877,"id":"Q2842877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$55D05627-5EBC-45F4-AC14-699868200E7B","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":"Q2581762$20C6728D-6EE3-433D-84AF-10C1C7D775FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deaed82a6074d2f070e04668ed7790c143fa5fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5465861,"id":"Q5465861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$E254A8F7-0536-45D5-88B9-BC61435E938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2746e9c4da87b38a9ca976e5ed46d4d5651d8d2f","datavalue":{"value":{"entity-type":"item","numeric-id":5716580,"id":"Q5716580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$F18CE750-477B-4936-B827-D22B466BA034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2761ab95d61aef7c2ade4ca2178d3bda414ab602","datavalue":{"value":{"entity-type":"item","numeric-id":1878908,"id":"Q1878908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$54D2214F-335A-40DD-B388-2B5978BE61C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$4F1EF31F-F2D4-4777-B2FD-02303EA393BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$D1035924-8AEF-4DF2-BEA2-D1792B428E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$0DA9138F-174B-4B1E-9DAD-E88C60AE3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$928E2BFC-13BE-4783-80DE-AF8C36CD293A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92451e1dbfb9efabec8d8bf8d86832e557d7fc0a","datavalue":{"value":{"entity-type":"item","numeric-id":4176985,"id":"Q4176985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581762$848F4481-9108-4FA0-8D07-A4CFA0E38B9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1506873f9fac7b716c7114382768d6bb7eb767df","datavalue":{"value":"10.1016/J.JCSS.2005.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581762$D22DCA6A-4888-4163-8D90-3ABD9A15E416","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3417144d9b1c15ccf5fb15ae0c7ca49c5626a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":5465861,"id":"Q5465861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f97bcc0c2fad0e0b15d69e23e5721c9ad9ad28","datavalue":{"value":{"amount":"+0.9924299716949464","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":"Q2581762$C1FC5679-BE23-481A-991E-34108F0FFABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3f4d7428018fc862b03ba9abc78a8aa473ec27","datavalue":{"value":{"entity-type":"item","numeric-id":5716580,"id":"Q5716580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68b54bba13f32a16017fe3a94488264ecde899a","datavalue":{"value":{"amount":"+0.8793762922286987","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":"Q2581762$6AE30674-5FA5-46C8-A049-242292A05F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f471a79c5f169224f998ea120f665ac785a4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19437f4b9398f0de868321af9582398b579fdefb","datavalue":{"value":{"amount":"+0.7851024270057678","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":"Q2581762$E9A3E7AA-E327-489F-90C5-67DFDD2475C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd12f37a38e717adc8ed5479fb6d00b3bea6902","datavalue":{"value":{"entity-type":"item","numeric-id":5114831,"id":"Q5114831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecff5ef666e696e7ad6d11bc0cd9160c979cc503","datavalue":{"value":{"amount":"+0.7828457355499268","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":"Q2581762$AA8B78D3-67F1-4BC9-BF5D-9F3F3D9E0A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbb1416c792e7d4fae141740a54130ad9f6c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5136306,"id":"Q5136306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f2d6344ac9a544809c21b53ce1209964b76500","datavalue":{"value":{"amount":"+0.7786847352981567","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":"Q2581762$2D9A709C-0403-4FE8-970A-B80CB2095ED7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2581762","badges":[]}}}}}