{"entities":{"Q3857731":{"pageid":5887636,"ns":120,"title":"Item:Q3857731","lastrevid":54539861,"modified":"2026-01-28T05:51:04Z","type":"item","id":"Q3857731","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3659008"}},"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":"Q3857731$D8DCF353-B1F9-4B7A-8042-E5E24E3934F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2b5d83ba67bb5b95eed07d653aca95134862a64","datavalue":{"value":"0423.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3857731$489B6AEA-B6C8-4F66-B4F7-F510837D1656","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":"Q3857731$BC15254B-63DA-4CE6-9A19-8D389A275DAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3857731$F15AA503-0AAC-4CD5-A718-A1DC3CEC111B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3857731$75CB41DC-6F17-43EC-BAA9-DE2D0289A67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3857731$E1FDA3E0-7EFC-41DA-9D02-FB8DD5DC4A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3857731$147D6767-9C57-4EF7-B3B9-A336DF2C7C46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75be673f65c083a0a2f1fbf380f32ddc7db9e0e0","datavalue":{"value":"3659008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3857731$619644DD-1C66-4DD9-8AAD-D8F067D17828","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a41a4115b0a1b1796a39b7375141adcc0f286996","datavalue":{"value":"logic of computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3857731$36481599-DD15-48FA-AB4C-1804DE49A4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd55e96e0af80e534d3454d746ac1073f025781","datavalue":{"value":"interactive proof-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3857731$CCF3EDB7-E1E8-48C0-9509-EA628AED08F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b9b4256b5c820c8f61f1281647fae52094962a","datavalue":{"value":"proof-search strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3857731$6DCC5AA1-6F35-45AF-9824-457763E57D8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3857731$30C6C6CA-F4B5-4A38-B14B-4230973B415A","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":"Q3857731$E7CF9009-872A-4A40-98B2-9A941A8434A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3857731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3857731"}}}}}