{"entities":{"Q290914":{"pageid":292681,"ns":120,"title":"Item:Q290914","lastrevid":60776136,"modified":"2026-04-10T19:03:53Z","type":"item","id":"Q290914","labels":{"en":{"language":"en","value":"Forward analysis and model checking for trace bounded WSTS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589287"}},"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":"Q290914$81F6882A-EB28-4128-ACBC-A85EACA0D2CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0765d7dd47a178c83ed21f55f721189f24e3895d","datavalue":{"value":{"text":"Forward analysis and model checking for trace bounded WSTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q290914$82394087-0F4A-4088-8C71-CED10E055936","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e3575b0d311249e13a93a9c4c5e6e0e4435881a","datavalue":{"value":"1343.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290914$1229C745-9883-46C9-AE3F-D0BD5A8A2A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be1ac20fc64e80e03356c38e3c7d9190e7a1594","datavalue":{"value":{"entity-type":"item","numeric-id":290911,"id":"Q290911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$75927B68-EB37-468C-90D0-1A755A1634C3","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":"Q290914$CBE35B28-E1A7-443F-B8D6-8E22745BAFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$3550E22F-0BF5-46E1-8279-F4861E77B1D3","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":"Q290914$20BB85D4-8849-4EC0-ACB2-037B8268CF3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76ffc69a7d5fd5bda3b4ed249f40dec5f4ba2327","datavalue":{"value":{"time":"+2016-06-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":"Q290914$5FB51709-EF82-4417-9E61-1612EFD92268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290914$229993D2-139B-4098-ADAC-6A27EF15898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290914$1C3E6293-3B58-4154-8C6A-0B5C75B4D757","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52151ec6ca691a8019fe087c52d42cd387026e23","datavalue":{"value":"6589287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290914$B2C6BB56-86CE-4546-93C0-929C5623DD03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d1931cbdb3998563112be99257d4a8208e24f5","datavalue":{"value":"complete WSTS","type":"string"},"datatype":"string"},"type":"statement","id":"Q290914$BB1B15D7-5AA0-48BE-A9AB-E3A2C896AE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q290914$0CEC1C98-1E20-4D28-8825-F074CFDE757C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"014b62ceca8c01606ca59395a88effe4d3f51f56","datavalue":{"value":"flattable system","type":"string"},"datatype":"string"},"type":"statement","id":"Q290914$9D83DA98-9BA6-4BEC-886D-AD57DFED8763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8027dc289f6fdd1d088abf4e26c3aa9b1f7ac7","datavalue":{"value":"bounded language","type":"string"},"datatype":"string"},"type":"statement","id":"Q290914$00576471-01D8-46CC-973B-04D0BDDA9FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64db7ba32f2a0c7926ef95e0d36df690389d3809","datavalue":{"value":"acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q290914$DFF412AE-69CD-4259-B8F4-916831062DBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$760011A7-A266-4AB4-8032-EE5F703703D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$AA4FCCE6-69C6-43F2-A6A5-3C9B9CF987D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$769FE521-D2C4-4F84-A2DA-04EC6D535E65","rank":"normal"},{"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":"Q290914$D114A762-8FF4-419F-A6D4-2CAD144A2125","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":"Q290914$F3EDF29A-FC90-4E59-A1D2-CCC6A1783CE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e1707bfbf67e78142c524b13902e14873218eba","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.04.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q290914$890427E9-F518-44ED-9825-83F89750F755","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1db71c166310723aaa583137c6e91c138b4b7812","datavalue":{"value":"W2337536205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290914$87BCC1E5-78DB-40F8-A4EF-A220EA772C69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$B3C1EF57-86EF-486E-B62E-73F8DC5B7237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e5738e739579e3429c25fb182bd984c83b01f","datavalue":{"value":{"entity-type":"item","numeric-id":3638095,"id":"Q3638095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$4EA8D085-20B0-4A96-A330-54A6D9251342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677abc0859eba7c711819fb7971318ff9197f99","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$4F3421DB-31D0-4134-8593-BB37644C0D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$B8E88F71-781E-4AD1-BAC9-C6FF1C05847D","rank":"normal"},{"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":"Q290914$F1AC853F-20EF-4329-AE1C-14B25F19A457","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":"Q290914$3526F0E3-378E-4CB7-A398-C3389DE91457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$0ABE801C-D071-438A-B887-E267FD24C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f317985b3380a3c2e7c5ee71bf31263870b10a","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$55BD3203-B8C0-43BF-9433-EB84FD09724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$DDFB0AB8-52E4-455F-BE31-1098E4B40371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$0B0E1AB1-053D-4866-9518-D1525AA1F604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d83092f8c95d7d524e1fd306669278c84f755b3","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$B3CE23F2-1B9B-4D08-A8DE-04B09F3D0695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a06cc82621fb5a480563de61a6ce44ffbe8888b","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$E9AD23D6-529C-4E48-B9F5-5E9C8AA1DAD6","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":"Q290914$3F273BC5-4DA5-4757-AC9D-C52BC5D00931","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":"Q290914$6CD606D3-5820-416E-990E-E56E69798F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8c68f6ccbf13c46f9f52bbeb1df847a2fc02ca","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$9BD146D0-9E32-4A0D-86E1-834B0B322D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdad4592047f5ca50ebdd18fa5d3aaef81428093","datavalue":{"value":{"entity-type":"item","numeric-id":2346416,"id":"Q2346416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$621BE618-0C56-4C55-814F-84B2F458E9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcb2da74dafb693749a10fd8d32af2080a29a15","datavalue":{"value":{"entity-type":"item","numeric-id":2947875,"id":"Q2947875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$3F5D14D0-06F4-4247-962D-E6887D5525CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696ed8a7301faaa3f8af90e04ed122f3eaa1095e","datavalue":{"value":{"entity-type":"item","numeric-id":5569453,"id":"Q5569453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$70DC42EE-6A16-40A3-BB6A-1AD7FA390F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a95fe2cd88f9c0798c5d594bfeac31bf8068c0","datavalue":{"value":{"entity-type":"item","numeric-id":3541029,"id":"Q3541029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$9E3A0A9E-3BEF-44D5-B429-A54558ABBBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75e549d6d3c32cbb3dfcc51d5f454a30fe814a7","datavalue":{"value":{"entity-type":"item","numeric-id":3088033,"id":"Q3088033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$2D351A4F-D11F-4A6D-A599-2DEC1C69F2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc0a63389634a9e98983124e81872cbd40ee63","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$8650AC7E-1F05-4435-97C8-3C812E84B972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e42f0028eb276733b0205f8d462592e23f52066","datavalue":{"value":{"entity-type":"item","numeric-id":1401309,"id":"Q1401309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$4E688E5A-2A8D-44C9-9B83-884F3FB20C52","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":"Q290914$BFC398F1-1F73-4643-BA9A-5021E1D2E7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7a03499c973a6a589eb84a1714e84d997be7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$A99E2C86-63AD-4551-96EE-F72BEB0FA9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$FFBE48AA-BCC2-4519-97E3-4171C2A3CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f2cd261f0f6ceaa59034c82a475ed1e374622","datavalue":{"value":{"entity-type":"item","numeric-id":4405553,"id":"Q4405553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$2C7FE4ED-D101-4B01-AF15-D35F248605D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b535dfaa1c90eb455e7f79ab1884232d5aced7","datavalue":{"value":{"entity-type":"item","numeric-id":4938633,"id":"Q4938633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$C7EB85B7-50A7-4D45-A6B0-A6CD02F36D7A","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":"Q290914$BAD202D2-B04E-4668-A24A-F7DB027A762B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3571bf8eed34370adfb0c8f4fadf636abf77941a","datavalue":{"value":{"entity-type":"item","numeric-id":2641880,"id":"Q2641880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$7F76E7B9-B608-456E-B4AE-0C8323955A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$5543BB37-5042-4F8E-9B6D-4009837469A9","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":"Q290914$53078BBD-38B5-4807-B561-1C4BA3F185F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d180c98b7518dfbe30d0622a6092abf2ce9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3584961,"id":"Q3584961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$6962B7AF-9969-4A9E-97A3-058D264263D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$37245B78-8FE8-443A-9C05-142D7C6D26AA","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":"Q290914$C10A5745-CFCF-4217-A335-799442A81988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612496350c5c8942c32845a461a59fd22b947b43","datavalue":{"value":{"entity-type":"item","numeric-id":3016216,"id":"Q3016216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$27E70575-48DE-4CBE-A725-722A194F19CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$9B1D5FF6-C796-448F-92BB-58B35AAED193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4fcb498ec76618d6d4f59a39de4f22e52d70c2","datavalue":{"value":{"entity-type":"item","numeric-id":5612466,"id":"Q5612466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$E8568643-7AA4-49CD-8421-3F0D44A8DC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$0DB98B30-0988-4A77-BF14-EF00D4DD5D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b90a9719471003b205bb7f13d39fa68211d2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4152749,"id":"Q4152749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$2AB6F178-991D-4099-8463-85B025D1EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$096C928B-2396-4BC9-A445-F5768ECD9FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$4BA4314E-545D-4317-81A5-56FEDABB9A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7b8730215460820dfd9615a715995167c5a527","datavalue":{"value":{"entity-type":"item","numeric-id":3766867,"id":"Q3766867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$DC938DC5-EDD8-4A94-BC90-A5CA80F0C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6cd82a1d78efe0e8663662c5bdbe2ef5b80d95","datavalue":{"value":{"entity-type":"item","numeric-id":3586406,"id":"Q3586406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$9ACB99A2-211F-490A-B639-066272EF352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9d78f19c83854800897d690d7d1dd680bb3a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3012939,"id":"Q3012939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$CFA7225B-EBD8-4C52-9421-D820BCC124B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$8A5EF932-3C9B-45E7-B80A-2F9D5738C08A","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":"Q290914$6200C44B-D520-437C-93C7-F0428A28AF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5750760020b877311f6cdfd55b4d2a69ad2eed65","datavalue":{"value":{"entity-type":"item","numeric-id":1346721,"id":"Q1346721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$658E37D6-5627-4609-932E-ECE69F4A460D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025603170ae7d76412d0530e5903dffb5b6ad1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1276242,"id":"Q1276242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$3490D9C2-D773-4EB4-9AB9-28E2F5F5ED41","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":"Q290914$4EA77FC1-82B8-41DD-84E6-1E33A19C9256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1f7c77caeeaf6f88e52136397f517769aac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$477B3113-0B42-4887-BD37-1F25BC516CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac24629b0517d8ef0b74445aa265837646af875","datavalue":{"value":{"entity-type":"item","numeric-id":453533,"id":"Q453533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290914$4A7C9642-8554-4812-B058-951DBA3BF6D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c6c1fc013815691620b8ebd37464866843fca9a","datavalue":{"value":"10.1016/J.TCS.2016.04.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290914$699C3BA0-3767-46F5-87C9-8493C331BADC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715fb75ab2bc74f7262ef1f2b9f8f1078fa985ea","datavalue":{"value":{"entity-type":"item","numeric-id":3011881,"id":"Q3011881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff9388d17a98687c33a8d466f6d441fae0d6366","datavalue":{"value":{"amount":"+0.9950896501541138","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":"Q290914$22EDDB34-1730-4881-BB4C-F30B27E00577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9dd55ec4a96153cee225a83c90fd08da0a3f1a","datavalue":{"value":{"entity-type":"item","numeric-id":3166218,"id":"Q3166218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ddd57a43186745393a0343ddf14ce500278fce","datavalue":{"value":{"amount":"+0.7905677556991577","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":"Q290914$57543DEF-CC5A-4180-B718-98DEC0A93592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8081cb2fe1b75f69ff532411307cb9f30e2b83","datavalue":{"value":{"entity-type":"item","numeric-id":3638095,"id":"Q3638095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e636858e9a7c9b96960fcd324049eb103eeadc","datavalue":{"value":{"amount":"+0.7879195809364319","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":"Q290914$A9E6348A-2F34-45AA-910B-C555A104FB71","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":"8f2a54265403d12c434c82a67c539f26dd5c30da","datavalue":{"value":{"amount":"+0.7858606576919556","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":"Q290914$AF264EE0-0A49-4E04-846A-F3568515A535","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":"e1466d40ab4b098e791b9813ce386ecea5a86bb0","datavalue":{"value":{"amount":"+0.7821193933486938","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":"Q290914$36EBF2AE-40D3-4E7B-859F-A3D8057A7E60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forward analysis and model checking for trace bounded WSTS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forward_analysis_and_model_checking_for_trace_bounded_WSTS"}}}}}