{"entities":{"Q6558679":{"pageid":14169834,"ns":120,"title":"Item:Q6558679","lastrevid":42347496,"modified":"2025-06-12T06:27:21Z","type":"item","id":"Q6558679","labels":{"en":{"language":"en","value":"Proving the infeasibility of Horn formulas through read-once resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7868443"}},"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":"Q6558679$B1846245-F8CA-4732-86F1-15C5146A5438","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1305fa96182cca4842bae9363d20c78039e8a92","datavalue":{"value":{"text":"Proving the infeasibility of Horn formulas through read-once resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6558679$75120D5E-FD3B-4B7C-86FB-69FBD2FF794A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$81AE03FB-E365-4C2A-B3A9-D64526B45BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$792AB81C-CDAC-45BA-91ED-C28748FFE19E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$7106C9C6-B18F-4BCE-B5AD-51CCF779F50C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3601b98156a2904113272d2a215fb6949457d9b","datavalue":{"value":{"time":"+2024-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6558679$F67A686B-2172-47AC-B9F6-4FBAC907EB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558679$17170C4A-8C0B-4DC2-A7DC-E2F06B31C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558679$2AD668F4-7661-4FDB-8EC7-BA893E72D940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558679$A2B4D167-A96A-48EA-AD55-9C219D14EF8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab2cca6addd52168adc8a4ca810f20d53d2f62ae","datavalue":{"value":"7868443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558679$8F2BEEC6-FA33-4DAF-946D-B376EEC14911","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558679$65294BE2-F763-4B61-8814-4EB068C5AFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca65c80d45a260814459fdc56063b854235eab38","datavalue":{"value":"2CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558679$CCDF7CCA-CF88-40DE-A231-7A56A6906619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558679$46E0D511-4111-4512-8BD7-2E67B24B2DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea331a608235275cb46359021c5435d67baad807","datavalue":{"value":"read-once refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558679$2439A129-A7D2-40B0-8A3B-A0BB820CD2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf12a8c1115f1513599114ba686fd54a6f0219f","datavalue":{"value":"APX-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558679$E05BAE74-8EC1-4169-998F-3E68401EE382","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":"Q6558679$A842778D-0AA4-4E28-8640-E980A1A3F3D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$4E46CEA8-F716-4E77-A258-16FD84B1ECDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$ED982739-F678-4550-97CF-02F370AFD2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0086f5e874fe7e4f38ea6905507c6d71ae7ad220","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$56A472CF-927B-4E9E-AF84-EA8C42E5B63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$3D980FE4-17CB-4846-B5F5-838EF4BC7588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30eba3246bdeeed9c4ef4710ca5a2a844f4b2903","datavalue":{"value":{"entity-type":"item","numeric-id":2327091,"id":"Q2327091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$784F4407-AEFD-4A76-BF54-547A0C35C500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9fc22a32f500a3420cc5b4ffc482e11c1338e3","datavalue":{"value":{"entity-type":"item","numeric-id":1749535,"id":"Q1749535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$CA533CB1-879B-4797-BB99-88DF18819E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2a499aa442a03c1708933f2c21f395f3a4f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$459128DB-519C-4CAF-8760-1A67D0EC40D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822e3104d6a40cfdd4c15d4f4c0a6e67edb1c659","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$45C8FA86-0038-4F15-9F58-503859B99E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39247c00a7ce4823ead5de23d97d8ba01016b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$2BE5E126-8AEB-4B80-809B-F8A2ABAD4488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fb9af8080348c65955a4567ec5d72c3e4f803e","datavalue":{"value":{"entity-type":"item","numeric-id":2497988,"id":"Q2497988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$4978E43F-22C8-40D5-94FB-8EA57BE0DC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$A35C4291-ADF2-445D-9B00-F38970FF3B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$8C63A100-0E2F-4184-AABD-F316236A0712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$B9D87F6B-134D-4E24-B530-210D5CD0ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$F1DC65A5-FCE6-418E-8524-22BFA5CE833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$1A38CA27-CE1B-4CE3-8794-035CBE6183AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88da7601d47ee938fa2cfc813b13b6a963f96ea","datavalue":{"value":{"entity-type":"item","numeric-id":2503307,"id":"Q2503307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$E6986DD1-F70F-4012-9B34-18EB13BB07D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$056EA1AE-9CA0-4D39-BA1A-E80EF9C91D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4960d97c11c0cd0f282650fb582b7cd310577033","datavalue":{"value":{"entity-type":"item","numeric-id":3256638,"id":"Q3256638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$F46F99C5-EA6E-4279-B84C-92640CDDC22E","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":"Q6558679$0EA912F8-2E98-4217-B13A-B885C22AFF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$29D56E02-6BD6-4F36-86D3-ED289278BF4F","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":"Q6558679$3C31A521-E578-474E-9E93-441C1C8BD031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2599506b761f6ddc2f9b7528edb9c1e7b0c44a","datavalue":{"value":{"entity-type":"item","numeric-id":3543645,"id":"Q3543645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$C3DD30B3-4254-48FC-A488-22AECD4624E9","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":"Q6558679$40FA452E-3A2C-4CCF-9E45-D030BAC37608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$84EB2988-A9FB-4E99-A0AE-A42C0E8275F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$DCFEA916-4925-414A-A9B4-FF326E757D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cd49fa29ad82b4073c1a688f60479c17b165d9","datavalue":{"value":{"entity-type":"item","numeric-id":4822945,"id":"Q4822945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$CEDB2C16-84E8-48BB-B7AB-DF02AF721CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$93D194F2-1E0F-496E-A948-9DAAC48DA8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975857b4102edd8f5c3a368d6243f0d960c3b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$5A291ACE-B995-462C-B962-C02F6DA20528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$21469F93-272D-4265-A5F1-F5DB881F26D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc88ff1cb643d082979748a221edc7c87a6de207","datavalue":{"value":{"entity-type":"item","numeric-id":2235734,"id":"Q2235734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558679$6E8F3556-24C6-4086-A867-CC44A1F3CCF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4d92e81ba67c6046b904c868389344d44d6612e","datavalue":{"value":"10.1016/J.DAM.2023.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558679$7F88D430-9B48-4841-90B4-A79842B7A3A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6558679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6558679"}}}}}