{"entities":{"Q2405260":{"pageid":2416003,"ns":120,"title":"Item:Q2405260","lastrevid":57904206,"modified":"2026-04-03T00:52:21Z","type":"item","id":"Q2405260","labels":{"en":{"language":"en","value":"Scavenger 0.1: a theorem prover based on conflict resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778413"}},"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":"Q2405260$1B0ACFDF-7CA1-4BF5-AE3D-12DD16BC7629","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4a540ef7d0c8ac0656a61dbdb751ef43618192c","datavalue":{"value":{"text":"Scavenger 0.1: a theorem prover based on conflict resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405260$C1C21DCA-1B9B-442D-85F5-A95042368EA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9bf71cf42df2fdcf344c37c8b8054feaac492c9","datavalue":{"value":"1494.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405260$44B20927-E01E-4B6C-A83D-9CC97E594B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c7c236c8c6e1e48e8859e3a33a088d5504ab5f9","datavalue":{"value":"10.1007/978-3-319-63046-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405260$F2E8C389-79D5-45DA-8844-0EC24A0ED841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba9cf083b6dc47059b059a848c4fbd3bfeb9cac","datavalue":{"value":{"entity-type":"item","numeric-id":1799283,"id":"Q1799283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$BCEF8407-A5F3-417E-93B4-6129DF67DAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$4DB6C16F-4DA8-438D-B0D5-7399A4501965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$F3BF1C9E-C773-4DBE-A526-4EED2652DB23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405260$1FABC34B-98B8-4148-BF81-473F0A3FEC80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37332f6295a08447a9b8bea8b6d18342db830728","datavalue":{"value":"https://arxiv.org/abs/1704.03275","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405260$CB81D6C7-ABF3-46F0-86AE-FD47C4ADBC1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405260$04D249D2-C5BC-45DA-A29B-1CFE37F76EB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"949c1412ee9510744998ca53ab34161ca1e28099","datavalue":{"value":"6778413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405260$E7BAA5E5-94EA-4D11-81EF-0A9EE3A7989E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$BD33557F-B2CD-40C6-B5BF-6E3BE360E05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$35290734-5986-4B2F-8044-F4B8D1A7836C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$5A724B88-A8DC-4794-BC32-4FB536BFB526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$6372DD36-2873-45DC-B157-94A770B6E271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c52067912b0b36fecbbb51adf44957c3c2a0bee","datavalue":{"value":{"entity-type":"item","numeric-id":18797,"id":"Q18797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$7EBBD85C-157A-4D56-90B9-D2A99BA45E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405260$D40F6B84-6CFE-4FA9-8634-525B626F1077","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":"Q2405260$8826FBBB-4E16-48D1-8F79-7170CFF57AAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20bed3743d55df1cee34960d4c28dfc2bee1d3b0","datavalue":{"value":"W2608781458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405260$138B18E2-67A4-4EB0-8A41-9844ABB1CBB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2518c21d720410e4f93988ea178553c975bccb","datavalue":{"value":{"entity-type":"item","numeric-id":682374,"id":"Q682374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caab79ed1b1fb04e1191d3b92cdc587ba7443f08","datavalue":{"value":{"amount":"+0.7940100431442261","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":"Q2405260$5E46F9F9-EB23-4313-8FD0-7A41B40ACB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f85415bc5243ca4fb021999aff0a144e42ebf84","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7550e27ece7f8936c9e81f2e942418b8fc810c","datavalue":{"value":{"amount":"+0.7519025802612305","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":"Q2405260$45AB8B51-31EA-441B-BCD0-69046F443E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755df30fa9247e230644275de57d63cbc917af3e","datavalue":{"value":{"amount":"+0.72759610414505","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":"Q2405260$C6E380C7-A6F6-4522-9BE9-B89A3808034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8122247f3735847c197c344fcea4ba280a50dc53","datavalue":{"value":{"amount":"+0.7258768677711487","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":"Q2405260$468C907F-5034-4755-A0C5-50279A4FC2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a21598402b9ee47240f4cc6c30503f481a77fa","datavalue":{"value":{"entity-type":"item","numeric-id":4539629,"id":"Q4539629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a0038e835a8718ad012a22a55010ba3f9f8436","datavalue":{"value":{"amount":"+0.7155593633651733","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":"Q2405260$FFD2A912-E5CC-42B6-84F7-12C434F260E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405260","badges":[]}}}}}