{"entities":{"Q4529543":{"pageid":6559135,"ns":120,"title":"Item:Q4529543","lastrevid":47779747,"modified":"2026-01-02T16:25:11Z","type":"item","id":"Q4529543","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1737186"}},"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":"Q4529543$F0944877-BB41-4486-9B4B-31FFF018B6B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"268f9b3473cc836e7e8c1c4662dfaefb6d6aad13","datavalue":{"value":"1023.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529543$ECB31957-BBC6-4FDD-AE20-2A00EF4E2BC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41390ccb2889a06af91bd7d467009a1fde2d1850","datavalue":{"value":{"entity-type":"item","numeric-id":862394,"id":"Q862394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529543$0AA8209A-DAE2-4BF4-A26A-92E9DDF3FBFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8511ea4dac4c445d564bf5f3da59a678b7ce8161","datavalue":{"value":{"time":"+2002-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4529543$E058D7BC-C700-448D-B05F-9C6A89A5A9D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529543$D8B0CA6A-12B7-4B39-A661-76C0B748FCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529543$1AD6071D-CA1C-401B-AE18-D6941BE8B2A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"261962426b247e54de61061d3b7d68da6e26dfdb","datavalue":{"value":"1737186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529543$4B99FF56-B742-4AF1-B3FD-B8DAAC172AF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529543$5A56BA72-7197-49FC-858C-E5915BC048A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f88fdfb313188c13c0ccea4942d53d2ad735bfc","datavalue":{"value":"equational deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529543$2447BAC6-943C-47D8-80C6-E7391CF32D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab846161cc6b6e11f2f489edab890f1fbb63a3a4","datavalue":{"value":"learning search control knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529543$40316927-3E68-4492-82F9-B5451536D3F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529543$FF07038A-C1E9-4A6F-BD43-D6FD4E894FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529543$31F19AA5-BFCB-46AB-88E1-2CEFE141B75C","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":"Q4529543$0C838014-20C4-45E2-B183-9AF2E141CD44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8a43ad7f21ec3c22fe6dc052acb857f4cd13aa","datavalue":{"value":{"entity-type":"item","numeric-id":2739546,"id":"Q2739546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13c78f9854c2934edbb37d168480e739df3fe9c","datavalue":{"value":{"amount":"+0.9316186904907228","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":"Q4529543$F6AA341C-F450-4772-A815-51BD323CB378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776e4c784830960f08191feacfb851aa37febae2","datavalue":{"value":{"entity-type":"item","numeric-id":4797437,"id":"Q4797437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7795744cb843b88d26162334b890a457dfca4a5","datavalue":{"value":{"amount":"+0.9059259295463562","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":"Q4529543$75075D6E-3247-46F5-9D3F-B0DFD705157C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3766bac65d12bc25254d2db5e809b4c83519adc4","datavalue":{"value":{"entity-type":"item","numeric-id":4524780,"id":"Q4524780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4eb51b6e1175eb4f61834326068ef7bc72834d","datavalue":{"value":{"amount":"+0.8587779998779297","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":"Q4529543$2E2D5822-5408-4B24-B655-B6B0BDEEB61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce156e995b5ec8c412acc42653d7dc70c82d4d3","datavalue":{"value":{"entity-type":"item","numeric-id":1583854,"id":"Q1583854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4eb51b6e1175eb4f61834326068ef7bc72834d","datavalue":{"value":{"amount":"+0.8587779998779297","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":"Q4529543$4A1D0B4B-6B2C-47AD-BFB6-E64254DBFD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49da0f4f840201fed60d5399e7782277bda1707","datavalue":{"value":{"entity-type":"item","numeric-id":1854367,"id":"Q1854367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab84af623e9ae3b4fb4600a11d39f34e992c307","datavalue":{"value":{"amount":"+0.8460164070129395","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":"Q4529543$DD153672-4A44-42AB-B99D-2601F210C420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4529543","badges":[]}}}}}