{"entities":{"Q963328":{"pageid":965176,"ns":120,"title":"Item:Q963328","lastrevid":65679252,"modified":"2026-04-12T04:16:52Z","type":"item","id":"Q963328","labels":{"en":{"language":"en","value":"On the fixed-parameter tractability of parameterized model-checking problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5694903"}},"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":"Q963328$3EC8EC49-4D15-47B6-A97C-6B1C07136FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e01374729132909f994c1a2e70f284fb9dc5bb23","datavalue":{"value":{"text":"On the fixed-parameter tractability of parameterized model-checking problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q963328$A3854785-7CE9-4E9B-91AA-D0E3C1B214FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23c1ecf95879e7233fde29e8b1b02cadd3dd9c6a","datavalue":{"value":"1186.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963328$AEB9C59D-E62C-40A6-8B1A-194A6FB6945E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f466736e4a4b4501d0136ec6feb8a629013f44a0","datavalue":{"value":{"entity-type":"item","numeric-id":265086,"id":"Q265086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$2DC375B2-E091-4302-AACE-76B65B7B3FB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$018C78F6-7C5F-49B2-A6C1-E1DD3A7CFA0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df35f107dee033aa4a629b06ed8424344d71e9dc","datavalue":{"value":{"time":"+2010-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q963328$D469A2C6-623A-47AB-826E-C84EEAF46A9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e95ed8e3d24bf809d94b3b4587a6d852801309e","datavalue":{"value":"http://dro.dur.ac.uk/5744/1/5744.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q963328$D8DE615A-B9B1-4FB2-B766-E7509AF80EBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963328$4BA7EA47-00BF-46B1-ADAE-1E186FA3710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963328$574CDC0A-93D3-4CFF-A828-D69C3214F45F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bf23d8461ad407742147334f89fe43fab8aa059","datavalue":{"value":"5694903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963328$EA9C5703-0FEB-4E0B-B15F-CE6CE321954D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q963328$CA65F1A0-6349-4880-97D4-DB429E15ACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q963328$D548E587-FF2F-4FF7-9A83-34BDE67DA553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q963328$757221FD-6EF9-492D-8300-A673E7BCCB6E","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":"Q963328$FB171B4F-4705-41A5-A53B-267E2FEB4C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b100f5beb31a8c79ea635e04031e19b25863da3d","datavalue":{"value":"W2084107093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963328$E1ED8117-684A-4056-AA66-371EE01670A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$E2E401E3-F3FD-4B37-B70D-8DE66B3862C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$D5B3961F-D681-417A-BF09-76478C8889C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc580406003f6782098c13814ea47c2513e69187","datavalue":{"value":{"entity-type":"item","numeric-id":2719133,"id":"Q2719133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$D9D42E7E-7E71-482D-8C07-E6EAE8DA8096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$76ED35DC-6DB3-4FAA-BF24-F2C6EF37FC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$00404987-DEE0-4EA3-BD14-0987DECC9EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$769076CB-91B5-4F4C-BAD0-C145FDB49926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963328$E619B586-34DD-4AC5-9B5A-2704EF30AF93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"463d127e918a4951d3a61b6be1e6e647d1a96c39","datavalue":{"value":"10.1016/J.IPL.2007.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963328$58524E33-53AE-4EB8-9A0F-D09D90F78C09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the fixed-parameter tractability of parameterized model-checking problems","badges":[]}}}}}