{"entities":{"Q5210770":{"pageid":7240341,"ns":120,"title":"Item:Q5210770","lastrevid":53639195,"modified":"2026-01-25T11:42:27Z","type":"item","id":"Q5210770","labels":{"en":{"language":"en","value":"A new application for explanation-based generalisation within automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154546"}},"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":"Q5210770$14045C32-B033-4F20-877E-72ED81704D29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6a8b0cd6e5cc57f2bb15006066ee7cc2702444e","datavalue":{"value":{"text":"A new application for explanation-based generalisation within automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210770$2D6D9205-CCEA-4A84-9301-E60784FC80A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a691e5759133c25e919a0fee6937c587b977109","datavalue":{"value":"1433.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210770$58203264-D0AC-453D-B67F-0F914D4075BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d0c9fff2ba4ff56d42a51986f53fd9dffe69f6","datavalue":{"value":"10.1007/3-540-58156-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210770$C2C5FA16-B718-49DD-A5EB-E78366A63504","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$EE957FA7-B058-4C51-AD1D-CA8D9E9BC743","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210770$647E8A4A-C726-4B4C-8EB6-03B00815B9D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210770$0AAB8E20-84CF-47B7-BC16-BE8EFF6B8BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210770$F4D389B7-E5E3-4553-B58A-91FE35D538B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bde40c098c3c3554e1679718569e9cb3d7e179e5","datavalue":{"value":"7154546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210770$B653AACF-B8D4-4C0D-A5D8-2A91D54D4A29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$D25DC600-D8BB-44B3-9474-8E73A1368EED","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":"Q5210770$A752F759-B02C-4390-AAAC-F01A1CEC46BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f44ecd742f31aa87caddce808b61e157de793476","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210770$8C2E7A6C-724C-423A-871A-12FD53F008A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f33cfc8387198db777f87bf86f56d89752bcdf98","datavalue":{"value":"W1482833009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210770$BD7C3D01-7E52-4D8D-8C0D-19CBB1FF2671","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ae6da7145ea199094071cba279497a7d945050","datavalue":{"value":{"entity-type":"item","numeric-id":4255511,"id":"Q4255511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$3B72B101-15A2-461B-BE9D-1D7039D5176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$866A6E3E-1379-4CE5-A8B5-4EC0F52BBB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$118A16A0-F392-487C-A9D6-02000276022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5976983fdec1ad91e3daedf6dd821f567172d3c3","datavalue":{"value":{"entity-type":"item","numeric-id":674399,"id":"Q674399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$B499BDEA-785C-4494-8ED3-3B6B3AC2EDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$F8EEEB20-9BC1-4C87-A48E-DE7EC7AFB9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c037f9ad45e24a9276b8d10772fd641c9d15047","datavalue":{"value":{"entity-type":"item","numeric-id":3491002,"id":"Q3491002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$6B96FD93-F4E5-4E62-9BF9-DB042EEA38C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$9DDF0926-7772-4C47-90F5-A2241979B5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15813f5963fa7fd568a2e5fb8feba6bdb890c916","datavalue":{"value":{"entity-type":"item","numeric-id":5768565,"id":"Q5768565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$8E80CADD-1349-4C7D-A18F-602CCC6AF557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9636412683348c3a6eb5fcf0191c6aa2a44d7064","datavalue":{"value":{"entity-type":"item","numeric-id":3272468,"id":"Q3272468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$0E546B37-3328-48EF-A77F-8D564923DCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$1D60A884-CF68-46E7-97D8-1E32B57F3BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ca228cccf55a2c50465b6c0911357011cd1c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5650404,"id":"Q5650404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210770$211D4264-E3C8-42F3-B760-7E74733CD928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da96b36ef5e0966bd7cd19b292c5651892989cff","datavalue":{"value":{"entity-type":"item","numeric-id":3787520,"id":"Q3787520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04455df90d5093097fe7900cff9dbdb89887fea","datavalue":{"value":{"amount":"+0.7676889896392822","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":"Q5210770$84AF195F-9DA2-4FA2-8116-C2C7A0E75EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d72b1cf3201e826373b30f24f35b6eeaa866a3","datavalue":{"value":{"entity-type":"item","numeric-id":3783620,"id":"Q3783620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d59796f11cfcdf82d5310655bd9f74340ce393","datavalue":{"value":{"amount":"+0.7420796751976013","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":"Q5210770$204D803C-6B7B-42E4-BB3B-FE16BE21562E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685d12c668c5305ca1caae76f7d99ad21a6bbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1069b421daf5b6e7f9ae8da0657dad96b62a670c","datavalue":{"value":{"amount":"+0.7335710525512695","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":"Q5210770$AEBF1FF0-8701-481D-85BE-58B5F4507344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786b93b86a0352de3de5e7cddd003986b9a9ab55","datavalue":{"value":{"entity-type":"item","numeric-id":3976573,"id":"Q3976573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb75f1dbc4a0fdbb8820c7d0749f365788f66c62","datavalue":{"value":{"amount":"+0.7320345640182495","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":"Q5210770$BD27F1E0-E7DD-48F0-9FD8-0F87140471CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47108393db8ff14712020915fc68ed167a46adfc","datavalue":{"value":{"entity-type":"item","numeric-id":1382153,"id":"Q1382153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f9e884017528ddda3f6e12a95c2d2536a8f66b","datavalue":{"value":{"amount":"+0.7264569997787476","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":"Q5210770$E52C2A4F-CCEE-4C65-9F5F-D31B4AA0DE76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210770","badges":[]}}}}}