{"entities":{"Q1744433":{"pageid":1755175,"ns":120,"title":"Item:Q1744433","lastrevid":53069777,"modified":"2026-01-24T04:08:40Z","type":"item","id":"Q1744433","labels":{"en":{"language":"en","value":"The incremental satisfiability problem for a two conjunctive normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862962"}},"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":"Q1744433$69719071-1C52-492E-A333-7F419C5706DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11c22adc3bf77e6180022d8e986a1e005203adaf","datavalue":{"value":{"text":"The incremental satisfiability problem for a two conjunctive normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744433$2DA6BA6A-9F60-4040-AE32-CA4E16A1E89A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f713415b53afdb73e374f31c51959e5ecbc2647f","datavalue":{"value":"1401.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$16FED5CA-68ED-4F01-98D9-972BD1554FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60940ecc4ceaddc26904eca5f47a54fe65de60fe","datavalue":{"value":{"entity-type":"item","numeric-id":283676,"id":"Q283676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$6E789519-FED0-4AE4-AC39-D1C3E24912F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5001b63661de77c8ddf1904c600c55acc2cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":1744432,"id":"Q1744432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$306B373A-48F4-4E3C-8E6F-B6D0F375BFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c108f2a8a2f2961b1d6e7cb820280ae963742e96","datavalue":{"value":{"entity-type":"item","numeric-id":283675,"id":"Q283675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$1CE5A0E2-2F7C-41CE-8204-3FBA6E048204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q1744433$172EA449-AE39-49C3-ADDF-BA0EC7C2378F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$A07F304E-204D-45DB-A9B3-DF2893C6C168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$10CC3D69-9A66-41A3-8C14-4727783B43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$758DAFD0-1D31-403E-B48C-BE403F4B1553","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fd92c3524f72b832993869fee82d6f0d645bc26","datavalue":{"value":"6862962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$B3FECD12-1535-4C68-B88D-08301A56D110","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744433$6011AD1F-0AF2-49DE-8C74-5FB82F3F7307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdf59b841b8f5b8e15636e7fa76af2bd53ad199","datavalue":{"value":"incremental satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744433$52039591-AEFF-44D4-8951-A338A1102E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b6bac09f8f25df29378bd5c3af8e79dca6821e","datavalue":{"value":"2-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744433$F524A76E-44B8-4254-A8FA-51D5DB00FDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a605f6243eee0897acc3d34291734819092f9f","datavalue":{"value":"entail propositional problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744433$A8D127D3-D360-4C8E-B58E-D93AA5358A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d19ad9b810bde2e44192ff039b0c4a04780d9aaa","datavalue":{"value":"efficient satisfiability instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744433$7A4D7B15-7237-4BAF-9571-01BAE9CAD3E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$C9C66A77-507F-434F-865A-51DF86E76C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$23065B44-134A-4C64-9D89-450A457ED71E","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":"Q1744433$8714E4CA-31AD-4437-AFA1-E98CD7883548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"10ed1370106ab58118612ce8fef1abc06fcb61d2","datavalue":{"value":{"entity-type":"item","numeric-id":13776,"id":"Q13776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$03CBC5D1-7C14-479D-9011-76D7DF4ADC8F","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":"Q1744433$5B2BD4A1-DA12-489D-A14A-66E92719A6CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"957b4c4c5152191a07dea0a0cb08a1c3a9ff1c0b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744433$BCC7C0D4-FB05-46CB-9FC1-E5562BAD1296","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"259f655478dd1166345edbcb1507dbab7fc9362b","datavalue":{"value":"W2561127804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$7ECB0233-A54D-4D5D-89EB-57A91231C86A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"47d33b69e0471244802721806e397f6b7266655e","datavalue":{"value":"Q113317622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$5D4B118F-9374-4D01-9BF9-46CBAF9F2877","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd4969e73201e634230f34755cb6b1fbd862681","datavalue":{"value":{"entity-type":"item","numeric-id":3612473,"id":"Q3612473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$0E555D7E-E430-4655-A641-3E7AD1644268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206e61eb1568d43f92222096c6183326b4af078c","datavalue":{"value":{"entity-type":"item","numeric-id":386044,"id":"Q386044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$55DF8BF7-9EF5-4055-B5A0-A5DDBC0FF1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$5BDC4D7A-AF21-4A96-BED7-F36748F76585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$3BF2A3EE-AA87-4A3C-8828-E30861957B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$390B79BB-EFFD-4960-A934-4173BA765CEC","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":"Q1744433$A8EDBB70-39A3-4DAB-92B5-B9EC0366242A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1c924d3989c078a0ef22fd9ebc9c6f3e1168b7","datavalue":{"value":{"entity-type":"item","numeric-id":1193517,"id":"Q1193517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$51751B14-CD75-4F56-BF57-D8BCBD5C6181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66d71147348a0e858d993be3b5a78966a8e324e","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$B455B9F9-4E9A-4348-A762-4A27C29A24AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b53867c88a73a7a906320d0a81056ca94fdd2","datavalue":{"value":{"entity-type":"item","numeric-id":4028812,"id":"Q4028812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$17C707E5-0709-4208-B862-43B605DF043A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770462b766b46565e7be9d6abea27d109e3bcff2","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$DB3DA59F-7389-4E40-B9BC-BA605D40DC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5f56faf1eb5778a67934d86dec7defa0e4c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":5714769,"id":"Q5714769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$D6DFCCD4-AEFA-46BD-BE3C-5067B0F34B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c40959955089db25bc4c5c66317fdfdb6269f14c","datavalue":{"value":{"entity-type":"item","numeric-id":622590,"id":"Q622590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$6C3FEA95-602B-497B-8F37-B12392890468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79cd9ffab1c5487b94c02ba53bbfa01dcce41c5","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744433$35318CAB-1E47-4060-9707-2F90178669D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bba8c07b42f4bd917d056fea610c292ac8c555a","datavalue":{"value":"10.1016/J.ENTCS.2016.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744433$C3819ACB-8CF7-4149-BF40-5C57725F4ECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18eadd68ef3a275c2b540e7d1f3026fdd79c63b3","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4814765ac37c3d4efc97e816133cc240c3de71","datavalue":{"value":{"amount":"+0.8217928409576416","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":"Q1744433$D8BB26D4-0557-4B17-B2DC-1A7F38D0F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97eea7ff95db044d83741b6329ea562cd80eaef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542611,"id":"Q4542611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5fdf75b7079892dab6c59f3952b7cb8b5d55b4","datavalue":{"value":{"amount":"+0.821638822555542","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":"Q1744433$AB214311-D9DA-487E-8FC1-8565A2A2D75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8f94309b421ca467f5f61f3f8453c3117dc524","datavalue":{"value":{"entity-type":"item","numeric-id":5464698,"id":"Q5464698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a096bd1d532d62edff9b0ae229617b0913ec1c","datavalue":{"value":{"amount":"+0.7712739109992981","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":"Q1744433$DE0FC2B2-6D5B-4B4B-A93A-EB668FEB6106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54165a1abfde1284f1db1ec08a4ba37edc558444","datavalue":{"value":{"entity-type":"item","numeric-id":4427350,"id":"Q4427350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635a6706e551093c8917dfdc98d3323b26c14723","datavalue":{"value":{"amount":"+0.7670605778694153","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":"Q1744433$AF21AA32-3755-46AC-9743-FF88AD981AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ee7ea66ac29b47348816295977d5126325e550","datavalue":{"value":{"entity-type":"item","numeric-id":3970696,"id":"Q3970696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7223c43e40a32d81012fa78fae2dd28f2005b7a","datavalue":{"value":{"amount":"+0.7602896094322205","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":"Q1744433$26E3D943-5BAA-4C87-B31C-464F3A9BF0B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744433"}}}}}