{"entities":{"Q3352532":{"pageid":3363242,"ns":120,"title":"Item:Q3352532","lastrevid":46026034,"modified":"2025-12-21T20:28:14Z","type":"item","id":"Q3352532","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203762"}},"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":"Q3352532$1ED152CF-1F06-4040-A198-052A50C2DD62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"110c728a6dfb4e4cbbde745c32df90af3284a8e7","datavalue":{"value":"0728.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3352532$31AACDDE-F1F1-45C9-93AE-5BED33E91769","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6e57e7cbbcf47c47eab8817c6b7cdfc4fb3e81","datavalue":{"value":{"entity-type":"item","numeric-id":915495,"id":"Q915495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3352532$46F4E3BB-FAAC-471F-85B4-659156C785FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3352532$077C534C-9C86-4584-A206-CA75220D9391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3352532$84EEEA1D-707E-45D9-B9B1-198F3E5B96B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4110175b57c33c463c7288053966e33fa718116","datavalue":{"value":"4203762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3352532$53745534-0E0A-4F88-AB44-3370B9BF994C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b5f3ed4d6a19bbffe2e7d716b866c736ee617b","datavalue":{"value":"search process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3352532$62E75EC9-DBAB-4177-B7C4-0C2C5496F1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee0b97069c8895a01619caf55c1d55b488f7f69","datavalue":{"value":"Automated Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3352532$C8C16AD0-A174-47BF-8340-CE79E727E373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68775c0d0bee2016f4520b60a8d475ea90270eb9","datavalue":{"value":"speed demons","type":"string"},"datatype":"string"},"type":"statement","id":"Q3352532$9B0A2CFD-0E61-4B45-973C-74D9461510F4","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":"Q3352532$FF39F806-FF33-44D6-8E5C-53FFAE5AA451","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f384a4b163866438657b413ac6b2354b435ffb9c","datavalue":{"value":{"entity-type":"item","numeric-id":5039092,"id":"Q5039092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205f7b3dbf65048f788cc52eea70209e22687788","datavalue":{"value":{"amount":"+0.85231125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3352532$F0A15E7D-A363-4804-A0AE-B23344163450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2caf54df8ff3107cc0392f11b464b2b53a891ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6efed6ebf504009b495401835bca52387219113","datavalue":{"value":{"amount":"+0.8416981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3352532$B50D597F-1982-48BE-B2B4-2BD3E3A698DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838ebf1ea5fd7663747c7a1623b66902a876538b","datavalue":{"value":{"entity-type":"item","numeric-id":3119284,"id":"Q3119284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe46da5235a69e6891a63a460c744aec68d78d76","datavalue":{"value":{"amount":"+0.8373555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3352532$42109A5F-8365-4895-9876-EF526DE27156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3352532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3352532"}}}}}