{"entities":{"Q3885237":{"pageid":5915142,"ns":120,"title":"Item:Q3885237","lastrevid":54604571,"modified":"2026-01-29T08:26:54Z","type":"item","id":"Q3885237","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3690750"}},"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":"Q3885237$D9418C36-5BBD-4F75-B423-3BDEC43AE551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d614c6f0c018f20520f1d1ca859d9096b063decc","datavalue":{"value":"0442.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885237$59AC5685-3FCE-4B27-AEEC-A8D6003F3FCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3885237$9F202308-4D55-4371-9A2A-B53D4C800991","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885237$D0F59501-0647-4E0C-A9B1-3BE87BDE2D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885237$E56570E1-2EFF-46F1-8A84-1A2C8F0075E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885237$48362D07-BA4F-4B85-9507-9FB9B423F547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3047da8789d3238c818b39c1670ab560f13eea4","datavalue":{"value":"3690750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3885237$EE1A71DE-C34D-44C4-9D5B-E18469C3B58E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03158307b01a6e2de96f5585d7a65d8e1a522aae","datavalue":{"value":"resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3885237$7BE4A0F2-7935-4811-A752-0BADC278089B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3885237$A377FD5E-DCD6-4164-AA75-EE453B4B5D81","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":"Q3885237$671B500F-7E96-4928-8ED1-2ED8578CB414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3885237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3885237"}}}}}