{"entities":{"Q2891429":{"pageid":2902154,"ns":120,"title":"Item:Q2891429","lastrevid":84871493,"modified":"2026-06-02T15:36:49Z","type":"item","id":"Q2891429","labels":{"en":{"language":"en","value":"versat: A Verified Modern SAT Solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046590"}},"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":"Q2891429$8E4790EE-F241-4A32-917B-5B19C3E52004","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b825a2dbd64505ba6ad5ebc38ed99b17e2760537","datavalue":{"value":{"text":"versat: A Verified Modern SAT Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891429$26FB0852-AA89-4E06-ADA2-36B539B26133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba95cafaa44660e3102247b2f50f44ce3dc1e0df","datavalue":{"value":"1326.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891429$4CC299DC-0752-49FE-B7AB-BBDCC21B933C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b923d86f00f1e30048c4690a84e4c805bb4fd10","datavalue":{"value":"10.1007/978-3-642-27940-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891429$C0ACE1F3-97B5-4457-B421-2287F11F4BA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af1f9ccd2a93b218960642acac4fd4c971fbba18","datavalue":{"value":{"entity-type":"item","numeric-id":2441774,"id":"Q2441774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$0CF03FD9-45BF-495A-9A6A-6A04C07664C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$1CF77C17-6EC0-4AF8-A863-2AC3BA61AD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2aefa102738feadf7df1536545500d6a61059b6","datavalue":{"value":{"entity-type":"item","numeric-id":2891427,"id":"Q2891427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$3F899B8E-47E3-4AC2-B49A-2560F054634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e010dd95e848fd76eccff8174d6421a034e3d30a","datavalue":{"value":{"entity-type":"item","numeric-id":2891428,"id":"Q2891428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$DE13F044-6FF8-4A19-A4FA-FB6FB106B0F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$0952D656-BC5A-4240-989A-9B84F7D3909C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-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":"Q2891429$FD56CE81-BFA9-4A45-BC4C-E81F7FA4B0B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891429$83CBD754-A346-4EE8-A65A-07E7B17E28E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891429$F0351358-B35B-41EF-A42B-0F42C1A93990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891429$0AF306CF-0A20-4B91-8EB6-993F1F16A50F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c61560843e9e9b686505ee4c294aca65ad709dfc","datavalue":{"value":"6046590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891429$DAE4899D-B52D-434F-B1DA-C93C425ADB9B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$E4F1843A-711E-4185-A781-19985B2E0BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$3D0013D5-EBA7-498D-ADB9-B5D760573B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"179af68833d4e59c1e0a3c7b1bf054d82b9a6b91","datavalue":{"value":{"entity-type":"item","numeric-id":20426,"id":"Q20426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$8D33F48D-F8E0-4680-86EE-9F98671B5267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5df14ee9c6f65085bdee53a419634b2235aa5c43","datavalue":{"value":{"entity-type":"item","numeric-id":19326,"id":"Q19326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$66AED42A-DEB0-4FDE-89D2-0842F95F152E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$ED7FBB1E-D785-4B1B-9BC5-8B98FD68ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$69A259B8-8237-48A7-BF11-CCDE4437CE7F","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":"Q2891429$8EE9AED4-45EE-4D89-855E-6C74081F3A7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e27402dc00e734bf78b075ba7c07ac20d100281b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891429$7830C054-462A-4B3A-B3A8-47DA69DE3EFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7c30c61e8e9ea085d1f34d8f9a2accdc4644f61","datavalue":{"value":"W46694604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891429$E3E69124-5739-4856-A402-3AF11DDD9C71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f788536331bb87ba4e75963340b885a6c5e47c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5747643,"id":"Q5747643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$4CD93BF5-6AF6-4411-A79E-7D1FCA789336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdf64b2a914be509f334d011c8426b5f7796a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$95DF4C50-5056-43C5-B9DC-9EA565649A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$3D54F640-8D11-4D8C-B56D-3054A0724B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ecda2530a74fd3b958fc170aad75894016b80e","datavalue":{"value":{"entity-type":"item","numeric-id":3541720,"id":"Q3541720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$DF875B72-1648-41C1-AE32-67F623F168F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$D484A965-6C64-444F-BC1F-D0F9A9FC4763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839fe9e80ad88458f41a8a24be5284fc203e2e80","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$D6B5C298-D843-4EEE-BD68-D35881D1A47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b26606a781175a19b1c8fcba43abdeea964791","datavalue":{"value":{"entity-type":"item","numeric-id":2848688,"id":"Q2848688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$268342B0-AC72-440B-8EAE-62504FBBD455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22bde11e78369a6138771e56f2c61a2713ba27a","datavalue":{"value":{"entity-type":"item","numeric-id":5458346,"id":"Q5458346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$35762883-1683-4FA9-9561-0EF73FACC661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f769fe6ef8dd71200eafe07970c69907f40fbcb","datavalue":{"value":{"entity-type":"item","numeric-id":5179007,"id":"Q5179007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$1DEC3D55-E9D7-4BD8-ABE2-9F80305F96BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959bc84bd0855ca50796437e92781c49f8ffb6fc","datavalue":{"value":{"entity-type":"item","numeric-id":2476499,"id":"Q2476499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891429$43842BB6-63C7-4876-BECB-7282DDA5E571","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ab12d6457ec42347bef47f7f7188cc8c836911","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1411b3061ddeb5a2fcb20ef5844ad21575ba3abe","datavalue":{"value":{"amount":"+0.8845957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891429$CF510485-7D57-439E-9BBD-B4CD44425989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce9c09e8d34bcc24fcbff9b331a2edfdea566af","datavalue":{"value":{"entity-type":"item","numeric-id":1663234,"id":"Q1663234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1411b3061ddeb5a2fcb20ef5844ad21575ba3abe","datavalue":{"value":{"amount":"+0.8845957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891429$3462DD66-00C1-4C2B-BBAC-A4D00077D1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be33ccab093ca2a6b6fd2b7057b69ca7524c000","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1295f9a089e6344df79850182ab0e2e73e553beb","datavalue":{"value":{"amount":"+0.8794143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891429$59A1F066-062A-4446-928A-D1A47E5F5519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98e3a2fca2e53bc3e7652a7ccc8979e2c9b05e3","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49fe66bea1bc903154172ab85c8fb549107d46cd","datavalue":{"value":{"amount":"+0.8706151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891429$CBC23208-1780-46D5-8748-BD2C9D2818C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e424c85548d21f8d31b60cfbff4f222160481e","datavalue":{"value":{"amount":"+0.8666552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891429$8E167B4B-8734-4772-A173-E4640648CA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c647744274850ccef5a15f5cc3ce686ccc5200","datavalue":{"value":{"entity-type":"item","numeric-id":3007695,"id":"Q3007695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c313c31e6928d06716b7636a537bfda6b13c72","datavalue":{"value":{"amount":"+0.8630142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891429$38D8A5CA-1F80-476C-B259-F9AD89A4F907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aaa4a36bdf05dc06c575e9e83887fbf42b685d","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8af31082024b099718c006ef148af6206880df","datavalue":{"value":{"amount":"+0.85881793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891429$0EEA94FC-7101-4606-A46D-53FADE5E13AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Versat: A Verified Modern SAT Solver","badges":[]}}}}}