{"entities":{"Q1777405":{"pageid":1788147,"ns":120,"title":"Item:Q1777405","lastrevid":68933934,"modified":"2026-04-13T03:12:36Z","type":"item","id":"Q1777405","labels":{"en":{"language":"en","value":"Generalizations of matched CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168195"}},"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":"Q1777405$EF546385-34BE-4C11-8E66-6264BEEF24E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc765484fc7a48ae263127e316cefedc801a21be","datavalue":{"value":{"text":"Generalizations of matched CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777405$EB82E6A9-FD0B-4F83-820E-5692531364C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b7742bee12767a056f549bcc606b1efe0f1a4ae","datavalue":{"value":"1099.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777405$F9170FAF-6C9D-4675-9D02-01364AADF2F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$E48B5755-455D-45BD-A4D9-65C6C929C3C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$8CFAC0A4-D2AB-444F-96A0-1B7A0B3F6817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777405$0A363E82-EC93-4E2D-8F80-0C3C8A2B70CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777405$BFC28345-766F-49F8-9BC6-B6CEF27249E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777405$3D37A22D-D113-424E-BF5A-8B61662FD01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777405$E546B3FD-7674-40BF-BA68-9FACC8CDDC9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32b6b8db88edfb17a84d03171ed3d349517ef066","datavalue":{"value":"2168195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777405$99C0FD9A-4CC9-47BB-A0DE-233369ADB1CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508def3536da451aaa16ab7a21353869c1e5bdc9","datavalue":{"value":"SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777405$9650791B-0F54-42D6-8F79-FC91EC4D1A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3187e84c5efaed03d0bd9515713a70084404d3ee","datavalue":{"value":"bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777405$1735099B-30E4-4CCF-87F7-3413291307B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721125f8998ea9f00a8f25d53dbd586585b5570f","datavalue":{"value":"matched formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777405$BF0DB2E3-E5A6-4356-A42A-5D777DA925BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f678844b43499cbef46e11738328c75fb0b5a8","datavalue":{"value":"deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777405$D89ED4D1-5230-4832-AF56-1C748497F835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fe13d487cee6b1e9a41271978549a7fa2de79","datavalue":{"value":"biclique cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777405$703487AC-913E-4C69-B0F7-9FA835C19AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777405$9D4253DB-D9CC-49D3-A262-ECCD112FCDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777405$D543240E-A354-4763-B2BB-B24055997B65","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":"Q1777405$0879F12E-8300-47F6-95F2-4EAD30A13363","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41b5f9b8d9afa94897b261611b272e1612c7daf2","datavalue":{"value":"https://doi.org/10.1007/s10472-005-0432-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777405$BA2913CD-AF4E-4447-B3D4-ABBDF2865DC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d4de85249ae830cdc367ea8a040636696654bdd","datavalue":{"value":"W4237683073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777405$0DCF2FCE-7C0E-44A1-A479-5AD1BCD418A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$C2B70E7B-4E39-4BD1-905B-4E2E3AE0B02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$17BACC2E-39D9-402E-B66C-70B1F8B4A580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$7946F5E9-8BEA-46EE-B7B2-A0F4A70E0820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f0643f48db48cf753f5c3bc5d268c995c5dc4d","datavalue":{"value":{"entity-type":"item","numeric-id":4521209,"id":"Q4521209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$048A8899-BF4E-4966-ABF5-4A6547C179F9","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":"Q1777405$859F55C7-336D-47A6-A551-F7A71EBFF64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7cdf78065d162ec62bce90012feb1427556f74","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$D54DBF20-A50A-4D4B-90AB-1B92B99BD5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$51F760DB-5C10-4241-A0A2-C6E7B571C46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e7c737b5c2c82b2ccd073c6b69e332275cbd0f","datavalue":{"value":{"entity-type":"item","numeric-id":2816101,"id":"Q2816101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$1BFBA408-6AAF-4879-894F-8A63CC55CDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$EDD5B311-0770-4ED9-A59D-8F9DA82B8C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f90f14c7f17aef07745280dbd63e19b5c6789d","datavalue":{"value":{"entity-type":"item","numeric-id":2741513,"id":"Q2741513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$08804C3D-1B4D-4D23-9F67-CBB76519ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$A26C91DD-29FD-4A70-8B28-8B5E5E922357","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":"Q1777405$533E630D-08EF-46F4-8540-B46083639FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20560673347fa07753fe40599896f4c6b70ef341","datavalue":{"value":{"entity-type":"item","numeric-id":1088987,"id":"Q1088987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$E04A1A05-A39B-49D4-90EA-5FA1EC8C6320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$C73D75DB-77F9-4D7E-B68E-E4D490F1477C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$B3228F30-DE4A-466B-853A-BF3C90A34855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53197be1aefda7d514eefd0c85c0f702f00851c9","datavalue":{"value":{"entity-type":"item","numeric-id":3082962,"id":"Q3082962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$4113BF51-7C57-4EC9-BC00-AE49647518B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777405$E4A28701-5452-43F6-B407-5484B3C110CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f41fb64e10d9384658a468aadd8f0f52c9d62104","datavalue":{"value":"10.1007/S10472-005-0432-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777405$C39209E9-179C-4E7F-A6C0-1C9CFFF575CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924e16b8b418aab51723a8cbb04096ef25ba7fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2206220,"id":"Q2206220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d9818a41680cb801e042b9fde609aa830ae937","datavalue":{"value":{"amount":"+0.8763258457183838","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":"Q1777405$D36DE4FE-5B96-4011-89B6-9C8994206AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d649f5956996d5a4d477d98c9128a122826df7d","datavalue":{"value":{"entity-type":"item","numeric-id":2938476,"id":"Q2938476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d160a974c7be40cecead3100f795a31bdd0a37d","datavalue":{"value":{"amount":"+0.7846854329109192","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":"Q1777405$56DCE42D-A3CE-4E97-BA4D-CCC571EF74A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f00fb733a153d43dc4b29ffd87de0b51eb6c7c","datavalue":{"value":{"entity-type":"item","numeric-id":3021904,"id":"Q3021904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f97b2bb154eea711cd36648ee632db13fe4e25","datavalue":{"value":{"amount":"+0.7776073813438416","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":"Q1777405$4628B45F-C8D4-4890-B517-718C1F7F3CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3541c4517e0fc2ecbc830f321989f9b15835d8ac","datavalue":{"value":{"entity-type":"item","numeric-id":5739835,"id":"Q5739835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2178a5407ef36bbceef91859b85c1e42ccfd519e","datavalue":{"value":{"amount":"+0.7748363614082336","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":"Q1777405$CA3A734B-F4DE-48DF-900C-358547A4FA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389b154908ab06dac2520f2163bac7ba92ea06e4","datavalue":{"value":{"entity-type":"item","numeric-id":2741513,"id":"Q2741513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0609d8decefe3266a8c3ec7a681c275e11136f75","datavalue":{"value":{"amount":"+0.7744446396827698","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":"Q1777405$D567C5EC-A829-4FFC-80B8-F711A1AAE771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizations of matched CNF formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizations_of_matched_CNF_formulas"}}}}}