{"entities":{"Q4400884":{"pageid":6430483,"ns":120,"title":"Item:Q4400884","lastrevid":46711155,"modified":"2025-12-25T11:01:30Z","type":"item","id":"Q4400884","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1182797"}},"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":"Q4400884$A5EC4F10-F8B6-49B0-9ED0-FB20DF0202C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad47e78aec654ccb35d2024bc927a4023b319ef","datavalue":{"value":"0903.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400884$4392AACC-3F0B-4ECA-8746-25D77DD0A9F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4400884$9821F7A3-4A84-40A5-8F3D-A9892CF4DF0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4657432f41b43c1846ecc251d3ec440dc26ae96","datavalue":{"value":{"time":"+1998-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4400884$2996C5FD-A5FB-4A44-B6CB-7EC38AB90737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400884$18D1407F-ADB8-4751-8ACB-50C6516FC9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400884$77A31E3D-34E0-4484-901F-87637E217BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400884$6104575C-2BE3-4E41-BD49-7D799C3D6B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400884$4CF2C89A-C547-4C3B-82D3-3B603E109919","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b960c79d19db8fd3bbf0387172cbc2703372c8f8","datavalue":{"value":"1182797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4400884$29E9AA7C-070A-40C1-B31C-D269EB84CE44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4400884$A3448148-6601-4263-AAE6-E30174511D67","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":"Q4400884$13C385F0-59C0-4380-838C-E4FEFB0B93D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fddca28e313c4460c62874ec61fd111f46a8240f","datavalue":{"value":{"entity-type":"item","numeric-id":1662244,"id":"Q1662244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a823120320907ba3c84032e31edd96f0b5abbeb1","datavalue":{"value":{"amount":"+0.7854331135749817","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":"Q4400884$B32E4DD5-F863-4C53-B8BF-E105AF773D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc5068002fcfc122a64810d524a1cdab4731a9","datavalue":{"value":{"entity-type":"item","numeric-id":5055845,"id":"Q5055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db02810ee6fac34158c97e9e2e5146c81c9ffdf","datavalue":{"value":{"amount":"+0.7791778445243835","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":"Q4400884$9B60ABAE-E0CD-4F6F-A236-30CF083A9B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab51e5bf77a42e10c54e386c4ac16be108e9a03c","datavalue":{"value":{"entity-type":"item","numeric-id":1368227,"id":"Q1368227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15979e230995e691c52abd55b055bd155b84c4de","datavalue":{"value":{"amount":"+0.7752828598022461","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":"Q4400884$874C81F0-7B32-40CD-A146-161600EE9A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22eabf8d85e0cc501f5fe1fdd66cfc47cc13d4e7","datavalue":{"value":{"amount":"+0.7745915651321411","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":"Q4400884$99E3102F-5358-4455-874F-81C579B19991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade11071cb380ad1f3f5b942a1147a06c4d37952","datavalue":{"value":{"entity-type":"item","numeric-id":5307049,"id":"Q5307049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a59ab74e16cbc6f0485a9ddfb12dd6701e2ef2","datavalue":{"value":{"amount":"+0.7741982936859131","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":"Q4400884$8C163EF0-342F-4F98-A523-16D1917E2E3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4400884","badges":[]}}}}}