{"entities":{"Q2565056":{"pageid":2575799,"ns":120,"title":"Item:Q2565056","lastrevid":44360355,"modified":"2025-11-22T07:52:23Z","type":"item","id":"Q2565056","labels":{"en":{"language":"en","value":"RETRPROV. A system that looks for axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 962360"}},"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":"Q2565056$C5F3FDCE-E0EF-4D18-9572-9B18DAE1ADAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03c010c181465f5260d5178849fb62ea2bbda14c","datavalue":{"value":{"text":"RETRPROV. A system that looks for axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565056$EE603CA8-15A3-4DC5-ABE1-9605163015FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25d4756ccc5361c0d42bd3b8a387a1d0b5c03e87","datavalue":{"value":"0861.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565056$629EAB1E-D50B-4FDA-916E-9CE55815C323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5d4261f09297f6534f26960f603bf96ebc51aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1092654,"id":"Q1092654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565056$1D8ACCD5-57D9-44E9-825E-C40DE2D8ED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5803553d86a0367276d90b7965d2b3e25151749","datavalue":{"value":{"entity-type":"item","numeric-id":2565055,"id":"Q2565055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565056$4C23535E-0178-4367-AFB3-D626DF14B8FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565056$39120AC5-5D45-4216-987C-B65D1BC7A72A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a4534c06048f575b2c3f400108eedb95eacbe9b","datavalue":{"value":{"time":"+1997-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565056$9C08D32C-F2BE-487E-8F18-9EFFBA818C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565056$AC55F15E-D517-47AE-A669-1C0641FFF50E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfe624cd981d83f4ed85435befe45c36776ea236","datavalue":{"value":"962360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565056$72164819-5DB6-4341-90FD-6D7FE66A7703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565056$3B05FF27-77FF-4D07-AB35-34F383DE9988","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":"Q2565056$606D1E90-F081-4AEE-AA79-6E0CC024D3A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"776f6c04bf9c94777d74c22e6e8eee485127ac15","datavalue":{"value":"https://doi.org/10.1007/s002360050069","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565056$1604D283-09F3-46E6-9732-092F304DC3CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"384dbd436f51bce8026d1e9188b3431edfeb3ee4","datavalue":{"value":"W1982340990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565056$F11430F5-98C1-42C8-83E8-10C62F039074","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac0718d474b9fb965591d9594b28daa82205be9b","datavalue":{"value":"Q114692829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565056$B9B51343-1964-44B8-8BCE-CA6907A02ECD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58352eb26abbae67d52456d21852a4bfcc5fd332","datavalue":{"value":"10.1007/S002360050069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565056$C560FF18-9AC4-4A2B-8A84-D5DE02B6F8F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61415dfc0a4375eeb50e77641a8bb5a06b9a33a","datavalue":{"value":{"entity-type":"item","numeric-id":4271916,"id":"Q4271916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe36ee50186fe76ea2b78ea4208c38555bde310","datavalue":{"value":{"amount":"+0.83733153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$606D5091-E100-44B7-894E-8D374AFACF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f195f7f1e3434a3f7b86cdfdc0b8c21f3aab5be9","datavalue":{"value":{"entity-type":"item","numeric-id":3842562,"id":"Q3842562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac49a5c07f411ed6248570258f4bbedd2176defd","datavalue":{"value":{"amount":"+0.82376295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$D7AD7C58-360B-4B81-BFE0-F35A920F84BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094500bae9786977fa7b5ff53b06acf8d4682be","datavalue":{"value":{"entity-type":"item","numeric-id":2907330,"id":"Q2907330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fcd5733944adf12912bd00deb19ee269db10a6","datavalue":{"value":{"amount":"+0.81486845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$17E002A9-69E3-4E14-A4D9-476C71C98BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4052da8e0a03fe1ec95485a7ac8c8e71d0394f","datavalue":{"value":{"entity-type":"item","numeric-id":3739110,"id":"Q3739110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6965a8ced840f1a3ddbde5cca92804a2b6916c08","datavalue":{"value":{"amount":"+0.81182843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$75791559-A5C2-49FD-B47C-2DB5D6FEF3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cd081aca29a21584f1808ac6ef751da557a88d","datavalue":{"value":{"entity-type":"item","numeric-id":4359458,"id":"Q4359458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a8da6281ce328ea4c0a4623ffa206b528277a8","datavalue":{"value":{"amount":"+0.8096695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$DACB542C-1436-4B60-94B5-9D02E4322153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d94157c2f6df52419bf8aa5f8935f1d698472a","datavalue":{"value":{"amount":"+0.80237144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$90ED7C9B-48AD-4584-9733-35061B98DF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a9ac07207db46086809ec8eec6c50083b984b0","datavalue":{"value":{"entity-type":"item","numeric-id":4282618,"id":"Q4282618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc420675c6697cd878bdd631f942add6fa68144f","datavalue":{"value":{"amount":"+0.79819834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$3E191BFE-458B-4D8E-9A1B-BB270C3F3871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21842729ec61282c4554fe7b111152dfeb8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1799270,"id":"Q1799270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb423466972c1f766541bb5b6593f33cc98c374","datavalue":{"value":{"amount":"+0.7975054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$961822D8-89F2-44A0-B845-26348A637E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97448b44d6e44cc3bfc4715ed2e898076fd306bb","datavalue":{"value":{"entity-type":"item","numeric-id":4007158,"id":"Q4007158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a499bc5e4d2bacfbbb90226b6a9a9ebbbc414f12","datavalue":{"value":{"amount":"+0.7938715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$2BC8E315-69A0-41C9-8BD4-7156D81C3960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea706a4f5c8c55628c34d48e486addf668f0941","datavalue":{"value":{"entity-type":"item","numeric-id":1264145,"id":"Q1264145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc23e3d1a60f1b7b2d2862a1e773bc5f6b90e48","datavalue":{"value":{"amount":"+0.79257953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565056$55C60FED-FA06-4635-A623-6F99029AEC90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2565056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2565056"}}}}}