{"entities":{"Q5408550":{"pageid":7438124,"ns":120,"title":"Item:Q5408550","lastrevid":51972536,"modified":"2026-01-20T16:11:39Z","type":"item","id":"Q5408550","labels":{"en":{"language":"en","value":"The tree width of auxiliary storage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282611"}},"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":"Q5408550$4DD99CEC-CF5D-4948-BE8B-BB0069941D79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cf40fae249520abc5bcf987903234d4c9eece0e","datavalue":{"value":{"text":"The tree width of auxiliary storage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408550$046D4367-F32A-4C65-8F48-2FBBC6482F3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17c3b6b73b3bc7453977c79ae47cd205620480e","datavalue":{"value":"1284.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408550$95CD0F2B-FC38-4052-986D-37C8B70B92DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e50d8b881fa69029cdf0af09a49b754d419fa416","datavalue":{"value":"10.1145/1926385.1926419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408550$6AB64A6B-4316-49E2-ADBF-D625936A8B51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408550$FC767599-5FE9-49BF-8D23-82723317FC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408550$293F5241-6501-4BE2-80DB-01BB8A602284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408550$2627EF1C-50FD-4CD6-8EB0-A3F5812E7738","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408550$633CA2FD-9BBE-4430-8C8D-4D9E2E9B4A00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"870d66385647283bd8a591d882b83f2d1879fd12","datavalue":{"value":"https://eprints.soton.ac.uk/272444/1/graphautomata.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408550$9AD92715-CD61-4CF6-8A17-CD1ADF4B1E01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408550$3DE08B19-6EBF-433D-9404-E26FDE29850D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408550$2CD96CED-7A8B-43F4-ADD3-3AA4CDECFE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408550$4975C2CD-21CF-4D18-9B58-3A107284C3AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7410ccb62011810e3d3737081a9b4af19196626","datavalue":{"value":"6282611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408550$1131DA94-451B-441F-A839-64F5274E6275","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408550$46412370-74D1-4D25-AB51-FF1DC7C306AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f010f13a062a89dd0beacb8f1b50a84404db89e2","datavalue":{"value":"bounded tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408550$B0C7FD97-4EF1-41A0-9D48-85EC47B91F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408550$5BD4AF27-94D6-4A52-99D3-106023026702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408550$E3FAF2D5-C4A7-4E16-BBF4-9916BF482D4F","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":"Q5408550$53BFB887-2CB8-4031-A1C1-00B2EC0BA6B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46e9f9e30472435689b2bc9cbfe0b8245e61b08d","datavalue":{"value":"W4214848047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408550$8BD0A2EE-9AC0-4D46-BBC9-B9DB88B1ACF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b4eb1e785e43e28b4c0b1a6991bd69c9366097","datavalue":{"value":{"entity-type":"item","numeric-id":1333263,"id":"Q1333263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9a24bffb11d94cd28c2ac53791f8e77a8ef9cb","datavalue":{"value":{"amount":"+0.757025420665741","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":"Q5408550$DF1DEE13-A636-4D7A-AC0D-7A90B48DA2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ada699d471222bc25afeeda3eb410e2087df884","datavalue":{"value":{"entity-type":"item","numeric-id":3384173,"id":"Q3384173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30f36553a215fa4d4bbe7279b660e3db461ee17","datavalue":{"value":{"amount":"+0.7433358430862427","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":"Q5408550$72513E2C-1324-48AA-96AC-323D6AD822C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bb924d356739e4aa590b4d56de6fda6707a713","datavalue":{"value":{"entity-type":"item","numeric-id":4635803,"id":"Q4635803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbaa8568541fd8fdef045b599078ff4a0eb8d7ee","datavalue":{"value":{"amount":"+0.7368643283843994","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":"Q5408550$D43C0129-F9E8-4616-8541-7DAAED6B6257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2532c39faaef9d71e10bb22f5eea7511b57fb7","datavalue":{"value":{"entity-type":"item","numeric-id":3525634,"id":"Q3525634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85192e7b96cf34ee3e56e47ef198ee0b44a743f1","datavalue":{"value":{"amount":"+0.7281632423400879","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":"Q5408550$4DA9E3E9-DEFF-4899-9370-135E805F4CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a100fd6e0dda974b1a540fbd7114d313866c","datavalue":{"value":{"entity-type":"item","numeric-id":2182732,"id":"Q2182732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc38254eb16c1b63ed359720bdfc15452988508","datavalue":{"value":{"amount":"+0.7242705225944519","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":"Q5408550$F4792865-BDE3-4465-BC7B-7034F840E2B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408550"}}}}}