{"entities":{"Q2104502":{"pageid":2115245,"ns":120,"title":"Item:Q2104502","lastrevid":56991822,"modified":"2026-03-25T13:40:33Z","type":"item","id":"Q2104502","labels":{"en":{"language":"en","value":"Preprocessing of propagation redundant clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628184"}},"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":"Q2104502$AB749171-2968-49D5-B7C7-6E176FFAC4F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db8082e0d43aa3a438bae187e39cd5103c4d919a","datavalue":{"value":{"text":"Preprocessing of propagation redundant clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104502$75C8B735-7198-438D-94D9-0C0601A3031C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"184b050da23fb13f654017bfe2e804d646c14d6f","datavalue":{"value":"10.1007/978-3-031-10769-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104502$A633C859-3C7E-4E7A-8CE2-C7815A731DB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c99de2327e2db3bbf1815a78361ba405d48bfd5b","datavalue":{"value":{"entity-type":"item","numeric-id":2104501,"id":"Q2104501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$59F4C356-68B9-4D63-B54A-F80BD61C4170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$B6C7A741-940D-4A1D-921C-B94A92BE5E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$542607F6-ED25-484E-AB21-E99C122820DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104502$E5CA347A-9197-4500-83B8-49F39BF0E469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104502$53D90B5D-CF2E-4A5F-8669-A67C4CE60F9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f81ab6147dad2f6b972d4be42c959ef2751a3b","datavalue":{"value":"7628184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104502$2F2E1D43-A042-45AC-AAB3-28830F2787A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca3f31aa2c04d477727f6082390af9392ab5e781","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$69B398CB-6EA1-4A4D-BE8E-6C16F4B0AD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$ED2ADDD7-6BDC-49BC-9C11-F1758F598061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"301291d1e9b4069ab8b0119823c179d7d50daf07","datavalue":{"value":{"entity-type":"item","numeric-id":5973615,"id":"Q5973615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$7E16B2CE-76FD-42FF-872B-9235BD41FF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$97F2133E-1900-4B80-BD29-2D45735A421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$E4CEAB0D-0416-418A-A661-A90A38B9DA7A","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":"Q2104502$56AC47B1-B443-48B3-A94B-EE210783758B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eff6d37c9c629d412e9991326ad54c95693315ee","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104502$FD244295-C87B-4428-A285-B76BDDA90785","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b439d7898ab48dfcc449030fa93bb0d16b48e792","datavalue":{"value":"W4289104012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104502$B43368CF-4A03-4688-9266-01E02F2E867B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"969f22c2e1fcc10b1a49b07f05e049c2339de4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1884991,"id":"Q1884991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$53AE05E3-F88C-478F-BECB-1009EB5027AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90284272cf7fa5d99e8f987d26f79c049e268f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5235475,"id":"Q5235475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$3D7C9844-F52F-4E74-A612-1F742D9A71D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465f736e3553ade7935865484c1b908a1260691b","datavalue":{"value":{"entity-type":"item","numeric-id":5277920,"id":"Q5277920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$82D7541A-C624-453C-BB03-797BF1639BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b448328659c53b39c3b23ae508f95e38910428b9","datavalue":{"value":{"entity-type":"item","numeric-id":3453243,"id":"Q3453243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$061F6908-1B0E-4B6C-AF6F-6C93DE6F54DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b838c339abe9b7955a5bd9fae4f3165650edbbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$7D78A502-3065-4DE5-B6DE-E0A54803C0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$E3E216AE-AB8F-4514-81E0-B17F3B49A815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$76B1DDFF-F17E-48B5-9B6A-4ADBEC2AA959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7e4d77503aed92727b364d8ebca331dbb48acd","datavalue":{"value":{"entity-type":"item","numeric-id":3454124,"id":"Q3454124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$7AA26120-A9BE-48C0-8377-602D2E53081C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7f4338d79de40b34fd30046415813d87c344b6","datavalue":{"value":{"entity-type":"item","numeric-id":2405245,"id":"Q2405245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$847B12F5-20BA-4C55-9271-AD68C3EF6A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf772690cf31a35a32c2f2f4f39692662f8aa11","datavalue":{"value":{"entity-type":"item","numeric-id":2303251,"id":"Q2303251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$A08C89EA-6943-4E6D-9CF4-7D7065854A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$6E5B3DB9-E2CD-4C4C-BBE2-688E32F34D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$213A7908-DD83-4277-BD48-64C77EC47AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96883000042912512ab34319ae986cd19027b655","datavalue":{"value":{"entity-type":"item","numeric-id":389216,"id":"Q389216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$DF30E0AA-173A-4EFD-B300-52C681A8714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7e8358f58e1397be654c43936d21c1d809ce15","datavalue":{"value":{"entity-type":"item","numeric-id":2817910,"id":"Q2817910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$1EE55555-B136-4B6D-AA05-FBA71F5A8131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb7528f4d7d44eed75ca13872ab6b739b9de709","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$F5824974-7275-4F31-BB55-C442284159D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99741ea86af8e3fe4690d90c224835231a7ef4d","datavalue":{"value":{"entity-type":"item","numeric-id":2233509,"id":"Q2233509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$C9D4E4C2-4BCB-4B72-BAE5-27E1609443A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$B41FDAD9-80AE-46BB-B615-5EF99787F9B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdae71d2730ce44a73a9ea2e6e9939aa1f584fe7","datavalue":{"value":{"entity-type":"item","numeric-id":6053844,"id":"Q6053844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q2104502$604DD8BD-04D2-4BC7-A3D6-C48D0C157053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4c7f17035f1d7405c9e05adb85c11531c107fe","datavalue":{"value":{"entity-type":"item","numeric-id":2104499,"id":"Q2104499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eae87f8e7e33512da9a80dd3a5fbd3d1d9a88e4","datavalue":{"value":{"amount":"+0.8678599","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":"Q2104502$DC8F31F7-2A8E-4FE7-9CE0-E31D8AB7AF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef6c8d28b840d9c1ef7c908c8f6d2abeb531424","datavalue":{"value":{"entity-type":"item","numeric-id":3491011,"id":"Q3491011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ecd4608c7f227ca8859e6e289f02ef0ae7e87e","datavalue":{"value":{"amount":"+0.8556769","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":"Q2104502$4FDE7EC7-54A3-4653-9D15-966026D21AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f034faf5aa32d27bdda558e0c308da60ff21e2","datavalue":{"value":{"entity-type":"item","numeric-id":688551,"id":"Q688551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c9da336293f37f69cc5f6e8f55a37ee7027726","datavalue":{"value":{"amount":"+0.8393228","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":"Q2104502$04F9F6F4-74B0-4168-A92B-3C2CFAD6C379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb93d0f543cc8289be2a10eacb8bf23f384c7bee","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1759c293f33a1758a7ab464aab98991fdebe89be","datavalue":{"value":{"amount":"+0.83724606","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":"Q2104502$3976209A-DFF7-40A7-99ED-430B8D6E3D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293b754fb529fa6bb66eceb8aae1254c8a9ddac7","datavalue":{"value":{"entity-type":"item","numeric-id":3837994,"id":"Q3837994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5233f87de9e01a615fb8e90dee2c02c19d46458c","datavalue":{"value":{"amount":"+0.83013916","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":"Q2104502$D6AA1D08-D580-452F-BDDB-0937327EF0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056a92d60cff10f0c582bcc5294d2a274ae0596c","datavalue":{"value":{"entity-type":"item","numeric-id":2096437,"id":"Q2096437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739fca52cfe44fab090c6d0a56ef61bc3af0b405","datavalue":{"value":{"amount":"+0.82201284","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":"Q2104502$A7072731-D335-4E59-9B5B-4CE6EC3D5B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b092e6fbfbf08ac33062442b3a21f71cba3e17","datavalue":{"value":{"amount":"+0.8166398","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":"Q2104502$90BE198C-7F99-4A97-88E2-FE642C1DF7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830b093fc4e939186086e1440d6b3b5f3126800d","datavalue":{"value":{"entity-type":"item","numeric-id":688549,"id":"Q688549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ebd325c13c40672900aac62deedbb62c6dcb34","datavalue":{"value":{"amount":"+0.81564534","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":"Q2104502$C3AB0B01-5D14-4054-8BD1-B47180D1E93D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104502$2A118CC1-4083-4966-B1E4-2FAECC3B2C05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104502"}}}}}