{"entities":{"Q4928479":{"pageid":6958061,"ns":120,"title":"Item:Q4928479","lastrevid":90985703,"modified":"2026-06-04T21:58:02Z","type":"item","id":"Q4928479","labels":{"en":{"language":"en","value":"Parameterized resolution with bounded conjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176248"}},"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":"Q4928479$3BECC4A1-B68A-42FB-8737-07C98400BA5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b849526b99fed4afc11ec4068a68e9888c6c7d2","datavalue":{"value":{"text":"Parameterized Resolution with Bounded Conjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928479$24A55EFB-330A-4719-B534-D3B03EC8EB29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a32e2d047f3efd5a022ae13652cf3abc172a1110","datavalue":{"value":"1381.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928479$8108F4DC-7ED2-41AB-B70F-BE4ECE3D41F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57d43354ced8278c2f3dd94f16e01cdfb7eb9d58","datavalue":{"value":"10.1007/978-3-642-38536-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928479$C1803023-AEC7-4AB0-ABC4-3DBA9C256036","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928479$11C284CA-4939-407A-89E4-9D5233B6F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb09d87b39fd189b9631d1d1dd35ec7a70bf362f","datavalue":{"value":{"entity-type":"item","numeric-id":1300668,"id":"Q1300668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928479$9F6579F5-DF5A-49D4-B3F1-3AF5DDE90F39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928479$D892B751-FF91-491B-96E0-B2B998D9BF45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928479$B043EE49-83F9-4852-AC08-75D0295E8458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be91227f41677619ce2969bcf8c37cd18fe19191","datavalue":{"value":"https://arxiv.org/abs/1204.2983","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928479$35B5C3CB-184A-49CA-BFB8-0934637D3EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928479$232DC94F-EBC6-4385-9F86-FB1E98B7784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928479$525FB711-E995-44BD-8114-6BBDCBC727ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d55755c93b65257c42b5dc291889b7309b8cc19e","datavalue":{"value":"6176248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928479$2B25BF1B-4554-463C-BCD1-866BCC1E3649","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":"Q4928479$A1F93544-FBD0-4782-9635-BA44568DE132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e71c9805a1968fff1505d2485df9316bbcdc757b","datavalue":{"value":"W1831997537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928479$61C7BCF6-805C-4AF7-8DAC-18C2E12C66CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e86875d6be3139f15b3aee3947588efa3914fb","datavalue":{"value":{"entity-type":"item","numeric-id":386151,"id":"Q386151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580cbadaf85dac195ea0e87ad73331a842f070c0","datavalue":{"value":{"amount":"+0.8179340362548828","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":"Q4928479$11C3CE43-63DA-4967-B4B1-B04062EE1417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c2af1de7f58122c0be9cb361053d7c235e616","datavalue":{"value":{"entity-type":"item","numeric-id":451111,"id":"Q451111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2289d0cf33d6e9b69876858bd082dfc039d7a693","datavalue":{"value":{"amount":"+0.7718028426170349","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":"Q4928479$E7B52B5D-D4CF-47E3-B54B-EE819A8A77D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8eb8a067ea1bad67ff2549b250b78c7978881","datavalue":{"value":{"entity-type":"item","numeric-id":3434690,"id":"Q3434690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccec293b27d96dac2391b27ca95c182dd62d4b28","datavalue":{"value":{"amount":"+0.7642019391059875","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":"Q4928479$4ADBBC52-FC61-4C8B-A5D9-89ABDAEA7C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b40118e8dd8f1de4a9281b291c59cd388043e8","datavalue":{"value":{"entity-type":"item","numeric-id":3012838,"id":"Q3012838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602e4a4d885fa42dabc1ae7750a00c9720b62fce","datavalue":{"value":{"amount":"+0.7581955790519714","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":"Q4928479$E99D90AA-EFCC-4E39-A9C0-625DD4733171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e06d558ba1f4942a6861b5084b0b135115253f","datavalue":{"value":{"entity-type":"item","numeric-id":835026,"id":"Q835026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2748eacd6afa65a302d68a9b0777c211971ee0d0","datavalue":{"value":{"amount":"+0.7548022270202637","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":"Q4928479$6878DA18-4890-4407-B21E-AA04208E2694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized resolution with bounded conjunction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_resolution_with_bounded_conjunction"}}}}}