{"entities":{"Q2729237":{"pageid":2739976,"ns":120,"title":"Item:Q2729237","lastrevid":82837403,"modified":"2026-05-06T22:11:50Z","type":"item","id":"Q2729237","labels":{"en":{"language":"en","value":"Tree-decompositions and the model-checking problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1621815"}},"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":"Q2729237$B2C0F281-C601-4C81-A1DD-F085F4ECCC43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a1e7b2f6ab69106a6c6335a42580cc7cb8ae96f","datavalue":{"value":"0974.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729237$6FE4C1AA-872E-4BDC-A894-71A8DAF4B99D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729237$38772F5E-32F2-4E71-861D-9131F75156B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d9e7b5ed53dada835ed8dd1fea829801958aa","datavalue":{"value":{"time":"+2001-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2729237$04221A52-FD80-4FD8-8219-45D5FD06EB72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729237$DA47D7AE-AAAC-4C51-B83B-44FBBC27DB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729237$6AA59412-99D0-4190-8585-7CEF0BF455D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b30156a88ade7ec425a41c9aacc37764e851464","datavalue":{"value":"1621815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729237$FDF11E2B-5D63-4757-B835-51AE22C8A903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0073252dacd10c817f83ebbc24da5c2405f50f","datavalue":{"value":"tree-decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729237$CAC2458E-7197-474F-903A-DDCFCFBDC764","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":"Q2729237$935127B9-A804-45EF-9FB4-26AEC52359C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bbd9e1e78442ba5656eed06c948cb264eab29cf","datavalue":{"value":{"text":"Tree-decompositions and the model-checking problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2729237$DCA89DC2-2363-43BB-8DD9-2918CD55EF49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d94406c40e2fc59c6217175412040f80075312f0","datavalue":{"value":{"entity-type":"item","numeric-id":6591395,"id":"Q6591395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729237$162A6085-3AD6-4F4B-826E-1B34AB3C6884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree-decompositions and the model-checking problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tree-decompositions_and_the_model-checking_problem"}}}}}