{"entities":{"Q5200028":{"pageid":7229599,"ns":120,"title":"Item:Q5200028","lastrevid":100454447,"modified":"2026-06-05T22:10:44Z","type":"item","id":"Q5200028","labels":{"en":{"language":"en","value":"Compression of propositional resolution proofs via partial regularization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934354"}},"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":"Q5200028$64823932-6D52-42D9-9A05-3AD552C93B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f85b7d7d5d2ab298ae693fc276f479a0012cb0a","datavalue":{"value":{"text":"Compression of Propositional Resolution Proofs via Partial Regularization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200028$D1BF1D10-F631-4C23-92FE-B1089A877459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b7e69f5fb8eb2d5a233db03dbe75b58504d964b","datavalue":{"value":"1341.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200028$03140744-F5CA-49DB-81B1-332876C85A0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80b418ebb2edb77d0912853afcaba9d50b977644","datavalue":{"value":"10.1007/978-3-642-22438-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200028$42CE9324-2215-4E3D-9406-11A5B4191D40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200028$468EE7DB-ABB9-41A7-B99C-2AA9587B3652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200028$8FE430D1-56B1-448B-BD12-1145E609A4DD","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":"Q5200028$E2521863-50FA-444A-BB2E-1FFC95B5A277","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":"Q5200028$E162B25D-B046-433E-B375-87CCE0892483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200028$AABC7296-B96C-465E-8A63-F1AF0D63DA3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200028$FF7E0C04-8521-4582-8D84-ACFFAAFCE18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200028$BA7A778F-67F0-4448-A381-F53C5B13DF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200028$1CCE82C8-D334-4248-9E66-628FDA9E2A28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"614fdccf5e746c872e6adad636165e61e2ff6cbe","datavalue":{"value":"5934354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200028$72C65174-78CC-4C53-9779-F77DC16C8728","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200028$8F620F75-2DEE-4B03-A3CA-EDB8C53BF021","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":"Q5200028$E457250D-48CB-4C45-BE87-749DF512B831","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":"Q5200028$1E2BDCEC-5780-456D-8515-D9A41A6792CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"428b3e50d93f451c0480cff012d2af0843fe111d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200028$058A1AF9-CEF1-42AF-AB6D-24FF817C7103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd46c143744f24eeaa7d086093d3fbac6aea6a1c","datavalue":{"value":"W92083396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200028$E8B66C30-DA82-453B-BAB0-10E4929D0FBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200028$075EFFE4-B3BD-45B5-B66B-0F1417D5A6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d6d6d217b399c1f6c096de595598b482d1f660","datavalue":{"value":{"entity-type":"item","numeric-id":4930598,"id":"Q4930598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200028$FA83C0A4-00B0-43E0-B39A-2BB987D46EFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b1f31f0bb5689edb3b47bb744c18b5266f7c34","datavalue":{"value":{"entity-type":"item","numeric-id":2851933,"id":"Q2851933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983838e59d2c995c3f8be051eb05b995373e76d8","datavalue":{"value":{"amount":"+0.8892332315444946","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":"Q5200028$C8B28C02-2FA6-4130-BB1E-0F9EF7B2B01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2742367dc51a3579cc18c9402c07c17c039c688","datavalue":{"value":{"entity-type":"item","numeric-id":3454106,"id":"Q3454106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1b14e1446e18cc9f9f43fa9da4a6af062baa38","datavalue":{"value":{"amount":"+0.8345180153846741","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":"Q5200028$CB7777FB-103A-426A-81E0-759B38C1A084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70c7c6cc56bc304adf4c26e41735c161bfeeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5178991,"id":"Q5178991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a003dc5c0555fa1e98b1f187c306fdf362dc24","datavalue":{"value":{"amount":"+0.7850041389465332","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":"Q5200028$0011E28B-96E4-46D4-88A3-04465C19142B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898d84af369e92571f61367fa010d7f7d3d61c40","datavalue":{"value":{"entity-type":"item","numeric-id":4649291,"id":"Q4649291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c3aca35aa730518570609064a5ada56dee3eb1","datavalue":{"value":{"amount":"+0.7751043438911438","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":"Q5200028$A84B5931-0D2C-4896-8234-0535D90FF084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63d7fe6af7fb615dd0ada14d74a7ffcad7f853","datavalue":{"value":{"entity-type":"item","numeric-id":1040776,"id":"Q1040776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693c58a3e6e23254d7411c64283337847129096d","datavalue":{"value":{"amount":"+0.7633877396583557","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":"Q5200028$5170B8C9-EC7F-48C9-9E2C-3A1F67AAEA95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compression of propositional resolution proofs via partial regularization","badges":[]}}}}}