{"entities":{"Q3782836":{"pageid":5812742,"ns":120,"title":"Item:Q3782836","lastrevid":52367810,"modified":"2026-01-22T11:50:17Z","type":"item","id":"Q3782836","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045220"}},"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":"Q3782836$B06FEA13-BCB9-45A1-9BD6-C15783EC16DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71f39481f47e32eba2bba383c3c6c55b34a5597f","datavalue":{"value":"0641.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782836$333A71ED-1CC8-461F-B24B-003DF79C7752","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8267b3be2b739476dcf61b4c89d4f97117c42016","datavalue":{"value":{"entity-type":"item","numeric-id":671658,"id":"Q671658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782836$81E17799-7195-43D1-828A-0A5F468B3791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"398d5a9bd6a3354a9e18d0e067838ab447814818","datavalue":{"value":{"entity-type":"item","numeric-id":2943210,"id":"Q2943210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782836$64067E7D-16CC-463B-9E00-0B25392502A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3782836$8DEE12D6-2827-4C53-9C3A-9104C51F4186","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782836$F1AFB507-00D5-44D3-92C0-0E87CF3B675B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c162d45eaa498600ea4ae09a55a22e157773f34","datavalue":{"value":"4045220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782836$B54817A2-6CE0-4C72-AAD3-E6365A493E0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5141bf31b033b8a8bf6c8e1f00e4a80507c7032","datavalue":{"value":"equality control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782836$8BCFFAF8-0030-4189-BB37-E1C990C0257E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83c375b30144b75e05703ab19f91d08f55ccb300","datavalue":{"value":"machine theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782836$0E495AAD-B154-4526-97E3-65F1F97ED0DE","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":"Q3782836$D8C48077-C1BC-490A-8852-952BF03545FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3782836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3782836"}}}}}