{"entities":{"Q2946630":{"pageid":2957350,"ns":120,"title":"Item:Q2946630","lastrevid":52347233,"modified":"2026-01-22T10:11:29Z","type":"item","id":"Q2946630","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 6483138"}},"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":"Q2946630$8F20BC00-7E30-45E9-9889-1C7BE10E9AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68ec92cd85fbe85c4a127ecb819f41f01ae27446","datavalue":{"value":{"text":"The tractability of model checking for LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946630$951E7D0C-440E-48F0-86E4-F636756D1A99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c9db611977e2357df80a9a4301d82ac4472d31","datavalue":{"value":"1351.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$DA87F33C-6D8A-4855-9259-322E00300954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d507f69bcad63c97f1bfb619e012c9169b6ea3a","datavalue":{"value":"10.1145/1877714.1877719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$534505E7-9642-43DC-AEC6-006128C639B5","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":"Q2946630$FFE63086-59A3-4D0B-B91C-4B9356879745","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":"Q2946630$AB477BFD-B4B6-43AB-A885-DAABD8A6AADC","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":"Q2946630$9F5723A2-6B69-4247-B473-117E98D34ED3","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":"Q2946630$AE1FC9BC-2D48-4E70-81FF-766C771611FE","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":"Q2946630$762C5F75-B553-4847-BF60-FE6A46B74AAF","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":"Q2946630$BF777C63-F924-464A-B436-A2AC76D6C32B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946630$2E66899F-6DAC-4FB8-9911-A7B297974025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946630$1C067D81-8C0B-4B9A-AB42-6B9B315F303F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$289B1D2E-F096-453A-92C9-35B4E33BFB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$EEF75E83-A114-471A-8792-6191E83E37A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$4B6B8569-C5E8-40D4-87A7-727612F828DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$C376DC42-5982-451E-8DE9-368F95A35EEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5b842ffa32acaa1741b60046d2e9e43b6f9622b","datavalue":{"value":"6483138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$07F57A3C-B6AD-486C-A175-D7210092F491","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946630$2FA012DF-E594-4F47-90D6-07D44AAFAA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946630$F1D104EE-3B62-48E2-A719-5B212AA0BA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946630$BFB83B27-04CE-468F-8528-E45141FED560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946630$E0FD5092-667C-4A0E-9C77-6ED7F24ED47F","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":"Q2946630$BFA047FB-289C-48F6-AC1E-729B009501B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3264f71dd092b97fa9c4722e92128a2f970b79af","datavalue":{"value":"https://doi.org/10.1145/1877714.1877719","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946630$B891E5E3-2B3A-4DA6-B019-DE334B2565BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb40a763e2bc44a8baa0b9830a1709e89ec0dbd7","datavalue":{"value":"W2058566227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$C9F092A2-4F5D-4C73-8F8F-C17F37C85CCB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8a9ae8fa63e231ef4347f512e21d8871f166fc9b","datavalue":{"value":"Q130963700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946630$6E66FC47-7CB9-4FF2-96E3-4CEC6A712D40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f6204b2340f595a57420f4d2f0d6e141efbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"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":"Q2946630$92711014-0B69-4588-A5E2-D315CF2712C3","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":"ea883cc06c430953b25573b3b23f0d9f881ee417","datavalue":{"value":{"amount":"+0.8376652598381042","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":"Q2946630$BBF5E2BA-0360-4FE1-97A9-5F131DF709D4","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":"06c063e0267b210bdbc0db4a66fa8f173cad2701","datavalue":{"value":{"amount":"+0.8376650810241699","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":"Q2946630$F8C4FA7A-547E-49FD-9873-75A73F366AD4","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":"2037585a9c11d4cf2e99c6ccc663df1b167d61a1","datavalue":{"value":{"amount":"+0.8372362852096558","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":"Q2946630$31D11CEC-A1C8-47CE-9B37-5023DFB1164E","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":"5ccb8b248bee4072053f01d8987e29bf6126b078","datavalue":{"value":{"amount":"+0.8371464610099792","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":"Q2946630$A8853CC5-5D43-40C2-80ED-091DC4EE30AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946630"}}}}}