{"entities":{"Q1680241":{"pageid":1690982,"ns":120,"title":"Item:Q1680241","lastrevid":68124657,"modified":"2026-04-12T21:35:56Z","type":"item","id":"Q1680241","labels":{"en":{"language":"en","value":"Hard satisfiable formulas for splittings by linear combinations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807218"}},"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":"Q1680241$9C97FD8E-53F3-4E15-B76B-0D4CACB42ED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdaf26714955c6884b2c3bb1be35b33db556b7f8","datavalue":{"value":{"text":"Hard satisfiable formulas for splittings by linear combinations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680241$FEDD077D-9E9D-4AD8-9031-0046513751EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"379ed344e18e63c7fa26f47df1b9338ef727517c","datavalue":{"value":"1497.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$78212813-3615-4004-AF34-CA0F9410CF85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eb951e317f064810e535591143cc5d826919d1f","datavalue":{"value":"10.1007/978-3-319-66263-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$60F92DF3-E0E1-4071-BB61-D180F5B28D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680241$50C0C429-BE7E-4170-B225-FD0CD77BD8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ec1f3506837cdbc96572a8b9752777c89e7629","datavalue":{"value":{"entity-type":"item","numeric-id":1635509,"id":"Q1635509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680241$99A818C8-C602-44D8-9AE6-94EC644B7FE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680241$3688AA01-0006-40FC-A1C4-12ED251DA170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$ED3EACBA-3F60-4CD9-8FED-667A82FF473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$5028B7E8-FF7E-4A09-B54C-A4F157DA557F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$BEA0D122-C424-472A-A3B2-1CDB32449A5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b8e448a3f3e211b584fa7a86c292a653f871b8f","datavalue":{"value":"6807218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$D29EADA7-C8D6-40C1-B5AE-2C7616E3AB96","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":"Q1680241$69142EFB-C28B-4036-9958-7284B2A7D5AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dc954f139c343df1a3000a36a6d3d4789f8238e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680241$7948DD64-F25D-4DAD-9EFE-168B7A66B711","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0716642ba110b902d9ae469a41a80c5fa11457bf","datavalue":{"value":"W2741063651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$66349356-7687-478A-A742-CEE81938DD8C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"47d62040fd79c0496eade5bfc095ff32847827f4","datavalue":{"value":"Q57838075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680241$6D504E65-EB21-45A3-8978-E1C1AA9CBE19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9418863af074efd172cb3ea566f4ff571cf982","datavalue":{"value":{"entity-type":"item","numeric-id":862399,"id":"Q862399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b25c2546e3ba5342b42369139e278ca2eaec8c","datavalue":{"value":{"amount":"+0.8391446471214294","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":"Q1680241$5503A017-6056-4776-956A-4C6D64F91444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b960a7961ca2b980d82204201b7acbdc0f34fc59","datavalue":{"value":{"entity-type":"item","numeric-id":2922623,"id":"Q2922623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ec30ffa3d7b6bf4226b3609288d48fa427689f","datavalue":{"value":{"amount":"+0.8289315104484558","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":"Q1680241$894033C8-7F16-4CDF-9917-6A3B256A469E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1f4345d84abcd2f8502e6a44a0a7defbfeb5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5466449,"id":"Q5466449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba5265d6d425f6ebe3ea649bffaf6c1816824ba","datavalue":{"value":{"amount":"+0.8270939588546753","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":"Q1680241$3AE0AC0F-545E-48A6-AF85-3D12BAD71135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ff441d5f90660fe62074e8e4e7c125ba1ffa58","datavalue":{"value":{"entity-type":"item","numeric-id":2843337,"id":"Q2843337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0ded60f762e82d0d5e0dd2f71077469fe7d024","datavalue":{"value":{"amount":"+0.7805098295211792","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":"Q1680241$FF1DACBD-5491-4648-849E-2AD8FFBCC456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb65919fc597229a6a39b39e1b70a0498b02ec41","datavalue":{"value":{"entity-type":"item","numeric-id":2577593,"id":"Q2577593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5a88fe6c0658991b156d13da9a3ee5cb439823","datavalue":{"value":{"amount":"+0.7692195773124695","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":"Q1680241$A266FFF7-5FA7-4C9D-89DA-BA9F105E2944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hard satisfiable formulas for splittings by linear combinations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hard_satisfiable_formulas_for_splittings_by_linear_combinations"}}}}}