{"entities":{"Q4982126":{"pageid":7011704,"ns":120,"title":"Item:Q4982126","lastrevid":56882859,"modified":"2026-03-24T10:32:23Z","type":"item","id":"Q4982126","labels":{"en":{"language":"en","value":"The tractability of model-checking for LTL: the good, the bad, and the ugly fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418746"}},"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":"Q4982126$FF0E95F2-9EC1-4EC1-812E-0DFF31822595","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d0e1990eac56240e93a78a66f44ec9a95416910","datavalue":{"value":{"text":"The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982126$4809FEFB-95CE-4180-A5BE-FDB438D153EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eb4737ef384d687615e98dbb87ae703376881fa","datavalue":{"value":"1347.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$38047B4B-5660-4224-9EFE-5253210422A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72095f2f713ef1c79b38c0714aa4d79ebbc903f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015811,"id":"Q1015811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$13B0F1F7-29CF-4F2E-ACD5-AC20BE2EAEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$DFB14F01-769E-4D89-A413-04CE5F4A0169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d20f48cb9540482c9af2a4f4b1e9f17e57749ba","datavalue":{"value":{"entity-type":"item","numeric-id":393136,"id":"Q393136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$52DCC1A9-1659-46FB-A243-06D95A7436B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb5495cc401b544959cef7c53d33603f5c56b01","datavalue":{"value":{"entity-type":"item","numeric-id":319802,"id":"Q319802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$F6A98EE1-CC2A-4B2F-A7B3-58A7BD8BBC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bade7cb85ff6df2ccfbe3ca7582dab10e409afe3","datavalue":{"value":{"entity-type":"item","numeric-id":428851,"id":"Q428851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$B3C3BD8E-7096-4E25-A3FB-489E02B7AE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$CAB3A194-6DC1-4F5D-BA2B-447BA79546EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$687C3E61-B1F6-477E-9583-E9FE6484A106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-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":"Q4982126$51A934FC-62C5-4611-BA56-DE6CF4C0ABD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$C1033DAD-935C-458F-BE24-BC177A32E78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$BA7C38AC-FC2E-4594-B604-1FD294205B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$906298E5-BC81-43B4-AD36-4FC23C36CADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$71D4B23D-03B1-49E2-9C8C-C1969A28DF21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d69a29e2cead533d819fdaa9baeb8d1f61b6953f","datavalue":{"value":"6418746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$1CCC498F-0A65-4696-B560-543A1AE549C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982126$9C3BF3CB-FE4D-4938-A98D-8589082E77E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982126$4120824C-D2FE-4237-824D-E27EBCD0356D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982126$933F6C10-FC1F-4B04-9978-714C8D26D421","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":"Q4982126$7A6C2726-03D8-4110-BE81-85E76D5DE2AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecaf4d17777656a770838ffdf92f7cb8f3920207","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982126$69A7216D-D6BB-4E51-8028-3F0B20AEF166","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46357234bbfef72c74845b82df58bf66037e4365","datavalue":{"value":"W2066955594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$C09D033C-D94E-4576-85E2-C741A7D6B4D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c1d16c75ff551f6c84b8a34307f622523d123","datavalue":{"value":{"entity-type":"item","numeric-id":5449825,"id":"Q5449825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$2749E52E-A196-4FAE-8F27-DAC81C133A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b26059adbb73b62187c785afebbe01c80563747","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$C9B1747C-5C16-48FE-B1FB-62DF0F164F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38279ab697b62b6ea15e36553c1fb75cd25aa683","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$ABF3892D-3031-4B01-B291-A762A3D07D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$E065A18F-7DB6-49CB-A567-780A86DFF7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a181dd30afaafedddc5b141ee9b82f81ccc5fe9","datavalue":{"value":{"entity-type":"item","numeric-id":4185825,"id":"Q4185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$A8BB7F84-9341-4EDC-A7F6-F9F987FB0516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131c6b62c290a15cf0aad33ef90d14d9b6558993","datavalue":{"value":{"entity-type":"item","numeric-id":1889855,"id":"Q1889855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$C553EE89-51D1-48FB-AA20-6E12544EE309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b6a19ce322349db13836af6cd2f3bf79c2f00a","datavalue":{"value":{"entity-type":"item","numeric-id":5705928,"id":"Q5705928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$D73B4AAF-B60D-47FB-A977-11C5DFE2DB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$E62A122E-90A6-4287-A9E4-5507B97C5292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$6886557A-CCCC-4C99-A590-57239C079DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d879774694bb3b5bb639243edc63685f7f0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1426002,"id":"Q1426002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$AB1F222C-DD6C-46DE-B493-092C01BD7C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa183c2c4719e8fb45d86d412fa371263e7dc90","datavalue":{"value":{"entity-type":"item","numeric-id":3590974,"id":"Q3590974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$9170D147-B792-45B6-8026-572A2699ECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$21BC72F0-1767-45B8-9A57-1E8A054F1BBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"811b7368c0d4325aee353b99c7c6d46cf3edbdae","datavalue":{"value":"10.1016/J.ENTCS.2009.02.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982126$919E3C64-FF87-4112-B3DE-3BD93BCBDFB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7516dc49d0fbb5f7fe8de77197bffba5904fb3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2946630,"id":"Q2946630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61c23d6e2d95179d8aceed9ed06875a54b0d397","datavalue":{"value":{"amount":"+0.9832603931427002","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":"Q4982126$1382E97E-7617-43F0-85E3-C59ACB0915E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553242049814c88eb3ab4950c2221e56555fc794","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e694823db7fef4787909ba3ee06698f4af02ad","datavalue":{"value":{"amount":"+0.8687580227851868","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":"Q4982126$39471A0F-405B-4143-A522-60DD3EF83772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4edc491f35e560ebfd55a4f75425246989539c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e694823db7fef4787909ba3ee06698f4af02ad","datavalue":{"value":{"amount":"+0.8687580227851868","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":"Q4982126$3FA22504-7C99-4A9B-87A0-E8A96F32E202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86085177310e0ef941af650cf20b49d653c1fe3e","datavalue":{"value":{"amount":"+0.8414834141731262","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":"Q4982126$34053FAC-4DE4-4F2D-AF5C-0A5B2EE97F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f904b2b738da9b545ec91d0d688297341523cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1184125c0d7bc074fbb86e0c2cda0d7a58e900","datavalue":{"value":{"amount":"+0.821744978427887","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":"Q4982126$3BF48774-7E87-4FB6-837E-C3FDC6FABA55","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982126$00A80FFA-FD3E-47C0-96DF-3365E366E851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982126"}}}}}