{"entities":{"Q4524774":{"pageid":6554366,"ns":120,"title":"Item:Q4524774","lastrevid":47558950,"modified":"2026-01-02T02:05:25Z","type":"item","id":"Q4524774","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552515"}},"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":"Q4524774$E35C2FB8-671B-4DF4-A7F8-70A028A5C819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3940cc4c947cebc87d43723cc717c13ca843ff38","datavalue":{"value":"0970.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524774$A559EAA2-5713-4773-8315-82305BC81181","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed355dd232556fbd83c232fbaf2baecab4fdb279","datavalue":{"value":{"entity-type":"item","numeric-id":1854369,"id":"Q1854369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524774$12E03405-090F-402E-A71C-B165763F9A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524774$3E586DD4-309A-4505-893D-77F4561761F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-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":"Q4524774$489473D2-0B83-433E-A65B-C1E2EAC5F312","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524774$BEDD9FDD-4423-4DBA-9FD0-EEC80C13192A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0edaa72782daa211c7576a9460bd9a6e8fc20172","datavalue":{"value":"1552515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524774$0AC33D55-DCC3-413A-8559-3C80453962F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524774$E7D28AD5-D145-452E-9D3A-2BAEDC7347A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8563635983d64f6f9eb242024fe0c0071d0c676c","datavalue":{"value":{"entity-type":"item","numeric-id":14473,"id":"Q14473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524774$94EE3DD6-3F01-4C11-80D6-1E543D5A01AC","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":"Q4524774$01EB405B-427E-4C31-A1CF-6592C8AE34B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3585e4966b5870b40c8a8b03114aafa8ce377268","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14739681142d29451f89e7e2248444a10103d3e7","datavalue":{"value":{"amount":"+0.8013702034950256","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":"Q4524774$0CC7128C-48A1-4FC9-9D1B-ACA0A36240E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597602181c0f93a0ad3700a234bd849cd63f59ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eec437ac6601162545db3fe3e0ada58bd164285","datavalue":{"value":{"amount":"+0.7875322699546814","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":"Q4524774$AD2E5922-A63C-423B-9E95-670DCE2C0589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7e506ff0bbe4c70d5c07908a5df786ebecee9e","datavalue":{"value":{"entity-type":"item","numeric-id":1854370,"id":"Q1854370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da9f49e8fe1dd04dda7ae1a60222b71476fe4a8","datavalue":{"value":{"amount":"+0.7628272175788879","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":"Q4524774$01BD1412-066D-4821-B1E7-E00D2AE6D79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d076348236722044a3aec87ce8b8b223d0d096f1","datavalue":{"value":{"entity-type":"item","numeric-id":3460068,"id":"Q3460068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbd084a3cea710cbdca4808fe61bcb146c82045","datavalue":{"value":{"amount":"+0.7521466016769409","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":"Q4524774$907BF1FB-1A1B-4813-A7A0-206B065D7999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b5ec18f23243243338ab6d3f5f54f230a8ad9f","datavalue":{"value":{"entity-type":"item","numeric-id":5312981,"id":"Q5312981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16631ed45a7306e830f460e7a38e3ea64296184c","datavalue":{"value":{"amount":"+0.7504830956459045","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":"Q4524774$1178F00A-FDDA-46EA-B966-BD9C44641302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524774","badges":[]}}}}}