{"entities":{"Q5915667":{"pageid":8031695,"ns":120,"title":"Item:Q5915667","lastrevid":93506618,"modified":"2026-06-05T04:30:48Z","type":"item","id":"Q5915667","labels":{"en":{"language":"en","value":"Default logic and bounded treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6894745"}},"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":"Q5915667$2226EC32-4B82-41B8-9849-FA013EA77821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bdbbd93af6cd3ff64e6a584695a56545f6ff34d","datavalue":{"value":{"text":"Default logic and bounded treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915667$B19D2FC1-7E87-4C98-BB13-393A2526E26B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51b976a3abcb3954685d1e966a52aad154a01b33","datavalue":{"value":"1504.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$D7F03547-57E4-4982-9E06-B982F70BC685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15b037f7202dcf7a1bd23277280f8acde3a19e6a","datavalue":{"value":"10.1007/978-3-319-77313-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$A7A6EC99-05CC-4EE1-BD9D-3EC7254F24E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1231c9ffdd6fd18a27526f5f9b2ee5db0f5e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1647689,"id":"Q1647689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915667$FE45D1CE-75EA-4B9D-A614-D803ABEA4339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad042a5aa549a448aea28a7c63c386d0f68b470","datavalue":{"value":{"entity-type":"item","numeric-id":1647690,"id":"Q1647690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915667$2D3E1C81-4F3A-4145-BC4A-0497604EBFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4777dae1c7c9ad55c142cd1b9bef1298fbbe3be8","datavalue":{"value":{"entity-type":"item","numeric-id":1647691,"id":"Q1647691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915667$514D1EA2-F7F4-44B2-82A8-F496079282D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915667$9243DA46-0058-4F45-8AC8-6C43ED783DD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae92085f1df5558a9e4103c2322647df5d6aa9d","datavalue":{"value":{"time":"+2018-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5915667$83EA3607-A39F-42CE-A687-DB3DCA9F16E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8d297dc744442412028f0d50e6a49c0cf70be7d","datavalue":{"value":"https://arxiv.org/abs/1706.09393","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915667$A5EF8D56-EBF4-4414-9509-D3CB19B2F210","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$8E0F84E0-2426-44DB-AAE7-658A5945240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$DE1543D3-44A8-4D51-81FD-C29B75DF4F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$BCD0E571-60BA-455C-96E3-B3FA67208613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$23669AD0-34F8-49A0-91E5-592A819CC2EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5781bfea5ed454372bc3db7dea9ea6a2a0545eba","datavalue":{"value":"6894745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$44BB9AA9-015F-4623-B275-87F668113983","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c9e86a8c0ac704e1de13a66a9fdebb1fb49be9","datavalue":{"value":"parameterized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915667$6556E259-66F4-49CA-A98A-7469417BA8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5dd8d16b0eb5b7b722b66d8bc1461199fa82519","datavalue":{"value":"tree decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915667$45C86001-DAAE-464D-8312-376020094899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915667$A68D063F-2D04-4E09-89F3-67F53B7667A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182f3239d752d250a4d4e2de3d2e675f2263b7a5","datavalue":{"value":"Reiter's default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915667$494742CF-6DA1-4FBD-AAE6-486319C026B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915667$6807E883-2109-4E84-8DFD-DD995DB15536","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":"Q5915667$DAA3ED09-EDD7-4F14-B36B-60A9CE0E8409","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da8e423e9a6e0b86254626e65e1e6de76575b53d","datavalue":{"value":"W2964201613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915667$A452471E-4477-4ED6-A594-84EF714043B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8308894d469d7bb635aa7cf39b3e2bd21f8cdf63","datavalue":{"value":{"entity-type":"item","numeric-id":5918613,"id":"Q5918613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21f0bbf0cc721b49da6898ce8a6097906145d1","datavalue":{"value":{"amount":"+0.9999996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$EF6A9176-2FB8-4550-AA64-9CDFD87DF727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818312de47ed209980e429f75a71fe2e3f967122","datavalue":{"value":{"entity-type":"item","numeric-id":6184391,"id":"Q6184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771647a192987f04417a7267274fc2c68f5bfdae","datavalue":{"value":{"amount":"+0.89294636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$5A0D7DCA-904F-4794-81E7-B48DC8FDA921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edefe33cce038e0abc6689d5fd84cfcf3e83a13c","datavalue":{"value":{"entity-type":"item","numeric-id":4290918,"id":"Q4290918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771647a192987f04417a7267274fc2c68f5bfdae","datavalue":{"value":{"amount":"+0.89294636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$A7393645-1544-4E0A-B3E0-07E8B70489B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fbd894427e15a95a40f98cd341c0571afe6781","datavalue":{"value":{"entity-type":"item","numeric-id":5111886,"id":"Q5111886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce1492018097c068fcaf1039b7b6c627fd0b1b2","datavalue":{"value":{"amount":"+0.85916835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$E91AB7B8-D55B-4A15-AE39-EE32D42DCCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a58a08463d10a6ff53aaac2336924a78fb3c14f","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1afdb29c6aafdc44b7f82c69f9f01dc9ff2a08","datavalue":{"value":{"amount":"+0.85622865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$27AE028D-9EA1-4020-B546-699127DB9E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a345873dac55f4b6ed8f514866bf7e00b770e9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5369520,"id":"Q5369520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b1f98d6274e2146ec296540fa5af7b6ef570a6","datavalue":{"value":{"amount":"+0.85418016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$9180CD13-639C-4969-8EBD-767ACC87A046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eefba487794f20f76350426d1975e07f3cce4a7","datavalue":{"value":{"entity-type":"item","numeric-id":3386630,"id":"Q3386630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b1f98d6274e2146ec296540fa5af7b6ef570a6","datavalue":{"value":{"amount":"+0.85418016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$0686779C-4671-4114-A097-A769D320A934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c7196de95d5f96779d40709dbc09563877ed98","datavalue":{"value":{"entity-type":"item","numeric-id":6184352,"id":"Q6184352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9f30641f8ebeae85d41d72ff7614d714a6a996","datavalue":{"value":{"amount":"+0.85103804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$E43B35E0-AF85-4CD8-9726-EEA714648ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e86a356e7af129cb8494580f1044ca91d6232ad","datavalue":{"value":{"entity-type":"item","numeric-id":6483555,"id":"Q6483555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2c663977fe7e2f263f6a6ce91cefba32550750","datavalue":{"value":{"amount":"+0.8508165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5915667$5B3E569D-ABB7-416C-94EF-9FAF7F4365DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Default logic and bounded treewidth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Default_logic_and_bounded_treewidth"}}}}}