{"entities":{"Q2457681":{"pageid":2468424,"ns":120,"title":"Item:Q2457681","lastrevid":50192750,"modified":"2026-01-13T11:38:23Z","type":"item","id":"Q2457681","labels":{"en":{"language":"en","value":"Redundancy in logic. I: CNF propositional formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203837"}},"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":"Q2457681$1F0E127B-A977-4523-8369-9A01D1BAD738","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77772ec0ad7ad6794b6657e2a449676cfce21096","datavalue":{"value":{"text":"Redundancy in logic. I: CNF propositional formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457681$A7DC7445-43A3-4025-A2E1-114A389E94FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b2db3717d22f76bce9640835fd151e8e071677f","datavalue":{"value":"1132.68736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$E19304E7-1729-4FB9-90B5-29CC03742470","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0e56c25c2b7d0d8276bcdd33dabb0c16cbbccd","datavalue":{"value":{"entity-type":"item","numeric-id":202172,"id":"Q202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$F9176C96-DB49-46CD-8293-E1EFCFA1B384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$512F8195-7279-4AD1-9DEE-77D5BC4451BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457681$1A2EDFE8-70E8-4286-BE86-160F7C1F7EC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$689620AC-2996-42CC-8BB2-823CD9697D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$CA905D70-515F-4D42-A0C7-56A59F35704F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$A8503484-7CCC-4D4E-AEE5-26C3F59D1D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$81183E7D-D4FE-4676-9C8E-F4678D5A9409","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1127aee79518035fad166a58f7fef8c89482837","datavalue":{"value":"5203837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$764C852E-93D0-4DA8-B992-0EBD19C9B555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457681$1A61D812-1808-4945-96AA-3A0818E5B708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935250e4e60897f7fdffe660d9ac37d224e316","datavalue":{"value":"redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457681$889518CC-201B-46C9-B6B8-E3925EE0DF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f77bb7c7fc5cd55ffec643591fab5c73b575fddc","datavalue":{"value":"formula minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457681$E1CEA2AB-69AD-40FE-835C-B2311D65390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457681$CAC8C69E-F3B5-4FC7-9983-53CC239A9573","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":"Q2457681$ED0D237F-F828-4881-9245-23F8C143224B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0eb0fb5ae43bb8ad5b6bed3540ac48fbb5e7cb","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457681$C9170714-7596-4188-B933-9AAAFB4E9BDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab40e6f77cc7823b1ee004cce6c1145962eab5fb","datavalue":{"value":"W2058793155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$9E7A1179-1FFD-432B-B74E-D7AAC8F246B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a3e052346b3e42c07257c51858e7ff99f9837","datavalue":{"value":{"entity-type":"item","numeric-id":3738576,"id":"Q3738576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$82EF7EAC-2E7E-40A6-8C4D-E8291F4D0D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ee9b89d25866849eff84487be5a7c7991b60","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$1D2B46E7-4625-4E9E-B6B2-4EE459906845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37d3694c50f3395e78b82e401f4b3dee259c900","datavalue":{"value":{"entity-type":"item","numeric-id":1408373,"id":"Q1408373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$CC9764DE-F404-422F-BD5B-EE2E12CE1A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb10921ba059dc9bfd0156ebf043213aadebc89","datavalue":{"value":{"entity-type":"item","numeric-id":1978467,"id":"Q1978467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$13C0DF2D-DDAD-4E4B-8002-C272BFA95B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a993f1cad51f875f126f33b688d6a1ffa218bb","datavalue":{"value":{"entity-type":"item","numeric-id":1391128,"id":"Q1391128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$23496982-A3D0-4541-9FBD-F81ACDC0DAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$BF2E5360-CC7F-43BB-8B74-3F60ABC884F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1625f115e441e4915a922f307a1f6b93e46903","datavalue":{"value":{"entity-type":"item","numeric-id":757344,"id":"Q757344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$9277CA00-B83F-425A-8EE4-FBF80B4A7E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113adb4ba1e3bd0177197069b543187572980809","datavalue":{"value":{"entity-type":"item","numeric-id":5903759,"id":"Q5903759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$8C695284-E315-412E-8BDE-4FEC1336F799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432bfb1d9ec3da5b6ef41d6c5c69282741f875f1","datavalue":{"value":{"entity-type":"item","numeric-id":4369870,"id":"Q4369870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$1102506E-65B1-402B-BE70-81B4A98CB7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77dc212093fac6534f30a8030fd3ba8150b8f2a","datavalue":{"value":{"entity-type":"item","numeric-id":685346,"id":"Q685346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$82D33630-5580-4ABF-8500-47BF9CA6472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$15945960-1A53-44D9-8897-A305BA77C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14744950525d0d45f46f3cdfa3d4d384984627b5","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$DFB8FA57-817A-4345-AA87-CCD853836AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047b17067c912d1734fcb42ec5f8a770f216eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4411161,"id":"Q4411161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$566CDB1D-C301-40D8-82D5-7F3D31362345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d193bb88532af50db5fef4102d1a284ddcd926","datavalue":{"value":{"entity-type":"item","numeric-id":2389621,"id":"Q2389621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$DD457242-B4FE-486E-A1DF-17201EB5F0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7770b7151831dc817515ef45c00a0a01f4a35065","datavalue":{"value":{"entity-type":"item","numeric-id":5738901,"id":"Q5738901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$7D0264B2-F4A9-467F-97DA-21F3B2C4B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$E3C114C6-FC76-46B5-8A3D-01901C9FBEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00dbe049ef694ddf89bda4540748d3bb56f13be","datavalue":{"value":{"entity-type":"item","numeric-id":3919121,"id":"Q3919121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$A60B1A7A-B261-43FB-93A8-3D478A42AF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e724dfd30072c517bda3ea5885b5018ea4eef23","datavalue":{"value":{"entity-type":"item","numeric-id":4028815,"id":"Q4028815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$D5E1BBA9-80AA-4903-B218-4BA228FD8BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$6ADFE768-6D39-4F73-A5EB-0E8AD8E080C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$88C79880-9326-4DDD-A3AD-6E83BFB80F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3e30db2ed330018336a2d96709263ab95b382a","datavalue":{"value":{"entity-type":"item","numeric-id":4546712,"id":"Q4546712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457681$DFDDFCF2-17FB-426B-A9DB-26663C05A61B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c69ed26322c2a2865b2a415d48b00f91f2add87","datavalue":{"value":"10.1016/J.ARTINT.2004.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457681$3F62D226-15CE-4A45-A5B5-DB9C1485E51D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff9478062f7f00879e3a82ebbba617d90f8472","datavalue":{"value":{"entity-type":"item","numeric-id":2389621,"id":"Q2389621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3014045216a5a336b926595598ac94139865920d","datavalue":{"value":{"amount":"+0.8978309035301208","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":"Q2457681$5D354EF8-54EC-4EAF-B094-6123BF01E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf3a3698ab53d73974c252ca0e3984b76167fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2389660,"id":"Q2389660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34961e87e16c18bb14aec453ce8a1ecad279896e","datavalue":{"value":{"amount":"+0.8230796456336975","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":"Q2457681$8534CDFE-80E5-4232-9046-BB471CCD0474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7704356f63bd2c29270ba232bd288b37b6e41a3d","datavalue":{"value":{"entity-type":"item","numeric-id":685346,"id":"Q685346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bd79d0462478bbf1830a628f100fd7259c7651","datavalue":{"value":{"amount":"+0.8026989698410034","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":"Q2457681$7D0856E2-A18D-4825-A937-DEE69FF66850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902cfb41e25fa5209a29bed49cf2926995f04c55","datavalue":{"value":{"entity-type":"item","numeric-id":1777408,"id":"Q1777408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56809763a4d4d050e2aed214862c89a6f48cc837","datavalue":{"value":{"amount":"+0.7972986102104187","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":"Q2457681$8232A0F0-4406-4187-8145-4510CDD275F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c844ea1fb4bd84c3ee69bedf68dd11c1e751ad","datavalue":{"value":{"entity-type":"item","numeric-id":1769110,"id":"Q1769110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898f13b2beaddc199411aabf371deb2b7c9e857a","datavalue":{"value":{"amount":"+0.7489299774169922","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":"Q2457681$6B2AADD2-1989-4A24-8789-068086F91C70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2457681"}}}}}