{"entities":{"Q2848691":{"pageid":2859411,"ns":120,"title":"Item:Q2848691","lastrevid":79757396,"modified":"2026-05-06T14:38:36Z","type":"item","id":"Q2848691","labels":{"en":{"language":"en","value":"Mining propositional simplification proofs for small validating clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212137"}},"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":"Q2848691$A8E40A0A-7FD4-453B-92BD-A23019C7FDC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6884cbb362feaf1faf5803101db5966e882e33d9","datavalue":{"value":"1272.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848691$6B3313D9-6CCB-4DAF-B82B-AEBC983E5C52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee1a73de8c9a8ae78945e6dd4e1521fdcc8b81ad","datavalue":{"value":{"entity-type":"item","numeric-id":549678,"id":"Q549678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848691$29F5DF96-080B-4C88-994D-19C49E7DFCC0","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":"Q2848691$8EB15A92-F5CA-4F7F-A62B-383AF4319DEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848691$CE4C0A72-C731-4412-806C-703626914893","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5175c8b43d7432532a0f9fdfcadd862c801e2c55","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000090","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848691$4E0FAF81-D70A-480A-97BF-4078F57C47D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848691$D3A71A66-1ABB-4E2B-A06F-6F3B09213A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848691$5A0CF2A5-3ED5-4848-AF28-3182ACF98AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848691$B5F6A21C-2294-422F-AA07-948916197C25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0088273ed38ee6449a005f4a150a5f4ae4d046d","datavalue":{"value":"6212137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848691$966B92AF-A431-47BC-ACAD-6E8934EBE76A","rank":"normal"}],"P1463":[{"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":"Q2848691$E9241183-0931-4678-849C-2D09C7641173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848691$A5F4C3D7-9907-4B2D-9D2D-F2221A6CB5AC","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":"Q2848691$7E01ED79-54F2-4F0A-9A54-E36E676C8AFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"442fb75b59c939004567ab8954a9bc55e3102d3c","datavalue":{"value":{"text":"Mining propositional simplification proofs for small validating clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848691$20E92D8E-EC25-4FE7-B811-AB986432F3C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e8ac961df53c07a35955dfe311e74a655ed5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1688538,"id":"Q1688538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd4e76505a762cc2b0e5e50fd7f6491bdd3e3dc","datavalue":{"value":{"amount":"+0.7537700533866882","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":"Q2848691$5AB00620-0702-4CB3-9C15-D765982A3343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114f98c35f544187bad11562a615d004d1a3f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4930598,"id":"Q4930598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9bad20112457862df8ea153adca1a9b9e33e9b","datavalue":{"value":{"amount":"+0.749695360660553","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":"Q2848691$5F2316F3-B090-46E2-BC57-2A28B64AB0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e1ab111833897f6610fc74feff763196614d2","datavalue":{"value":{"entity-type":"item","numeric-id":3007694,"id":"Q3007694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f52fef77e9f37405adab2d4dcbb93449261ce27","datavalue":{"value":{"amount":"+0.729547917842865","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":"Q2848691$FF0ACBEC-4F36-47D1-8740-6B38D278771A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f2f1bc8aa3afbb16568e931cc28ee9326b5225","datavalue":{"value":{"entity-type":"item","numeric-id":3612475,"id":"Q3612475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d4d3d81ecbd460bdc19e4df2e74653a8e5947c","datavalue":{"value":{"amount":"+0.7269102931022644","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":"Q2848691$374B1813-1CC9-4970-90B7-A7159071C353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9694ecc95cd17e581b722a875304301e52d8edeb","datavalue":{"value":{"entity-type":"item","numeric-id":5391528,"id":"Q5391528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c20a008b23b80a83aec31dce38ad0ba5ba9f84","datavalue":{"value":{"amount":"+0.7234382629394531","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":"Q2848691$839C96B2-EE01-4D63-89EA-3FB585178688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mining propositional simplification proofs for small validating clauses","badges":[]}}}}}