{"entities":{"Q935232":{"pageid":937080,"ns":120,"title":"Item:Q935232","lastrevid":50415971,"modified":"2026-01-14T00:25:24Z","type":"item","id":"Q935232","labels":{"en":{"language":"en","value":"The inequality-satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306949"}},"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":"Q935232$5DED7F02-753A-40ED-98E1-F0E9A095173C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e50c180943e1c4046dc1920f6ad00ea6ae2ebf91","datavalue":{"value":{"text":"The inequality-satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935232$36FC0F53-5EAB-43BD-92F5-8AFDF45EBA35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d50f6e801c6da1a49f4445e06d212a94d26be7e8","datavalue":{"value":"1153.68392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935232$7997F63E-871D-4563-B603-0AAFF0B3CAA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b969806e15667b8bb837290cff38032bdae579d","datavalue":{"value":{"entity-type":"item","numeric-id":242829,"id":"Q242829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935232$62C55FF9-87F8-4ADA-85A1-E81598DC976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07197bf18bd4ac4d8a3a2ef0ce80f31c5a940887","datavalue":{"value":{"entity-type":"item","numeric-id":935231,"id":"Q935231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935232$C0D01131-F276-49FD-B1A8-BD75E3965F35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9747a37b0b56aeca2085282046e2737cd5087ca","datavalue":{"value":{"entity-type":"item","numeric-id":96289,"id":"Q96289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935232$701A946B-C86B-4896-8127-CBD99EEFDB7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"450d2294b845f0f9561a47040d8b62e63dee0412","datavalue":{"value":{"time":"+2008-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935232$7915E6B0-7E23-4B91-A137-55EFBF7A697B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935232$DB5EE64D-1A04-427F-90CE-178BE95DE475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935232$464AC7E3-9948-44AF-88A4-3DB4C2CB19C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea78c0fd4e2739d7d35c5c03d2cce9d8e4e5f903","datavalue":{"value":"5306949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935232$30A9783F-421C-48D1-976C-D00D22823115","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74921f177256c0b9669d3d4c94691d55c52cb46c","datavalue":{"value":"satisfiability (SAT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q935232$188EF090-1FA5-4C73-8643-6FCF87453540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fd7ace6f93ba28fdcc987dbef9c8a249431bc3a","datavalue":{"value":"inequality-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q935232$CE2977A5-922E-481B-9367-26EDC67AA2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"119100d2bdee2a90cda390733897544a5c56aebd","datavalue":{"value":"or-inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q935232$F4CB6D21-4470-4DF8-A30C-2882474875D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b20fae930112cbcc45da9be1a0c613312d19d0a8","datavalue":{"value":"parting directions","type":"string"},"datatype":"string"},"type":"statement","id":"Q935232$910C48DC-A826-450D-BDE5-3ED8936A4807","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":"Q935232$D34B0E44-D65B-4153-A793-3506B6C95240","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dace01df0f65e33ab2ea43b1623d79ab74788ab2","datavalue":{"value":"https://doi.org/10.1016/j.orl.2007.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q935232$AC6391AE-9048-4F70-AA3D-C32EABDEB142","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"426ced73f9d24000a1ade724f02804e7fe60b818","datavalue":{"value":"W2025994298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935232$28C5ADD5-CFD6-4B26-9F19-A18F1CCECCCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935232$E2DCFB9C-3C7E-472E-A593-54D73B78597C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfdc76fb3562ef6f4c9173dc95ee70d4835105e7","datavalue":{"value":{"entity-type":"item","numeric-id":4157950,"id":"Q4157950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935232$2CC90FFF-4FD5-447B-9104-023BCC916655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3127b5ef1a55be6a64db0fdd4ce7faa794ab4c","datavalue":{"value":{"entity-type":"item","numeric-id":1186444,"id":"Q1186444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935232$97E46C64-01F1-4A8E-B8EC-F0FAF9006602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935232$6F499C2A-CC75-461F-99AC-565D456818A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"280d171c4b931d901d6828bc129c05a370816743","datavalue":{"value":"10.1016/J.ORL.2007.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935232$FD4AEBED-0154-4281-9157-5EB8DEBA9085","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e740d06d415486ced4ce76b8a378a8e4550ac8","datavalue":{"value":{"amount":"+0.7852062582969666","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":"Q935232$30343492-987F-44BB-B962-DE4A8B7AC148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d066f96ec8d55d189c19ba338856541f779c34fa","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d47a0b8b5937b65ec721846f755072cdeb74ac4","datavalue":{"value":{"amount":"+0.7848972082138062","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":"Q935232$8A9209CA-7198-4012-8DF2-B29CC372BC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d925466f892d2dc2384eb8addb5a932ef2e312","datavalue":{"value":{"amount":"+0.7760206460952759","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":"Q935232$3F9741E1-14B8-4BBC-B85E-C614F73C0603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be797cf568eac61c70d1dcf6a6fc1fcb7c69b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4277694,"id":"Q4277694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b44ce1bea5a5722d5ac0e170f134c3f58d2e80","datavalue":{"value":{"amount":"+0.7718053460121155","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":"Q935232$FB27C9D4-E8D9-40E6-9F84-CB2556AAE7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8891ac6df97a878ccf7a91e4948e04efd55f0","datavalue":{"value":{"entity-type":"item","numeric-id":293164,"id":"Q293164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe4a6fc254e10cf395585bf2231a7ad34fb4a45","datavalue":{"value":{"amount":"+0.7676611542701721","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":"Q935232$E32A13C7-F6B5-49AA-AEE7-E9F7994B934B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:935232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:935232"}}}}}