{"entities":{"Q5019599":{"pageid":7049176,"ns":120,"title":"Item:Q5019599","lastrevid":54195791,"modified":"2026-01-26T10:59:04Z","type":"item","id":"Q5019599","labels":{"en":{"language":"en","value":"Utilizing treewidth for quantitative reasoning on epistemic logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7454770"}},"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":"Q5019599$C374BE51-F632-405A-A7E2-AF95CB6E3FA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29df64233ce60b76aeee7aaf278a00f7ae12ca1a","datavalue":{"value":{"text":"Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019599$B7B2C66A-657B-45E1-A343-FBF9496269FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09e300ef0fcb0885c1f2bad27ee6b042832d85d5","datavalue":{"value":"10.1017/S1471068421000399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019599$75A44C0A-2EA0-4AB1-9A28-FD46DE9D8A41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e3bed1e93bef25fdf68dbacf9e3c651e7a49bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5019598,"id":"Q5019598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$38F82C07-BDBD-4A52-A4A6-C7E3306BC2C8","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":"Q5019599$5ABB4D75-6F22-41ED-B8B6-A5A86B9EF018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$E578FC0E-E064-4ED0-84BD-2C7BEA5F9914","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$14B8600D-71F4-4E7D-AA0A-88066809F3CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff63f60b6d44658f55871ef5632b30ddbe917cdb","datavalue":{"value":{"time":"+2022-01-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":"Q5019599$B0DF2299-DBDA-41B1-A1C8-5EF8A3D37CC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79e00c0c07df177f5833e3df15fe6ea3b45a089a","datavalue":{"value":"https://arxiv.org/abs/2108.03022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019599$EAC78FC5-C910-4652-A4DA-E00183DF932C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019599$DB14B8F7-8C63-4067-A104-51E26DC06E91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8661065bab3258187f40f1687920104b7985e24d","datavalue":{"value":"7454770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019599$70B4C753-8050-4108-A6B9-EA1B30C9330D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8d3cf023bab08f5f024c1c995db7319e658840","datavalue":{"value":"epistemic logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019599$94061CFD-9EB3-4A45-8475-B13AAAA76EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019599$3D1ED3DC-8259-45EF-A10F-8EF273F97BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5dd8d16b0eb5b7b722b66d8bc1461199fa82519","datavalue":{"value":"tree decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019599$AB48ECCE-0B4C-402D-823B-56D3E11B9F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019599$63FD0AF3-19A9-441A-B542-8A19DD069714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3474c07dceb9d64189447d2eb51f420ec833bc","datavalue":{"value":"hybrid solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019599$DFF36F08-BE9A-4897-8733-8E178E582243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63dfbf306fa1ce65ef59a22a2d081d7d00367227","datavalue":{"value":"nested dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019599$6003D1F2-2567-49EC-825C-1EB0ED98476F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a0b7cf1f109611b278ab883e079d4fde0c35a4c","datavalue":{"value":{"entity-type":"item","numeric-id":55583,"id":"Q55583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$9C2365F8-F352-4580-90C1-6BC9A9184F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e015323d4eb2ef741b69b37cf7c63643c0c10fa","datavalue":{"value":{"entity-type":"item","numeric-id":32924,"id":"Q32924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$01C02BE6-1BEF-43F1-9B09-C75C9D7F04B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7408d700eafa5e310cd615040d4dff006ff7060b","datavalue":{"value":{"entity-type":"item","numeric-id":42720,"id":"Q42720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$00B77EA4-0292-4884-AC9F-3391FEE19298","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":"Q5019599$486E9059-75AA-499C-BD7D-AA2619F4278B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee491d6005aab9cd18604a48e0bb0ff243dd6990","datavalue":{"value":{"entity-type":"item","numeric-id":4957201,"id":"Q4957201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$47C627C6-8977-4954-B72B-9D13FF78B043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b361b33bad93fb5fade027992c8d0d0f0153ca","datavalue":{"value":{"entity-type":"item","numeric-id":4576239,"id":"Q4576239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$F7F65C90-C852-4660-9E52-F8BD277CA582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22c5348b8b2641ae581fcd3bade1b996d4382e2","datavalue":{"value":{"entity-type":"item","numeric-id":4895809,"id":"Q4895809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$D52D630B-6741-46B5-A679-69BD95FC3287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32d92e9bfe76260baa8a37a5bf04a511eddaaea","datavalue":{"value":{"entity-type":"item","numeric-id":2326719,"id":"Q2326719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$091A8583-A351-45B4-9925-4E67FA0E6295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c174de489ba20316b19b1c22425180b854aa6f53","datavalue":{"value":{"entity-type":"item","numeric-id":5140019,"id":"Q5140019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$18B8EE07-F932-4776-A676-2B881DD0AB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$1B4CE781-FA8F-432A-AAC5-5EED0D4109C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab8cbaffc0c2f8ae0dd8d9dc1669af60e7d43ee","datavalue":{"value":{"entity-type":"item","numeric-id":5145651,"id":"Q5145651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$DD0965BD-74A7-431A-8EF7-DC9ACA1D8287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43815886e2b16bcd218dbb8b44ec34f34f374675","datavalue":{"value":{"entity-type":"item","numeric-id":2317973,"id":"Q2317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$430B71F6-A6EF-477E-B375-9DF53F2BB79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$09ECAD41-DFDB-4817-AAC5-3B285C2BE41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6829bd5eb9bb3d178f1b40e06150bd54064ca22","datavalue":{"value":{"entity-type":"item","numeric-id":4636635,"id":"Q4636635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$913E01DF-9BD9-4643-B79D-D6379463EE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e2ed46e96bff306970904d32f5b919ace9762b","datavalue":{"value":{"entity-type":"item","numeric-id":2661361,"id":"Q2661361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$175A95E6-AD24-48B6-9C12-69D94F9156EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95211a8885a5adb74106aedf6dab82f57af4cb55","datavalue":{"value":{"entity-type":"item","numeric-id":3304094,"id":"Q3304094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$01660C97-6349-48A9-A7A7-0D922B3F4C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08f8446b86941bff7a5f59f3696f9dcc3bd996e","datavalue":{"value":{"entity-type":"item","numeric-id":5267425,"id":"Q5267425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$3C05C9C0-D7C9-448E-A1E2-18B36402DA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d66bbdb7f772cbef138a03f2840ae9cb488353","datavalue":{"value":{"entity-type":"item","numeric-id":5020544,"id":"Q5020544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$774D9569-0647-4E2F-85CA-FC8432085416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41c305690fedad4112a337f53097525b0cfd555","datavalue":{"value":{"entity-type":"item","numeric-id":286399,"id":"Q286399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$C7425EA4-9C0E-4C08-BF99-A7274906BBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0810c77ca6bf95b21240e8f8c91a758034907e1a","datavalue":{"value":{"entity-type":"item","numeric-id":3001928,"id":"Q3001928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019599$41626018-5924-4514-88D7-61E1D4CD96CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57e9a51b7857710ce3b7e1511eab94c4707541c6","datavalue":{"value":"W3214340885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019599$C8A00142-B49E-4EBE-AFB1-1B5A72234EB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ce5e67411d0008ec4d27ff8de9d15bb7b99753","datavalue":{"value":{"entity-type":"item","numeric-id":4957201,"id":"Q4957201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666b1ccb2e51bad19a7cf3183b68331e519231f0","datavalue":{"value":{"amount":"+0.8019310235977173","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":"Q5019599$759D916B-401D-48E2-AFE0-C0C5E2C5EA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fb0db5f0455541e5dd920424c056ea839628df","datavalue":{"value":{"entity-type":"item","numeric-id":5140019,"id":"Q5140019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634e14a599d7135e3e6985467454280ba0f14192","datavalue":{"value":{"amount":"+0.7814266681671143","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":"Q5019599$E1ADAB6C-01BE-45CA-99B3-DC644E6856D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db32de3d5668b0cf0f68ab39173655b8ad4b4842","datavalue":{"value":{"entity-type":"item","numeric-id":5108503,"id":"Q5108503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c791e3a991498cc688ef99feb05c04b906d88b","datavalue":{"value":{"amount":"+0.7790845632553101","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":"Q5019599$72952938-C1E5-49E5-B85D-CE2E8D383ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e4ee7fa119905d482b6ccf75d996d381ac6ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2317970,"id":"Q2317970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fe882e370140f770d1f5a30ee1eda381216cc2","datavalue":{"value":{"amount":"+0.7602587342262268","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":"Q5019599$61891B3F-3BC3-447D-98F0-3F92733BE6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26337d54805c6117c4d5095c8749253695850528","datavalue":{"value":{"entity-type":"item","numeric-id":286399,"id":"Q286399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9813d1f6d19a5710b0054f1a2dff0d7b95cf37c5","datavalue":{"value":{"amount":"+0.7459006905555725","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":"Q5019599$1405100D-5461-4A20-80C0-C4AD5DAA8370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5019599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5019599"}}}}}