{"entities":{"Q4499162":{"pageid":6528755,"ns":120,"title":"Item:Q4499162","lastrevid":47032104,"modified":"2025-12-26T02:22:58Z","type":"item","id":"Q4499162","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497751"}},"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":"Q4499162$57110447-2D75-4F0A-87DF-3F93D15566B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1cef01beffff2237270e48d903105657659bd8a","datavalue":{"value":"0958.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499162$E71FDA26-9E65-4B62-9405-AD6193C89274","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499162$AADF6CA5-DCB4-4EFB-95A5-BEFCE25E0433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284fbc1bc15076f8bcaa5ac2c8ac8b95878097ea","datavalue":{"value":{"entity-type":"item","numeric-id":946571,"id":"Q946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499162$53C17E90-83E0-40EF-9DDC-497D6B071A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7312aa49e695258fc219389a5f4fc014d345696","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499162$F1DF9FA9-BDC5-46C2-9989-9CB8619C9CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7b209f4f6620b5b1c5d47a6aa15c4f2fbff1de","datavalue":{"value":{"entity-type":"item","numeric-id":862392,"id":"Q862392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499162$2787E7FE-F02C-4EBF-9C9B-F0CB26D7A22E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23c16558fb5ec76a4747f3b1ffd9e3605d5b08f1","datavalue":{"value":{"time":"+2001-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499162$48346152-9EC8-4778-9237-FD253BB8802C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499162$5216C27F-12E8-4AE4-BEEA-4B160A7F818D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51483b95a11f67b07ec238e83de349de0352277f","datavalue":{"value":"1497751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499162$DB3E302E-8830-402A-8546-4595332F9F28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba10c21dfc9eff3164fe9a63ffdba3b90fc9bfbd","datavalue":{"value":"agent architecture for theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499162$86A6314C-946F-4BAF-88EE-779F1E77B2BB","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":"Q4499162$4DB2D115-8B5F-462A-9111-EFC6137C3597","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef39844584b16c978fd49b23f1844bad78003028","datavalue":{"value":{"entity-type":"item","numeric-id":4520772,"id":"Q4520772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6df3bc4e174e66832d2343d4eede4e1919466b","datavalue":{"value":{"amount":"+0.7673799991607666","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":"Q4499162$C889D382-D3E6-4E6D-8709-F1443793A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae448735124ab42984a851d3b2968e1b2f997a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4797443,"id":"Q4797443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b78a9410b69075c199d00fee460903a2747d4c","datavalue":{"value":{"amount":"+0.7572175860404968","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":"Q4499162$A62216E1-3883-4F9B-ADE6-936712491118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf5471c953927f3cf8c0e0be829f69a1714aa71","datavalue":{"value":{"entity-type":"item","numeric-id":2751539,"id":"Q2751539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0196d00d9b1d707bb984db4b39d3a0df9f13a041","datavalue":{"value":{"amount":"+0.7243679761886597","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":"Q4499162$8573D1EC-22D9-41D8-A5C9-95A27B24346A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a70af5995a3903f1eaea3a3c7a7718fa948fcf3","datavalue":{"value":{"entity-type":"item","numeric-id":5756764,"id":"Q5756764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae8d0f3663d02a8945b9cbb2fe095da0b9efec8","datavalue":{"value":{"amount":"+0.7091637849807739","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":"Q4499162$320B2673-DC4D-4E97-8105-1FFB8798777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d28c7eb7d0681015e40267f6bcf876ae136b745","datavalue":{"value":{"entity-type":"item","numeric-id":2819202,"id":"Q2819202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd91f8564fc738323241a873a502f2b17993ae09","datavalue":{"value":{"amount":"+0.7022622227668762","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":"Q4499162$FD48DF49-5C0E-45C5-ADFC-C3B12071A541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499162","badges":[]}}}}}