{"entities":{"Q705069":{"pageid":706918,"ns":120,"title":"Item:Q705069","lastrevid":63759975,"modified":"2026-04-11T15:21:39Z","type":"item","id":"Q705069","labels":{"en":{"language":"en","value":"Generalized model-checking over locally tree-decomposable classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2130948"}},"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":"Q705069$666EC98E-61E3-439E-B9CA-B7749DDB6B1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b03bb6be1d784b382963a3c7533e1118d17f0d9","datavalue":{"value":{"text":"Generalized model-checking over locally tree-decomposable classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705069$17822D80-EC6B-4566-BEA8-B701676AF5B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"718f7bbcaac171e17bde323008a8fa2ca7486766","datavalue":{"value":"1101.68727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705069$73EA16FB-2A82-4D61-B101-0FB82AA07DD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46b112ceaae6eabd09e396156bf812f4eb5b078","datavalue":{"value":{"entity-type":"item","numeric-id":705068,"id":"Q705068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705069$E1F14F6D-EDD1-4BF0-BA85-9F86C6FA3E18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705069$C23CB1B4-BA7A-4CB0-9E5A-B6C4CBD67E83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705069$3548FA1F-A328-4664-B2EF-139CB2128EFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705069$6C83B519-7B52-4EB9-BE5C-6949376261DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705069$2F506271-7B4B-4DE2-A7F0-E26D8DB516A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705069$7500FB99-F63D-4858-84F1-62B933E0956C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"212829bf76854aec706042d9094b6e791054385a","datavalue":{"value":"2130948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705069$EC9F44FE-47AC-4C25-B7F2-282DC164A3CB","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":"Q705069$5A2D6F2F-2426-4BFD-A87C-444766AD5199","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d27a12e88697d1053ce409e2c5d0cf783eae1f0c","datavalue":{"value":"https://doi.org/10.1007/s00224-003-1111-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q705069$C09DEE57-72EC-4E97-B5D5-BF2190BD7300","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cc9e6b468e6f0c1afe7adff86f1df3d41a7bdca","datavalue":{"value":"W2912403374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705069$E3B5A60C-213C-4AA3-BFD0-A666836A3FD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8884914ec24976c793e743ad708001c07651a70a","datavalue":{"value":"10.1007/S00224-003-1111-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705069$961AAF8E-476C-42D9-A837-FEB0F2082861","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85e772e69852ce8d4fb807df81167473ec599e5","datavalue":{"value":{"entity-type":"item","numeric-id":4736877,"id":"Q4736877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58aa67fd0f86d19905c357ebea28b223739ae404","datavalue":{"value":{"amount":"+0.968889594078064","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":"Q705069$C1B6315E-186C-4778-85EA-96DC9A9BFAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b200026a6c2bf4cd9b17ad1ad0e8e87b4587355a","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c38515fb94d4a354e18f03cd388e821f2b40ff","datavalue":{"value":{"amount":"+0.8852155208587646","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":"Q705069$F28EEAEB-6517-4729-B6B3-5C68E997401D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09bd85c7f7f312b1dac0612b3617426c749024a1","datavalue":{"value":{"entity-type":"item","numeric-id":4938635,"id":"Q4938635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022a0929e072933dc4d2b1e5fa180d905e55e06b","datavalue":{"value":{"amount":"+0.8709840774536133","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":"Q705069$E08F59BF-C19B-4258-928F-CFBA073300BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be940d1685a71b3464a8b26763e4b45f20d0b7","datavalue":{"value":{"entity-type":"item","numeric-id":2986797,"id":"Q2986797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5483f1ac4c293459360f6c21d10de8babc8c48","datavalue":{"value":{"amount":"+0.870983898639679","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":"Q705069$636CD129-B758-4215-81BA-5D27AE65753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6eaea29c495d109455ccc3989ffb9c5ad09fdba","datavalue":{"value":{"entity-type":"item","numeric-id":3507329,"id":"Q3507329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd4e17ee9d20499f32b1a741c64fc4e717c5e4d","datavalue":{"value":{"amount":"+0.7803807854652405","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":"Q705069$8558F664-22B7-4685-B524-6F9565CACBAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized model-checking over locally tree-decomposable classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_model-checking_over_locally_tree-decomposable_classes"}}}}}