{"entities":{"Q4370265":{"pageid":6399864,"ns":120,"title":"Item:Q4370265","lastrevid":46996086,"modified":"2025-12-26T00:37:43Z","type":"item","id":"Q4370265","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104384"}},"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":"Q4370265$4BFD6E19-2132-4EA5-B3BD-BD66E90EEBE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76f89481d82f6e68bbfa101cea56668d2af1389a","datavalue":{"value":"0886.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370265$66160C13-3D26-4C64-8BFA-B3329F86265A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370265$BD9411C3-47E3-4B1D-9AEC-495C6EBC0BB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370265$34479606-9B4E-4CDA-8408-915C86B151D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18d0e34a489e056f70308f74cd087e30762b7de2","datavalue":{"value":"1104384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370265$24015BE6-5D72-44C8-B3D6-E36A2EF41882","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69134904a8c7a0707cb0cf001e4da81298a528ec","datavalue":{"value":"Ergo theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370265$62103B8A-EB6C-4BA1-B3F4-7001E7359668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e025fb0ef064b89515711a4731d8ce1134c8052","datavalue":{"value":"Angel","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370265$3DE3DC0A-37F3-499B-BD66-662160B2A867","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d75f286d3b7fafc7959ecf913797da4cf0ecbd8","datavalue":{"value":{"entity-type":"item","numeric-id":30419,"id":"Q30419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370265$2E17E92F-6DFE-41A1-8300-7CA047EC3594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"59de9499168d91da1b1ff36408be93f573928689","datavalue":{"value":{"entity-type":"item","numeric-id":30420,"id":"Q30420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370265$4B0F70B8-F209-4C59-8500-AFA727BA4966","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":"Q4370265$C3413CAA-7198-461E-AE8C-4A5B2DEFB916","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5986d85fa9101ccd2f08213c32144d6934f25a","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2503ce624da1ab181adebf8c93cc9170380a3763","datavalue":{"value":{"amount":"+0.8054949045181274","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":"Q4370265$A3DB321E-F9F8-4347-87D7-EBF02E7E07BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca320f3d91c0d7a8bb4f611412474fdb2e1c5024","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254dd04cddb6d35fbadda4dd43d358fcf9d30b4b","datavalue":{"value":{"amount":"+0.7987136244773865","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":"Q4370265$F8F3ADBB-AADD-4B14-AC8D-8075BBADD078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7a7c4f5dac6dd56f6689fbd94d027549e0a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5756755,"id":"Q5756755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdd70db03351507a127595298948e9fb8130cf5","datavalue":{"value":{"amount":"+0.7627684473991394","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":"Q4370265$D28601F8-8180-4606-817A-291228003AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8b2ddb1ca25e4ccf3d8dd0f48c21b334779530","datavalue":{"value":{"entity-type":"item","numeric-id":432151,"id":"Q432151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2284d9e413afd6a14c05217944cd46894bb1f67f","datavalue":{"value":{"amount":"+0.7484275698661804","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":"Q4370265$6F50C5A8-D2AD-40D6-829C-10D3029A5E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbad55ea327bd2b71a72261e8db306a544d6454","datavalue":{"value":{"entity-type":"item","numeric-id":3021903,"id":"Q3021903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e996ddc5c93e72535522425ab7c19f7a7fa4c1","datavalue":{"value":{"amount":"+0.7418216466903687","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":"Q4370265$30889046-9701-4912-BCD3-343AC515A4A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370265"}}}}}