{"entities":{"Q1777393":{"pageid":1788135,"ns":120,"title":"Item:Q1777393","lastrevid":68933844,"modified":"2026-04-13T03:12:34Z","type":"item","id":"Q1777393","labels":{"en":{"language":"en","value":"Testing satisfiability of CNF formulas by computing a stable set of points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168184"}},"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":"Q1777393$EC191EE1-B6F3-42CB-BBA0-F7512CF9B0D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05e0405870dc4ba5aac1c369593b2a8a04f9a02f","datavalue":{"value":{"text":"Testing satisfiability of CNF formulas by computing a stable set of points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777393$960B464A-8ADC-43B1-8E8D-B581BC1B0496","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"624275e4a96da0780baa240b67ef59f1f1663a1d","datavalue":{"value":"1099.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777393$465B2B5E-BE33-4C0A-B927-98133A824EE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$D69B45C6-7DEF-4243-8917-F2D5C558D72F","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":"Q1777393$092F01CE-6F5C-42B7-9DE0-3DEBF01D3F7B","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":"Q1777393$4B66C85D-A57E-40F2-AE72-AA62CC186194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777393$46BA9238-367F-4A95-A3ED-0C64355F9EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777393$766CD238-4CD5-44B9-9B58-E7C0A42B2D11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb31810c2b6d344d9ec701796c02f9af394d20f5","datavalue":{"value":"2168184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777393$DCD1B025-E56A-44D0-B98C-6E826EF29DFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777393$C78EDC66-7FC0-42DD-9696-9D7F5348EC98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$C2EDE115-3224-4E2F-A7F7-BAA972169D38","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":"Q1777393$75A2EB39-F820-4F76-9A78-2A1F40F87502","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35582c592b9028e5da20224657c06d953361b209","datavalue":{"value":"https://doi.org/10.1007/s10472-005-0420-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777393$66610E34-28C6-4DD1-9B45-7CE18A88652A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a1382523e22ff690bdd1eadc39c888e57ee211e","datavalue":{"value":"W2480672842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777393$8E32F11D-F754-4382-8646-555D18F663C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d2a85fd0daac5ebbfe9d1d095a6735cbaa6d82","datavalue":{"value":{"entity-type":"item","numeric-id":1961453,"id":"Q1961453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$9A23EC71-4197-46C1-B25F-EA6FA4037B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$5B7F5D1C-5153-4BA7-87EF-1966C56457E3","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":"Q1777393$0AC92D03-B5C9-4019-8AAE-291215014219","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":"Q1777393$4B6C3A80-F40D-4BB8-BBAD-8CF6590B66DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$5EB7E08E-CFFB-4CC0-9C8D-53112442B13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53375d2fa59baf0a437cd54fe657c72f8cb37ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2741516,"id":"Q2741516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$6B3095C4-F7EE-4377-8EDE-67C3BD1D9F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$2FC37996-5DAE-41CE-9580-03AA0EFE98B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$3C6E7D42-8732-40E3-B3EF-88B4EFD0B5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339bd5f4a6db312c4439152afa9c074442e0842a","datavalue":{"value":{"entity-type":"item","numeric-id":2741511,"id":"Q2741511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777393$001E2941-1265-4D08-8844-BED66EF6086A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77ad07575cff86c0e8eb470b9fa6aeb5e7ca0d22","datavalue":{"value":"10.1007/S10472-005-0420-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777393$06721D0B-56F3-4307-8F3C-0725543C67B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d6a7c10e7a67b8937b2a329bd2600ed68ddf55","datavalue":{"value":{"entity-type":"item","numeric-id":4809054,"id":"Q4809054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f564d0f84ad99848c7bfc54e21744239ba9891f8","datavalue":{"value":{"amount":"+0.994119107723236","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":"Q1777393$CBE24575-19FD-4C9A-9377-B354F89A0F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca7070ee27625a2139a9cd47fdcddf167143a27","datavalue":{"value":{"entity-type":"item","numeric-id":4647562,"id":"Q4647562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aefddf3f94da42c021d14a64103f44fbdcd192f","datavalue":{"value":{"amount":"+0.7508443593978882","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":"Q1777393$F1B0491A-F845-4708-A4E8-7A7E49F6F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a411f8335b70bfe8abd5021809672d5d14f83b5e","datavalue":{"value":{"amount":"+0.7481437921524048","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":"Q1777393$125BADA8-42EA-4DDB-B849-C8F11DA28D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a8d01fe2bdc8b006dc4bf8b9029d4908258164","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137d121003be472b31f2d62afe65e0e6aa20dc42","datavalue":{"value":{"amount":"+0.7429124712944031","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":"Q1777393$3912211F-C173-4D68-9B9A-358ECE313407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec90e595ec37f3c3a073ac6452ea4bfbe7c4220","datavalue":{"value":{"entity-type":"item","numeric-id":1854377,"id":"Q1854377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1176e02dad718145db032f9d015080805f29371","datavalue":{"value":{"amount":"+0.7419933676719666","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":"Q1777393$7A4DA5B2-9AD8-4405-9AC2-9ED54024C33D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing satisfiability of CNF formulas by computing a stable set of points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_satisfiability_of_CNF_formulas_by_computing_a_stable_set_of_points"}}}}}