{"entities":{"Q3894958":{"pageid":5924863,"ns":120,"title":"Item:Q3894958","lastrevid":54882608,"modified":"2026-01-30T00:35:06Z","type":"item","id":"Q3894958","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3702108"}},"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":"Q3894958$97E44AA3-9B84-4B8A-A079-49AA07F82E6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1b5667c19892114fa25e8152334252061ebfcc","datavalue":{"value":"0448.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$25D412E4-1D9B-416F-A361-ECCD8C599D55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c80439908def1f47a2850b299ced02bb922e89","datavalue":{"value":{"entity-type":"item","numeric-id":861688,"id":"Q861688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3894958$BEF433BE-6182-40CD-916F-61B21717ACFF","rank":"normal"},{"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":"Q3894958$D8AF41AF-0424-4453-BC78-FA1484709F68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3894958$7C46C150-CE0B-4DB8-A80E-4C12162947A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$08A8432E-F868-4684-956B-1D83A4581890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$8C7D2DA6-C5CE-4178-95D5-45BCB0532B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$4F414B27-E135-42FC-9B9C-2FF260E63D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$530B718C-DF5C-4451-9C82-8675BF695204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$64ABE50E-B1CA-4F7F-84EA-49C5317E073D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$1C8A4C77-EDC1-4286-91E8-9BB68B7E2B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad80ce741dc61f12a99d04e3f8d16f264e562fd5","datavalue":{"value":"3702108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894958$48D7E777-2CFC-4DF3-B6D4-A2069D14332C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b89ad757a1637d47f117fd34ef27c5f592d6db2","datavalue":{"value":"automation of reasoning about computing programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$2AF1B691-5AF5-4E5B-A16F-A8F69DD728BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$D795D861-8298-49AF-91AC-F2726BD3B728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac51fb7fe1eacbcc34c109a96dfeb7f186a8cd37","datavalue":{"value":"inductive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$A1A3E14E-049B-4443-AC9D-597A6AD63555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87e98b3fca059ba154f36d6c9e7d45ec218e62c","datavalue":{"value":"correctness of a tautology checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$6871C9F1-30AB-4766-B5D0-A56D628DDF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07767f73a9bae129458e9d12a79bb442fa45170","datavalue":{"value":"elementary number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$912E3497-6255-4536-A09A-98B137D7255A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76680c06d4bd9ed9a036c73693f0d2e8e13b53b5","datavalue":{"value":"correctness of an expression compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$7C23818D-3CA2-47F6-95CA-C32F0DEBA350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19ea1a38927d07ec02927eea1c8dca14c325940","datavalue":{"value":"fast string searching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$6C875530-6C87-474C-B26A-C590C849B02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bb2a7552a5f090fc4c6a0bbdb1a8369dd5a1655","datavalue":{"value":"unique prime factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894958$E343C7B1-EF1F-48CA-BB55-EBF4930B9F98","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":"Q3894958$BC269789-D5D7-4C29-B630-C00627C2F6EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3894958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3894958"}}}}}