{"entities":{"Q846163":{"pageid":848011,"ns":120,"title":"Item:Q846163","lastrevid":64840557,"modified":"2026-04-11T22:34:37Z","type":"item","id":"Q846163","labels":{"en":{"language":"en","value":"Optimal length resolution refutations of difference constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665088"}},"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":"Q846163$87B5DE77-D7A6-41FF-B85A-2B2577737D00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba7e2ab9d183e2422e66ad5ad7ab1b8015ca640f","datavalue":{"value":{"text":"Optimal length resolution refutations of difference constraint systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q846163$EEA465A4-B692-4DE8-B765-0F5AB5D43B40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cf0f0d318964461e53ea2ebf44ffb5ce8ea9715","datavalue":{"value":"1184.68468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846163$D0490EF0-4485-4E3F-83AE-57C7CDB25C21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$ABC8F458-672F-4953-AFAB-65FD94493C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be8b4990963e0aa9daa58d550c816078a3fef6a","datavalue":{"value":{"time":"+2010-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q846163$02B559EB-F132-4A93-9B8C-6B766B39F4AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846163$1E12598E-A18E-45CC-ADFE-C4A9D2E9E3CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34ae0c884afb23efc998c3fa5bac928776234d7e","datavalue":{"value":"5665088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846163$A7CFE87C-D269-49A1-BE9A-D901C2A4B34B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef57e21daf3ba275e43f66438844d22972c9d153","datavalue":{"value":"difference constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q846163$30AEAFA9-FCD0-4E00-93C7-AEDF5E5C5759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6ffb1c353cab625622161ce27f82723a019913","datavalue":{"value":"resolution refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q846163$2E33E879-8B67-4F86-9A7A-B0EE149627AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dfa0029cc8670e5122a44f7b145a21c1ea91bb","datavalue":{"value":"optimal length","type":"string"},"datatype":"string"},"type":"statement","id":"Q846163$4FA697B8-44E8-40BF-B6AB-FF1C9A2866A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3715e323cb023f879170a577b518e1c43defb8c","datavalue":{"value":"Fourier-Motzkin elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q846163$97D9B51C-BF60-496A-B976-59DA9D38525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3dddf4eb2200235c18054d970783fba6392bb95","datavalue":{"value":"minimum unsatisfiable subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q846163$C1E7A7B6-BE19-4939-B4B6-E06DC8B871DD","rank":"normal"}],"P16":[{"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":"Q846163$FD15F90F-314E-4083-B04C-1988FC7C0053","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$C6037B98-9798-4CC0-931D-6DA81B012186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a82980ea9b9e661b9bf9ec7fd1664f08aabd020","datavalue":{"value":{"entity-type":"item","numeric-id":15982,"id":"Q15982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$79F6CFB9-3364-4CA9-8360-D9C9EC4D3D50","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":"Q846163$7C4A7909-6209-42D8-9D23-DBE86ECA9F3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f9711fb17ac1ff4c2b25ec528f3c8143d33d641","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9139-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q846163$9682AE9D-8138-4EE5-91A8-C1C9C0BCAF44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b643537efc0e3b5f8308601a9302ba83f117d135","datavalue":{"value":"W2039657946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846163$7156F9D1-52F6-4342-82D2-8BFED86E3561","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"186e07849363b1ab990dafa5dd6fb5c40e9cf001","datavalue":{"value":{"entity-type":"item","numeric-id":3778528,"id":"Q3778528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$FBC9B80D-E965-42ED-8A20-25EF041CDB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beafd09c79dfa9f43f527c7e484481f6934843d2","datavalue":{"value":{"entity-type":"item","numeric-id":3056948,"id":"Q3056948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$9E8B7BD3-BCA4-4B42-A58B-DD73EA0FB9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa7da4ae579c802d85da4068fe39eb2902c118c","datavalue":{"value":{"entity-type":"item","numeric-id":4218098,"id":"Q4218098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$4F5E4BD7-D36A-44EA-A00A-D7FA07DD24CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337f527cfefce38c242475456b3ec7fdedd0544f","datavalue":{"value":{"entity-type":"item","numeric-id":1398125,"id":"Q1398125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$72E6CE06-C938-40F4-9CE0-03CDE8795303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d4c80b882c8c65110953af69580a23e45bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$BE4D3FC0-D06F-4D90-932E-8D11BB1EE283","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":"Q846163$5764DC2A-7560-47D7-AF64-FD13D9A5657F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9638bdd28f8f7712f09d86ed1fecf1a9ce53c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4518860,"id":"Q4518860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$0A3EA53E-0704-413C-BE3A-7A7B43319493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd5410ca0d2d77b14a5f2b371f2b62cdcb84b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$02BA8013-0AA9-4119-90B2-BECC1D8F750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19bada21e08e27b656eb12e6e9fa9312ff6eaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$5F986848-2F43-44A8-9AED-74983AAC279E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$C38F80C3-4D35-4BBD-B88B-5DB0D5DCE6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfc99d2b561f99f43a908ce842ee7791f5e09f3","datavalue":{"value":{"entity-type":"item","numeric-id":1844708,"id":"Q1844708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$EE82E083-90AE-49D5-9934-6C5BC1545E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$55B53530-5E5D-4CCE-BA2B-2353CD953CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85900b4df4cad2d3e2046dfcd6398b6a189b934f","datavalue":{"value":{"entity-type":"item","numeric-id":5464752,"id":"Q5464752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$90CEE433-91A6-4C06-8995-5D86F16EA11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdccc5d83f7311582ae4e1c48da92b5c9b5c7298","datavalue":{"value":{"entity-type":"item","numeric-id":2559426,"id":"Q2559426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$9B69D85D-57C4-44D7-876F-4A3F6DF1F1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbba1e94dac698478d700605005f4f3274714185","datavalue":{"value":{"entity-type":"item","numeric-id":5435671,"id":"Q5435671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$35575A12-455C-4811-86C8-D9F3AA986E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$AE36F47C-97B5-4A88-AADD-578FFB10D8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d6321a3b15489d3ed6e73cf55ba5d79230f775","datavalue":{"value":{"entity-type":"item","numeric-id":4809071,"id":"Q4809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$C7457BE3-0971-448B-9BA6-2CFBF89D79C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$D8E5B401-F007-4D79-8C12-D711FCE94B6C","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":"Q846163$4447F752-5793-4EF0-AA20-62B70629B63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2f61da27f952ab7043b082ebdc98abf9197bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4327416,"id":"Q4327416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$79DE6FF6-324C-46E5-85D0-2A5E3EDF59A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06658662bf865e95bf66bd61a9d8e11908fa0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1242681,"id":"Q1242681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$8CD4BA9B-401D-46D2-AAA4-AC2C5AEF5BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe997dfa157adf3e06cd4355f8ca9304b091f7b","datavalue":{"value":{"entity-type":"item","numeric-id":4471290,"id":"Q4471290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$A3ADEF2C-7FB9-4BCA-9D2A-D22990511FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4affcd19f5a48d3f0b5024aacd9dd119083a96c2","datavalue":{"value":{"entity-type":"item","numeric-id":3676213,"id":"Q3676213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$C4C3535B-8FF4-446F-8CE8-BB3B43806006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$61C7CFA5-31DE-4657-86BB-C9E14A440E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbe72cc116925a801c6363ae53a473520b6daad","datavalue":{"value":{"entity-type":"item","numeric-id":688575,"id":"Q688575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$F0471A38-0505-4207-AC69-7F89B19E10B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41051290dad36879ad016b201152054fc1f7f49","datavalue":{"value":{"entity-type":"item","numeric-id":5307060,"id":"Q5307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$F52531A1-7BAB-4B0D-B404-A20EB8907C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcd935a5b8d2b98c3e577acbefcd660095c66bc","datavalue":{"value":{"entity-type":"item","numeric-id":4943600,"id":"Q4943600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$D20BD7BE-9BE0-4437-8346-EE2C1B60E7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266ea70927c2263d4a76203953012772cc280eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3525910,"id":"Q3525910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$CE756AA8-A10B-44F0-B3C4-1566D7A3944A","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":"Q846163$E254BFDF-63ED-48F6-9EB7-E5D467080B7D","rank":"normal"},{"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":"Q846163$9F17404D-859D-498C-AC8A-D0CB432900BF","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":"Q846163$98A47DD2-7034-42D5-9C48-03C1D75FDE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b1084f552b72c969bd4feb6fb1c5a8e2058162","datavalue":{"value":{"entity-type":"item","numeric-id":3813613,"id":"Q3813613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$7400424E-D125-484E-A1D0-7FE3D1322C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8506eb86a5461a6a9db97e6004db6adee3787f20","datavalue":{"value":{"entity-type":"item","numeric-id":5310643,"id":"Q5310643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$A47669B0-14D2-4A96-8FFF-3AD0E017197A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb54c789eb8ae1365b41d698d504541a9be76f3","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$D3D20D5D-F681-49FD-BB64-EB7AA46FEC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a747f632449cd2b4381818ba8b8f61816ee79d1","datavalue":{"value":{"entity-type":"item","numeric-id":4736755,"id":"Q4736755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$07A33802-D09D-43E4-A5B6-C2E1506CD348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cf23c85574ffa57e9b7e8d94396c78627ddf0b","datavalue":{"value":{"entity-type":"item","numeric-id":2464437,"id":"Q2464437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$15290A01-201F-46A9-8638-EA707E4E5F8C","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":"Q846163$849804A8-FC27-4F8E-A848-DBC675D9B073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8657ac0f006dde93a77bb3bfbfd5ec506eb18104","datavalue":{"value":{"entity-type":"item","numeric-id":4208876,"id":"Q4208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$83D0818E-9262-4C2D-837E-48C09A325207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8711c2b28352beac1aad0f557cced8bd8116ac9c","datavalue":{"value":{"entity-type":"item","numeric-id":1226035,"id":"Q1226035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846163$33D6D29A-2391-4094-AED9-3ABCCF6E6F5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34f25fec7abf040322af2e349a6feda9e2d2adc4","datavalue":{"value":"10.1007/S10817-009-9139-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846163$B4A14F68-4FB8-41DC-9719-A005E35AC30A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474f0fa97a1ce5ff71d939b8dd47bb007cdc7d91","datavalue":{"value":{"entity-type":"item","numeric-id":1941901,"id":"Q1941901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271130a577322b494290f19a3c593f61877b6b32","datavalue":{"value":{"amount":"+0.8947069644927979","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":"Q846163$98CA3B5A-4F80-4A13-8139-5EB0518F43CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18c31136a2083cbbabde409cc9db0598ce96725","datavalue":{"value":{"entity-type":"item","numeric-id":721917,"id":"Q721917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb6ce18e3310a11bf03ffa28fe2cc2791e6551d","datavalue":{"value":{"amount":"+0.8230035305023193","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":"Q846163$C2FC91FC-AF19-44A9-A263-CF907159B79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190f522c1511d4346b38fa00cb5501a21faf252a","datavalue":{"value":{"entity-type":"item","numeric-id":2636553,"id":"Q2636553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dedb7650262512d2b7fa50390daa5fc25b1814","datavalue":{"value":{"amount":"+0.8071078658103943","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":"Q846163$84721BFB-D7BA-4D4A-809F-672E90728514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d6ffa05f43a53257a898e6a064fa9628f9beb6","datavalue":{"value":{"entity-type":"item","numeric-id":777309,"id":"Q777309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45ca0e137356b451496e0d3649f1f39083875e2","datavalue":{"value":{"amount":"+0.7852922081947327","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":"Q846163$29F8E1AF-0926-4EBF-A2E3-ED0F3EBF9A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c753af4cd3f62258c428430ac7d20fb4d480877a","datavalue":{"value":{"entity-type":"item","numeric-id":4417352,"id":"Q4417352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509a7d6f059b7f8d2740d1c6c7bd5f4898b51bbe","datavalue":{"value":{"amount":"+0.7326507568359375","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":"Q846163$1DDA36B4-0DB4-46E9-ABDB-B2E4C5529414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal length resolution refutations of difference constraint systems","badges":[]}}}}}