{"entities":{"Q4503919":{"pageid":6533512,"ns":120,"title":"Item:Q4503919","lastrevid":47505592,"modified":"2026-01-01T22:31:46Z","type":"item","id":"Q4503919","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507199"}},"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":"Q4503919$3D87691A-C000-4D93-94AF-95ADA9FFE3C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07c19514d1cbcb9ad096dcde264050934d9534a4","datavalue":{"value":"0957.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503919$88320843-12AD-45D4-A790-FE9FFE6849B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503919$BA27E35D-363F-4922-A7E0-29BDE798B809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a003edfcec895e809a385e212d589ca0bbabc28e","datavalue":{"value":{"time":"+2000-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503919$EAF300C7-EC4B-4779-B9E2-E881CDF90D16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503919$3DE58C7B-801E-4EBB-B2D4-4A18A65207ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503919$7E0F8720-EED0-4253-B05A-E9CFB7B4C00A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d8fb5bd1100b907fca95024a807024d752375ea","datavalue":{"value":"1507199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503919$96D029C7-32FD-4FBC-B7B2-EB9C06ED3B66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05c379dcb3c715a490074f8bc1829ffdf721b24","datavalue":{"value":"mechanical theorem proving systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503919$A785E2B3-7FD2-40F7-BDFF-5417A8C1F43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b72e46f4074c84ff99e861ab4fa289b220507c7f","datavalue":{"value":"ACL2 system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503919$E70724F4-E486-4F63-BEE2-8404C582BB5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503919$20F73339-B072-4CFF-BAF7-EE3E66CDF24F","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":"Q4503919$990E20FE-3763-47DA-885D-FEA96E6553F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95534a651efba3d65a2767b50c89b962d50b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3021914,"id":"Q3021914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81aa0786a1c93bb23f671941c8e077efd2ae026a","datavalue":{"value":{"amount":"+0.8681524991989136","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":"Q4503919$BAB4605F-6ECC-4473-90E9-4105A148B2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71537978e6eba52208eaf0885350004f62bf6048","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97965e879aa1d8d625b46a069665e7148b1aaa15","datavalue":{"value":{"amount":"+0.7850093245506287","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":"Q4503919$7D92FC0C-A071-4442-8DD6-8695F79C6145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ee81091b55b0966f4b674e7cf88a8a5bbdec60","datavalue":{"value":{"entity-type":"item","numeric-id":5899157,"id":"Q5899157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205835a8832b11ba1de0b7f529051c15a601dbf2","datavalue":{"value":{"amount":"+0.7756774425506592","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":"Q4503919$72C29318-A072-4FB4-8E35-385B7DDAAD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abb80aae8d2531ad458e5665836a858b1ccba17","datavalue":{"value":{"entity-type":"item","numeric-id":4028158,"id":"Q4028158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dc50c5f79f45814fb965ff533b5fbfd732fe48","datavalue":{"value":{"amount":"+0.7744947075843811","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":"Q4503919$F687F39E-9FCE-41E1-ABBD-D3C3D5CDBAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dc50c5f79f45814fb965ff533b5fbfd732fe48","datavalue":{"value":{"amount":"+0.7744947075843811","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":"Q4503919$E4ED449F-963E-40F9-8FE3-3B5F8EDD227C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503919","badges":[]}}}}}