{"entities":{"Q2764247":{"pageid":2774986,"ns":120,"title":"Item:Q2764247","lastrevid":83214821,"modified":"2026-05-07T06:40:14Z","type":"item","id":"Q2764247","labels":{"en":{"language":"en","value":"Catagenesis condition for approximate theorem-proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1690272"}},"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":"Q2764247$27495F36-5A43-48D4-BBD3-9149687FC83B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"189e41aa8ce8285ab2568b56a23bed19b82feb66","datavalue":{"value":"1008.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764247$DD493AE6-1276-4761-862F-AB49EFBA7432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb3a42b9c8ded0972900d53fd0e951e6647d449","datavalue":{"value":{"entity-type":"item","numeric-id":340162,"id":"Q340162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764247$44AD8E4F-2CAE-49A5-84F3-85AC7B19E8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0422a33a0bdb6abfb1e0f0a29ba265c3016fa8ee","datavalue":{"value":{"entity-type":"item","numeric-id":543119,"id":"Q543119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764247$6D5ED08A-0510-4167-9C3D-B5E0E04B341D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3789da17b18c0cc86b709d1f4fa4f1591c2052a8","datavalue":{"value":{"time":"+2002-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2764247$AE96FB09-3118-49F1-AB3C-F3EB8C5B689F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764247$C453D1C1-9DA4-4A39-B11E-909A340E9AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764247$F9ADCF5B-3B4F-4323-8C0D-CD7AFA307F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764247$31EB4290-CB4E-4CC5-BD1D-774757A635F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03e264858539467b304cfec96bfc868ed49a08e8","datavalue":{"value":"1690272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764247$36D44229-F485-4655-8EA7-1782E0A8A474","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e07330d11990deefe64c2b5a8a7257d087eb7e94","datavalue":{"value":"approximate theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2764247$3AC61A2F-0F43-408B-97C2-41CFE171B887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c47f28dd35898577fd58b33e50a78ea9c241d7","datavalue":{"value":"Wu-method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2764247$0DCD5B9B-EEEA-4EFC-83E0-CD576C432316","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":"Q2764247$445FB4F4-8A34-4BA3-A02C-9693B71F6382","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ee4c4b91e5af035cdfae0f4d7411801d7be5913","datavalue":{"value":{"text":"Catagenesis condition for approximate theorem-proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2764247$BB1DEC03-BCAA-403A-B2F6-E8AD43C3284F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4671d35575b29fca5e725fbcf69a5959f95341af","datavalue":{"value":{"entity-type":"item","numeric-id":6768431,"id":"Q6768431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764247$A17CF66D-9F63-410B-ACBE-92C9AF085C75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed28fa7230d0910060c65762680c570bf6d19b1","datavalue":{"value":{"entity-type":"item","numeric-id":1924738,"id":"Q1924738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24faf1c22442f3f0f2728c6f637df809b48f389d","datavalue":{"value":{"amount":"+0.6795955300331116","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":"Q2764247$D12BEE52-EB00-46EA-A75F-28ABC45D0F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f16b184766a62bbc9c73a538718ad8810bb9cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4867574,"id":"Q4867574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9def931d828d25d20af3abf51c6a0c7c4b861cd9","datavalue":{"value":{"amount":"+0.6790644526481628","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":"Q2764247$978DF474-9CA7-48AF-811E-96D6B2BACFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0be4ae12b77e548190d701dabce4695d6b5da7","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ae89f2ee727ba1fec89a40cb7094a1367f7c6c","datavalue":{"value":{"amount":"+0.6773554086685181","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":"Q2764247$7197B5FA-ADAB-4307-BE58-953C049031DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560b96f63fdc169287bbda7132b48546b14b8810","datavalue":{"value":{"entity-type":"item","numeric-id":1338222,"id":"Q1338222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcee4b43d03ecb7283ea5424041391f722fb2c45","datavalue":{"value":{"amount":"+0.6739382743835449","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":"Q2764247$32D2711D-E0F3-4DA9-93F1-61BA439CA3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79880f78afc173acbe09e6a0ceff77095bf92ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2702494,"id":"Q2702494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7b6de0916e99af8930b6071634f7591fdc6843","datavalue":{"value":{"amount":"+0.6715173721313477","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":"Q2764247$F377F83C-C409-4ABD-A65D-29FD2CEC9DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Catagenesis condition for approximate theorem-proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Catagenesis_condition_for_approximate_theorem-proving"}}}}}