{"entities":{"Q4001666":{"pageid":6031492,"ns":120,"title":"Item:Q4001666","lastrevid":55146229,"modified":"2026-02-04T03:02:42Z","type":"item","id":"Q4001666","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 51274"}},"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":"Q4001666$F25FFBB8-B790-4593-A04D-63BE69ECB712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81f112949ab3be5919c78777a6ebcbf5f6144e9d","datavalue":{"value":"0744.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001666$2B82EF42-5B22-4A37-B940-01A11ED6ECEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b694ab49a87e74582cfa716880eae5d3532140","datavalue":{"value":{"entity-type":"item","numeric-id":809620,"id":"Q809620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4001666$8DBDAB85-E66D-4AF5-B271-84515C482E0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4001666$440FB940-1688-415F-9BCE-8183D3B77495","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001666$6501F4E5-D1B5-436E-852E-D05BEE00C3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001666$D53DE8A9-EC43-4D18-9BCC-6C8B84A18B9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63bbdc9d87d147a71ddf7380fcc7e1581a094845","datavalue":{"value":"51274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001666$85FEE948-01C9-4FBF-918C-57CB115642A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001666$1B4A43DB-888D-4B43-99A2-FD86D7DCF8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001666$22BD65E4-B199-424F-B8DB-B09BE3E72EDC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4001666$18D6042E-A2C0-4E7E-AEED-8A4A46082655","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":"Q4001666$5D72733C-ED53-4212-9460-CC203FD06120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ff2ad334ffc968cdaa2267876515ed59b775ba","datavalue":{"value":{"entity-type":"item","numeric-id":4040538,"id":"Q4040538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fb3ac00947e035782062db65398fcd27c3e9aa","datavalue":{"value":{"amount":"+0.8851470947265625","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":"Q4001666$BE879361-E089-493A-9977-87C64F249065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62258c8a39de1c67919695806e98c1339c67049","datavalue":{"value":{"entity-type":"item","numeric-id":3992994,"id":"Q3992994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196ee6e57810fcb7f0d14bb7aa0da0d6efaf3c16","datavalue":{"value":{"amount":"+0.8162264227867126","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":"Q4001666$58342E1C-48C8-4865-A076-78FA70056854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b690ca30aaf4ab7c8d79d57c0270b4a23482b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4041013,"id":"Q4041013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"765e8b3948bfe63daf1682e7c4c011b2575b046b","datavalue":{"value":{"amount":"+0.8102999925613403","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":"Q4001666$5F8B577E-0FD2-4682-B189-F4CA92B44998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81818d93a27b1f5ded655e0b84e52ded387f87e7","datavalue":{"value":{"entity-type":"item","numeric-id":3996315,"id":"Q3996315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d3305f2436eac04e8b94bf21f14abaa112ab31","datavalue":{"value":{"amount":"+0.8093241453170776","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":"Q4001666$E1D112E4-CB55-42DB-9CAA-32463D9F3E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37963431b6e1966da5230f30393f6018c460b216","datavalue":{"value":{"entity-type":"item","numeric-id":4698061,"id":"Q4698061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7abcf7cbc75d2b40b910555c4768e897d12bfa","datavalue":{"value":{"amount":"+0.8088902831077576","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":"Q4001666$C919F410-A9DB-460E-9326-7215DEC3D6F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4001666","badges":[]}}}}}