{"entities":{"Q6655872":{"pageid":14267029,"ns":120,"title":"Item:Q6655872","lastrevid":103785713,"modified":"2026-06-06T08:11:03Z","type":"item","id":"Q6655872","labels":{"en":{"language":"en","value":"Compact proofs of partial knowledge for overlapping CNF formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7960901"}},"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":"Q6655872$03712774-F7C0-4A10-8EAF-2894BA0B6857","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6053140f272451a16443542b953054307443c289","datavalue":{"value":{"text":"Compact proofs of partial knowledge for overlapping CNF formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6655872$976759FC-185C-4B6E-B5C5-EBC104380225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fa14cf89ba00dc8a1888b53bd39c33d4f359fc1","datavalue":{"value":{"entity-type":"item","numeric-id":6070762,"id":"Q6070762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$9EFB28A1-5F18-4E9D-AA16-D0D438C018B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a196a15da3da008703622c781f60800ee5325","datavalue":{"value":{"entity-type":"item","numeric-id":2145365,"id":"Q2145365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$A5210B0C-BB9C-4610-8A74-EF6D31C6DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"324ce448a0e7d9db209b5f95886a875b6d39edee","datavalue":{"value":{"entity-type":"item","numeric-id":2145366,"id":"Q2145366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$230C44DF-48BA-44E5-86F1-4565044B3A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e7093cb7176684522415314cfa54a1b7e03c570","datavalue":{"value":{"entity-type":"item","numeric-id":329719,"id":"Q329719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$F935D7BB-C387-4AAA-9483-A2591DB41F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18b60e1dd85915d581030fa402b0e17db562c1","datavalue":{"value":{"entity-type":"item","numeric-id":776001,"id":"Q776001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$BE53572D-252F-4EED-ACD0-523385B1C412","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5eab3bbb3b6673353b9ed770934b15d004ef795","datavalue":{"value":{"entity-type":"item","numeric-id":166358,"id":"Q166358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$4B36C996-8B19-4DB9-90BF-12CB9A4AF876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac86b9680bbb462103caa8fa8449c982e11153c5","datavalue":{"value":{"time":"+2024-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6655872$2D81612F-902F-4A0F-8B67-CB2F88FCF9D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655872$F40C6A1D-CBE7-42B2-8289-A9D8DC977F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655872$FB6EBFF4-E79E-4F47-9854-9A67BCE4804D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"838c18df26f87e06af23ca37ad4b0abacd28d4bb","datavalue":{"value":"7960901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655872$430D076C-0C8E-4E2A-A60A-FCC0E435FBF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aecb84f4cb55b572f3a16471786131ee25c72c5d","datavalue":{"value":"compact proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6655872$85903DD0-B4DB-4B54-91BD-C44FE3BAA93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff22f51a1833e202a753414cdb61485e195dd2c9","datavalue":{"value":"CNF formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q6655872$ADACCFB9-7167-4103-87CD-ED8F17294B3B","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":"Q6655872$6C0E9E8F-73A2-4CDD-B8F4-FFA67EDE77E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6502e2b253a5e03f4fc3bd064f7871c6cdcf41cd","datavalue":{"value":{"entity-type":"item","numeric-id":2691604,"id":"Q2691604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$5920684E-DACD-42C3-9F49-6D32AC16BFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df64979439f1d5abea9724d391249796dd492f4c","datavalue":{"value":{"entity-type":"item","numeric-id":2695643,"id":"Q2695643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$65CFF075-1727-434E-A644-7C6CFCA50A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18c5f422054b9264aa9d46d0a49d3e38d4eab8f","datavalue":{"value":{"entity-type":"item","numeric-id":4412812,"id":"Q4412812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$66C76E25-264B-4AAA-8E2A-89D95C6C2F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac1af6e9114acf96bc9dbe4867a33ee88d674a9","datavalue":{"value":{"entity-type":"item","numeric-id":2139628,"id":"Q2139628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$76915EAE-0A39-4F3A-A448-B28B3EE80978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3f49001fc76701295d6e4c402a6d2fd7422d8e","datavalue":{"value":{"entity-type":"item","numeric-id":6109456,"id":"Q6109456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$F4FCCB8A-2D6D-4CB2-83B7-EC859AB8EDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebfc91ebfe41d6cfe85c032c6c518ff16c378a83","datavalue":{"value":{"entity-type":"item","numeric-id":2139630,"id":"Q2139630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$5789574F-7D45-4151-A468-BFE65D6C245E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5cff8e45fa7bc891cd4078822456f3e687a8","datavalue":{"value":{"entity-type":"item","numeric-id":4318711,"id":"Q4318711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$42444E2E-7955-4302-98DF-F9BC948F44ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dedbe979d8cf9127281fb03205e8767f0d9b953","datavalue":{"value":{"entity-type":"item","numeric-id":2292641,"id":"Q2292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$5DFCD088-5078-4339-8604-5AB932E274C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de861b5f9692e064c75a00c890f7ef99ef58b9e8","datavalue":{"value":{"entity-type":"item","numeric-id":2799092,"id":"Q2799092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$3D108718-2630-4EF9-9C68-8A6EA740C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a04337316dd12d4937ffe903c962eab06e90d5","datavalue":{"value":{"entity-type":"item","numeric-id":5739198,"id":"Q5739198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$7356C4DD-0F06-415F-A72E-0A6E3B46029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3a315556217ba953b7cfa0d17902595b4eea2c","datavalue":{"value":{"entity-type":"item","numeric-id":4394211,"id":"Q4394211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$E8045210-430C-46CB-8BCA-ED0DFB96CE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3653bdf945e5cf807e39be8817272b1129a927f4","datavalue":{"value":{"entity-type":"item","numeric-id":4940695,"id":"Q4940695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$E7A87444-7725-43A4-8AF6-35CD9C24CC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2eb86bbd6348ea66e162419695a7061e84e58c","datavalue":{"value":{"entity-type":"item","numeric-id":3777940,"id":"Q3777940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$EE9F1D61-8582-47D4-9E0E-2924F68C22A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc13db92c664fcf359c740d4c3f93a30a3857c96","datavalue":{"value":{"entity-type":"item","numeric-id":2170057,"id":"Q2170057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$A0A90281-3921-4D98-9C94-B2E9472B61F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100f2e70b8573cc31b8666a03a59a63540ca63f5","datavalue":{"value":{"entity-type":"item","numeric-id":6061364,"id":"Q6061364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$69D05424-D04F-4155-B009-9E272085DE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4feb58a2ab8f89621eb4513d36fed4a40d625b","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$A12840A3-65F4-4B73-9313-CD18C49D7606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5878e6bb53bee38a4562266c40b50da5b405a676","datavalue":{"value":{"entity-type":"item","numeric-id":5739206,"id":"Q5739206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$64A4018B-4BC8-481F-BB92-D1A0DFEFAE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce19c33a0718247514d29ee75c6ff80972fbe3bf","datavalue":{"value":{"entity-type":"item","numeric-id":2948385,"id":"Q2948385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$213C8C2A-D007-43B3-92AB-86B57B24EAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb13e2fe18181cf9c39ae821eec387f7cad497","datavalue":{"value":{"entity-type":"item","numeric-id":2055668,"id":"Q2055668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$9EFEAFDE-0ADB-474E-A22F-51B9E9BBC4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012550480b6c284ee5fa9feaf07d5e0daae896e3","datavalue":{"value":{"entity-type":"item","numeric-id":6157518,"id":"Q6157518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$991392AA-B04C-43B0-9B9E-F04C7DA982CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56da3e4f7113bd082328249575e916795fbab8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2876894,"id":"Q2876894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$C23D210B-6DEB-45AF-B00D-BB76A1D03280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21151cd03525ca9e174b285b75395f4449a7e97","datavalue":{"value":{"entity-type":"item","numeric-id":2576880,"id":"Q2576880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$16B159BB-F52F-4161-912C-3FDF30593005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195290c435bdfe96466cb5410f267fc90b259553","datavalue":{"value":{"entity-type":"item","numeric-id":2181845,"id":"Q2181845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$560DF801-D370-4D67-B74A-F95A4671F6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f9be056a12eafe9a52024b37bc195005485fca","datavalue":{"value":{"entity-type":"item","numeric-id":6132415,"id":"Q6132415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655872$F5B876D2-9E07-404F-A755-CF99D30205CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b42f6f13e049d5c90feeaa07ed655b55248941c9","datavalue":{"value":"10.1007/S00145-024-09532-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655872$C163CD6E-7A77-442F-B0C2-B2B678B4DC4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c0d079b85ced4ff3e6d0f7d4664c8f756905b6","datavalue":{"value":{"entity-type":"item","numeric-id":6132415,"id":"Q6132415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298c535cd82e1bb563697984e6571b1faf3e84ff","datavalue":{"value":{"amount":"+0.8289490938186646","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":"Q6655872$0FBEBE59-43A7-4F0F-AAD5-E5DF4615C8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388ec9b651d818046be1c146849e410648f39d39","datavalue":{"value":{"entity-type":"item","numeric-id":2139628,"id":"Q2139628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e57a1a8767f9256dad7d4d455cbd0ef6e95e88","datavalue":{"value":{"amount":"+0.8236927390098572","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":"Q6655872$22653B81-7D6D-473A-93A2-35C22B86A566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24b8a181eb56f4114e6e939e0a15aa5068a49b1","datavalue":{"value":{"entity-type":"item","numeric-id":5739198,"id":"Q5739198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a169959b6c193e2be199561d8e895e90eb6ef4e9","datavalue":{"value":{"amount":"+0.7842007875442505","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":"Q6655872$C752C22D-AFF5-4319-9089-46DA13623435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e40559b7cb026063191f51812cbd022215efdb","datavalue":{"value":{"entity-type":"item","numeric-id":4880146,"id":"Q4880146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5747c349e1f3c247ded28b6deb7ca4497c596eea","datavalue":{"value":{"amount":"+0.7839290499687195","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":"Q6655872$91506026-0B77-4A1E-A1B3-F592175FCF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322f00796abfdbdae81afde22ba3f5442d5df9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2691604,"id":"Q2691604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2140911acaec4a03fc7dc49033512369885420d1","datavalue":{"value":{"amount":"+0.7804825901985168","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":"Q6655872$9694923B-F695-4E3D-8AB0-5391DAB112DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compact proofs of partial knowledge for overlapping CNF formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compact_proofs_of_partial_knowledge_for_overlapping_CNF_formulae"}}}}}